{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:28:46Z","timestamp":1766050126567,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031171079"},{"type":"electronic","value":"9783031171086"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-17108-6_16","type":"book-chapter","created":{"date-parts":[[2022,9,21]],"date-time":"2022-09-21T13:04:15Z","timestamp":1663765455000},"page":"253-270","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Weighted Games for\u00a0User Journeys"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0635-1915","authenticated-orcid":false,"given":"Paul","family":"Kobialka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9948-2748","authenticated-orcid":false,"given":"Silvia Lizeth","family":"Tapia Tarifa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8135-9052","authenticated-orcid":false,"given":"Gunnar Rye","family":"Bergersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5382-3949","authenticated-orcid":false,"given":"Einar Broch","family":"Johnsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,10,1]]},"reference":[{"key":"16_CR1","unstructured":"User Journey Games Repository. https:\/\/github.com\/smartjourneymining\/User-Journey-Games"},{"key":"16_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"WMP van der Aalst","year":"2016","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4"},{"key":"16_CR3","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking. The MIT Press, Cambridge (2008)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-73368-3_14","volume-title":"Computer Aided Verification","author":"G Behrmann","year":"2007","unstructured":"Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-Tiga: time for playing games! In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 121\u2013125. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-73368-3_14"},{"key":"16_CR5","unstructured":"Berendes, C.I., Bartelheimer, C., Betzing, J.H., Beverungen, D.: Data-driven customer journey mapping in local high streets: A domain-specific modeling language. In: Proceedings of the International Conference on Information Systems (ICIS 2018). Association for Information Systems (2018)"},{"issue":"12","key":"16_CR6","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1109\/TSE.2014.2348997","volume":"40","author":"GR Bergersen","year":"2014","unstructured":"Bergersen, G.R., Sjoberg, D.I., Dyba, T.: Construction and validation of an instrument for measuring programming skill. IEEE Trans. Softw. Eng. 40(12), 1163\u20131184 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"16_CR7","unstructured":"Bernard, G., Andritsos, P.: CJM-ex: goal-oriented exploration of customer journey maps using event logs and data analytics. In: Proceedings of BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017). CEUR Workshop Proceedings, vol. 1920. CEUR-WS.org (2017)"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Bernard, G., Andritsos, P.: A process mining based model for customer journey mapping. In: Proceedings of Forum and Doctoral Consortium Papers at the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017). CEUR Workshop Proceedings, vol. 1848, pp. 49\u201356. CEUR-WS.org (2017)","DOI":"10.1007\/978-3-319-92901-9_5"},{"key":"16_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-319-92901-9_5","volume-title":"Information Systems in the Big Data Era","author":"G Bernard","year":"2018","unstructured":"Bernard, G., Andritsos, P.: CJM-ab: abstracting customer journey maps using process mining. In: Mendling, J., Mouratidis, H. (eds.) CAiSE 2018. LNBIP, vol. 317, pp. 49\u201356. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-92901-9_5"},{"key":"16_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/978-3-030-28730-6_16","volume-title":"Advances in Databases and Information Systems","author":"G Bernard","year":"2019","unstructured":"Bernard, G., Andritsos, P.: Contextual and behavioral customer journey discovery using a genetic approach. In: Welzer, T., Eder, J., Podgorelec, V., Kami\u0161ali\u0107 Latifi\u0107, A. (eds.) ADBIS 2019. LNCS, vol. 11695, pp. 251\u2013266. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-28730-6_16"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"66","DOI":"10.2307\/41166446","volume":"50","author":"MJ Bitner","year":"2008","unstructured":"Bitner, M.J., Ostrom, A.L., Morgan, F.N.: Service blueprinting: a practical technique for service innovation. Calif. Manag. Rev. 50(3), 66\u201394 (2008)","journal-title":"Calif. Manag. Rev."},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-30538-5_13","volume-title":"FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science","author":"P Bouyer","year":"2004","unstructured":"Bouyer, P., Cassez, F., Fleury, E., Larsen, K.G.: Optimal strategies in priced timed game automata. In: Lodaya, K., Mahajan, M. (eds.) FSTTCS 2004. LNCS, vol. 3328, pp. 148\u2013160. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30538-5_13"},{"key":"16_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-642-36742-7_13","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Chen","year":"2013","unstructured":"Chen, T., Forejt, V., Kwiatkowska, M., Parker, D., Simaitis, A.: PRISM-games: a model checker for stochastic multi-player games. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013. LNCS, vol. 7795, pp. 185\u2013191. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-36742-7_13"},{"issue":"1","key":"16_CR14","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1177\/1524500411435483","volume":"18","author":"A Crosier","year":"2012","unstructured":"Crosier, A., Handford, A.: Customer journey mapping as an advocacy tool for disabled people: a case study. Soc. Mark. Q. 18(1), 67\u201376 (2012)","journal-title":"Soc. Mark. Q."},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-662-46681-0_16","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2015","unstructured":"David, A., Jensen, P.G., Larsen, K.G., Miku\u010dionis, M., Taankvist, J.H.: Uppaal Stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206\u2013211. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46681-0_16"},{"issue":"2","key":"16_CR16","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1108\/JSTP-11-2014-0261","volume":"28","author":"A F\u00f8lstad","year":"2018","unstructured":"F\u00f8lstad, A., Kvale, K.: Customer journeys: a systematic literature review. J. Serv. Theory Practice 28(2), 196\u2013227 (2018)","journal-title":"J. Serv. Theory Practice"},{"issue":"1","key":"16_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1509\/jmkg.70.1.003.qxd","volume":"70","author":"C Fornell","year":"2006","unstructured":"Fornell, C., Mithas, S., Morgeson, F.V., Krishnan, M.: Customer satisfaction and stock prices: high returns, low risk. J. Mark. 70(1), 3\u201314 (2006)","journal-title":"J. Mark."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Halvorsrud, R., Boletsis, C., Garcia-Ceja, E.: Designing a modeling language for customer journeys: lessons learned from user involvement. In: Proceedings of 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021), pp. 239\u2013249. IEEE (2021)","DOI":"10.1109\/MODELS50736.2021.00032"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Halvorsrud, R., Haugstveit, I.M., Pultier, A.: Evaluation of a modelling language for customer journeys. In: Proceedings Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2016), pp. 40\u201348. IEEE Computer Society (2016)","DOI":"10.1109\/VLHCC.2016.7739662"},{"issue":"6","key":"16_CR20","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1108\/JSTP-05-2015-0111","volume":"26","author":"R Halvorsrud","year":"2016","unstructured":"Halvorsrud, R., Kvale, K., F\u00f8lstad, A.: Improving service quality through customer journey analysis. J. Serv. Theory Practice 26(6), 840\u2013867 (2016)","journal-title":"J. Serv. Theory Practice"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Halvorsrud, R., Mannhardt, F., Johnsen, E.B., Tapia Tarifa, S.L.: Smart journey mining for improved service quality. In: Proceedings of the IEEE International Conference on Services Computing (SCC 2021), pp. 367\u2013369. IEEE (2021)","DOI":"10.1109\/SCC53864.2021.00051"},{"key":"16_CR22","unstructured":"Harbich, M., Bernard, G., Berkes, P., Garbinato, B., Andritsos, P.: Discovering customer journey maps using a mixture of Markov models. In: Proceedings of 7th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2017). CEUR Workshop Proceedings, vol. 2016, pp. 3\u20137. CEUR-WS.org (2017)"},{"key":"16_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-15618-2_17","volume-title":"Business Process Management","author":"RP Jagadeesh Chandra Bose","year":"2010","unstructured":"Jagadeesh Chandra Bose, R.P., van der Aalst, W.: Trace alignment in process mining: opportunities for process diagnostics. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 227\u2013242. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15618-2_17"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Lammel, B., Korkut, S., Hinkelmann, K.: Customer experience modelling and analysis framework a semantic lifting approach for analyzing customer experience. In: Proceedings of 6th International Conference on Innovation and Entrepreneurship (IE 2016). GSTF (2016)","DOI":"10.5176\/2251-2039_IE16.10"},{"issue":"1\u20132","key":"16_CR25","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"KG Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1\u20132), 134\u2013152 (1997)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Leemans, S.J.J., Poppe, E., Wynn, M.T.: Directly follows-based process mining: exploration & a case study. In: International Conference on Process Mining (ICPM 2019), pp. 25\u201332. IEEE (2019)","DOI":"10.1109\/ICPM.2019.00015"},{"key":"16_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-16612-9_11","volume-title":"Runtime Verification","author":"A Legay","year":"2010","unstructured":"Legay, A., Delahaye, B., Bensalem, S.: Statistical model checking: an overview. In: Barringer, H., et al. (eds.) RV 2010. LNCS, vol. 6418, pp. 122\u2013135. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16612-9_11"},{"key":"16_CR28","first-page":"17","volume":"60\u201361","author":"GD Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algebraic Methods Program. 60\u201361, 17\u2013139 (2004)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"16_CR29","doi-asserted-by":"crossref","unstructured":"Razo-Zapata, I.S., Chew, E.K., Proper, E.: VIVA: a visual language to design value co-creation. In: 20th Conference on Business Informatics (CBI), pp. 20\u201329. IEEE (2018)","DOI":"10.1109\/CBI.2018.00012"},{"issue":"1","key":"16_CR30","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.bushor.2016.09.010","volume":"60","author":"MS Rosenbaum","year":"2017","unstructured":"Rosenbaum, M.S., Otalora, M.L., Ram\u00edrez, G.C.: How to create a realistic customer journey map. Bus. Horizons 60(1), 143\u2013150 (2017)","journal-title":"Bus. Horizons"},{"key":"16_CR31","volume-title":"Artificial Intelligence: A Modern Approach","author":"SJ Russell","year":"2020","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence: A Modern Approach. Pearson, Hoboken (2020)"},{"issue":"3","key":"16_CR32","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1002\/j.1538-7305.1948.tb01338.x","volume":"27","author":"CE Shannon","year":"1948","unstructured":"Shannon, C.E.: A mathematical theory of communication. Bell Syst. Tech. J. 27(3), 379\u2013423 (1948)","journal-title":"Bell Syst. Tech. J."},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Terragni, A., Hassani, M.: Analyzing customer journey with process mining: from discovery to recommendations. In: Proceedings of 6th International Conference on Future Internet of Things and Cloud (FiCloud 2018), pp. 224\u2013229. IEEE, August 2018","DOI":"10.1109\/FiCloud.2018.00040"},{"key":"16_CR34","doi-asserted-by":"crossref","unstructured":"Terragni, A., Hassani, M.: Optimizing customer journey using process mining and sequence-aware recommendation. In: Proceedings of 34th Symposium on Applied Computing (SAC 2019), pp. 57\u201365. ACM Press, April 2019","DOI":"10.1145\/3297280.3297288"},{"issue":"7","key":"16_CR35","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.jlap.2010.07.010","volume":"79","author":"C Thrane","year":"2010","unstructured":"Thrane, C., Fahrenberg, U., Larsen, K.G.: Quantitative analysis of weighted transition systems. J. Logic Algebraic Program. 79(7), 689\u2013703 (2010)","journal-title":"J. Logic Algebraic Program."},{"key":"16_CR36","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1016\/j.jbusres.2020.12.028","volume":"125","author":"Y Tueanrat","year":"2021","unstructured":"Tueanrat, Y., Papagiannidis, S., Alamanos, E.: Going on a journey: a review of the customer journey literature. J. Bus. Res. 125, 336\u2013353 (2021)","journal-title":"J. Bus. Res."},{"issue":"4","key":"16_CR37","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/0263-2373(88)90033-3","volume":"6","author":"S Vandermerwe","year":"1988","unstructured":"Vandermerwe, S., Rada, J.: Servitization of business: adding value by adding services. Eur. Manag. J. 6(4), 314\u2013324 (1988)","journal-title":"Eur. Manag. J."}],"container-title":["Lecture Notes in Computer Science","Software Engineering and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-17108-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T17:03:42Z","timestamp":1710867822000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-17108-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031171079","9783031171086"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-17108-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"1 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SEFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Engineering and Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Berlin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sefm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sefm-conference.github.io\/2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"49% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}