{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:35:38Z","timestamp":1766050538089,"version":"3.40.3"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031510595"},{"type":"electronic","value":"9783031510601"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-51060-1_8","type":"book-chapter","created":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T07:02:08Z","timestamp":1706425328000},"page":"199-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Simulating User Journeys with\u00a0Active Objects"],"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-5601-5517","authenticated-orcid":false,"given":"Rudolf","family":"Schlatte","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"}]},{"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"}]}],"member":"297","published-online":{"date-parts":[[2024,1,29]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49851-4","volume-title":"Process Mining - Data Science in Action","author":"W van der Aalst","year":"2016","unstructured":"van der Aalst, W.: Process Mining - Data Science in Action, 2nd edn. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","edition":"2"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/s11761-013-0148-0","volume":"8","author":"E Albert","year":"2014","unstructured":"Albert, E., et al.: Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4), 323\u2013339 (2014). https:\/\/doi.org\/10.1007\/s11761-013-0148-0","journal-title":"Serv. Oriented Comput. Appl."},{"key":"8_CR3","volume-title":"Programming Erlang: Software for a Concurrent World","author":"J Armstrong","year":"2007","unstructured":"Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, Raleigh (2007)"},{"key":"8_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":"8_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: Pries-Heje, J., Ram, S., Rosemann, M. (eds.) Proceedings of International Conference on Information Systems - Bridging the Internet of People, Data, and Things (ICIS 2018). Association for Information Systems (2018). https:\/\/aisel.aisnet.org\/icis2018\/modeling\/Presentations\/4"},{"issue":"12","key":"8_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., Sj\u00f8berg, D.I.K., Dyb\u00e5, T.: Construction and validation of an instrument for measuring programming skill. IEEE Trans. Software Eng. 40(12), 1163\u20131184 (2014). https:\/\/doi.org\/10.1109\/TSE.2014.2348997","journal-title":"IEEE Trans. Software Eng."},{"key":"8_CR7","unstructured":"Bernard, G., Andritsos, P.: CJM-ex: goal-oriented exploration of customer journey maps using event logs and data analytics. In: Claris\u00f3, R., et al. (eds.) 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.\u00a01920. CEUR-WS.org (2017). http:\/\/ceur-ws.org\/Vol-1920\/BPM_2017_paper_172.pdf"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Bernard, G., Andritsos, P.: A process mining based model for customer journey mapping. In: Franch, X., Ralyt\u00e9, J., Matulevicius, R., Salinesi, C., Wieringa, R.J. (eds.) Proceedings of Forum and Doctoral Consortium Papers at the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017). CEUR Workshop Proceedings, vol.\u00a01848, pp. 49\u201356. CEUR-WS.org (2017). http:\/\/ceur-ws.org\/Vol-1848\/CAiSE2017_Forum_Paper7.pdf","DOI":"10.1007\/978-3-319-92901-9_5"},{"key":"8_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":"8_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"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-39088-3_2","volume-title":"Foundations of Health Information Engineering and Systems","author":"C Bertolini","year":"2013","unstructured":"Bertolini, C., Liu, Z., Srba, J.: Verification of timed healthcare workflows using component timed-arc petri nets. In: Weber, J., Perseil, I. (eds.) FHIES 2012. LNCS, vol. 7789, pp. 19\u201336. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39088-3_2"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-030-16722-6_20","volume-title":"Fundamental Approaches to Software Engineering","author":"N Bezirgiannis","year":"2019","unstructured":"Bezirgiannis, N., de Boer, F., Johnsen, E.B., Pun, K.I., Tapia Tarifa, S.L.: Implementing SOS with active objects: a case study of a multicore memory system. In: H\u00e4hnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 332\u2013350. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_20"},{"issue":"3","key":"8_CR13","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). https:\/\/doi.org\/10.2307\/41166446","journal-title":"Calif. Manag. Rev."},{"key":"8_CR14","doi-asserted-by":"publisher","unstructured":"de\u00a0Boer, F., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1\u201376:39 (2017). https:\/\/doi.org\/10.1145\/3122848","DOI":"10.1145\/3122848"},{"key":"8_CR15","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":"8_CR16","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":"22","key":"8_CR17","doi-asserted-by":"publisher","first-page":"3127","DOI":"10.1002\/1097-0258(20001130)19:22<3127::AID-SIM784>3.0.CO;2-M","volume":"19","author":"S Chinn","year":"2000","unstructured":"Chinn, S.: A simple method for converting an odds ratio to effect size for use in meta-analysis. Stat. Med. 19(22), 3127\u20133131 (2000)","journal-title":"Stat. Med."},{"issue":"1","key":"8_CR18","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). https:\/\/doi.org\/10.1177\/1524500411435483","journal-title":"Soc. Mark. Q."},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-642-28756-5_36","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A David","year":"2012","unstructured":"David, A., Jacobsen, L., Jacobsen, M., J\u00f8rgensen, K.Y., M\u00f8ller, M.H., Srba, J.: TAPAAL 2.0: integrated development environment for timed-arc petri nets. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 492\u2013497. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28756-5_36"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1007\/978-3-319-11936-6_10","volume-title":"Automated Technology for Verification and Analysis","author":"A Daivd","year":"2014","unstructured":"Daivd, A., et al.: On time with minimal expected cost! In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 129\u2013145. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11936-6_10"},{"key":"8_CR21","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":"8_CR22","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 Pract. 28(2), 196\u2013227 (2018). https:\/\/doi.org\/10.1108\/JSTP-11-2014-0261","journal-title":"J. Serv. Theory Pract."},{"issue":"1","key":"8_CR23","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). https:\/\/doi.org\/10.1509\/jmkg.70.1.003.qxd","journal-title":"J. Mark."},{"issue":"6","key":"8_CR24","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 Pract. 26(6), 840\u2013867 (2016). https:\/\/doi.org\/10.1108\/JSTP-05-2015-0111","journal-title":"J. Serv. Theory Pract."},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Halvorsrud, R., Mannhardt, F., Johnsen, E.B., Tapia\u00a0Tarifa, S.L.: Smart journey mining for improved service quality. In: Carminati, B., et al (eds.) Proceedings IEEE International Conference on Services Computing (SCC 2021), pp. 367\u2013369. IEEE (2021). https:\/\/doi.org\/10.1109\/SCC53864.2021.00051","DOI":"10.1109\/SCC53864.2021.00051"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-023-01081-w","volume":"22","author":"R Halvorsrud","year":"2023","unstructured":"Halvorsrud, R., Sanchez, O.R., Boletsis, C., Skjuve, M.: Involving users in the development of a modeling language for customer journeys. Softw. Syst. Model. 22, 1\u201330 (2023). https:\/\/doi.org\/10.1007\/s10270-023-01081-w","journal-title":"Softw. Syst. Model."},{"key":"8_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"key":"8_CR28","doi-asserted-by":"publisher","unstructured":"Johnsen, E.B., Pun, K.I., Tapia Tarifa, S.L.: A formal model of cloud-deployed software and its application to workflow processing. In: 2017 25th International Conference on Software, Telecommunications and Computer Networks (SoftCOM), pp.\u00a01\u20136 (2017). https:\/\/doi.org\/10.23919\/SOFTCOM.2017.8115501","DOI":"10.23919\/SOFTCOM.2017.8115501"},{"issue":"1","key":"8_CR29","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.jlamp.2014.07.001","volume":"84","author":"EB Johnsen","year":"2015","unstructured":"Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Integrating deployment architectures and resource consumption in timed object-oriented models. J. Logical Algebraic Methods Program. 84(1), 67\u201391 (2015). https:\/\/doi.org\/10.1016\/j.jlamp.2014.07.001","journal-title":"J. Logical Algebraic Methods Program."},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.scico.2018.07.001","volume":"166","author":"E Kamburjan","year":"2018","unstructured":"Kamburjan, E., H\u00e4hnle, R., Sch\u00f6n, S.: Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. 166, 167\u2013193 (2018). https:\/\/doi.org\/10.1016\/j.scico.2018.07.001","journal-title":"Sci. Comput. Program."},{"key":"8_CR31","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-031-27815-0_6","volume-title":"Process Mining Workshops","author":"P Kobialka","year":"2022","unstructured":"Kobialka, P., Mannhardt, F., Tapia Tarifa, S.L., Johnsen, E.B.: Building user journey games from multi-party event logs. In: Montali, M., Senderovich, A., Weidlich, M. (eds.) ICPM 2022. LNCS, vol. 468, pp. 71\u201383. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-27815-0_6"},{"key":"8_CR32","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-031-17108-6_16","volume-title":"Software Engineering and Formal Methods","author":"P Kobialka","year":"2022","unstructured":"Kobialka, P., Tapia Tarifa, S.L., Bergersen, G.R., Johnsen, E.B.: Weighted games for user journeys. In: Schlingloff, B.H., Chai, M. (eds.) SEFM 2022. LNCS, vol. 13550, pp. 253\u2013270. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17108-6_16"},{"key":"8_CR33","doi-asserted-by":"publisher","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 Internetional Conferenc on Innovation and Entrepreneurship (IE 2016). GSTF (2016). https:\/\/doi.org\/10.5176\/2251-2039_IE16.10","DOI":"10.5176\/2251-2039_IE16.10"},{"issue":"1\u20132","key":"8_CR34","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). https:\/\/doi.org\/10.1007\/s100090050010","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"Lin, J., Lee, M., Yu, I.C., Johnsen, E.B.: Modeling and simulation of spark streaming. In: Barolli, L., Takizawa, M., Enokido, T., Ogiela, M.R., Ogiela, L., Javaid, N. (eds.) Proc. 32nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2018), pp. 407\u2013413. IEEE Computer Society (2018)","DOI":"10.1109\/AINA.2018.00068"},{"key":"8_CR36","doi-asserted-by":"publisher","unstructured":"Lin, J., Mauro, J., R\u00f8st, T.B., Yu, I.C.: A model-based scalability optimization methodology for cloud applications. In: Proceedings of 7th International Symposium on Cloud and Service Computing (SC$${^2}$$ 2017), pp. 163\u2013170. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/SC2.2017.32","DOI":"10.1109\/SC2.2017.32"},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-662-49665-7_4","volume-title":"Fundamental Approaches to Software Engineering","author":"J-C Lin","year":"2016","unstructured":"Lin, J.-C., Yu, I.C., Johnsen, E.B., Lee, M.-C.: ABS-YARN: a formal framework for modeling Hadoop YARN clusters. In: Stevens, P., W\u0105sowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 49\u201365. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49665-7_4"},{"key":"8_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","volume-title":"STACS 95","author":"O Maler","year":"1995","unstructured":"Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 229\u2013242. Springer, Heidelberg (1995). https:\/\/doi.org\/10.1007\/3-540-59042-0_76"},{"key":"8_CR39","doi-asserted-by":"publisher","unstructured":"Razo-Zapata, I.S., Chew, E.K., Proper, E.: VIVA: a visual language to design value co-creation. In: Proceedings of 20th Conference on Business Informatics (CBI 2018), vol.\u00a001, pp. 20\u201329. IEEE (2018). https:\/\/doi.org\/10.1109\/CBI.2018.00012","DOI":"10.1109\/CBI.2018.00012"},{"issue":"1","key":"8_CR40","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. Horiz. 60(1), 143\u2013150 (2017). https:\/\/doi.org\/10.1016\/j.bushor.2016.09.010","journal-title":"Bus. Horiz."},{"key":"8_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-78142-2_1","volume-title":"Coordination Models and Languages","author":"R Schlatte","year":"2021","unstructured":"Schlatte, R., Johnsen, E.B., Kamburjan, E., Tapia Tarifa, S.L.: Modeling and analyzing resource-sensitive actors: a tutorial introduction. In: Damiani, F., Dardha, O. (eds.) COORDINATION 2021. LNCS, vol. 12717, pp. 3\u201319. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-78142-2_1"},{"key":"8_CR42","doi-asserted-by":"publisher","first-page":"102861","DOI":"10.1016\/j.scico.2022.102861","volume":"223","author":"R Schlatte","year":"2022","unstructured":"Schlatte, R., Johnsen, E.B., Kamburjan, E., Tapia Tarifa, S.L.: The ABS simulator toolchain. Sci. Comput. Program. 223, 102861 (2022). https:\/\/doi.org\/10.1016\/j.scico.2022.102861","journal-title":"Sci. Comput. Program."},{"key":"8_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/978-3-319-90089-6_8","volume-title":"It\u2019s All About Coordination","author":"R Schlatte","year":"2018","unstructured":"Schlatte, R., Johnsen, E.B., Mauro, J., Tapia\u00a0Tarifa, S.L., Yu, I.C.: Release the beasts: when formal methods meet real world data. In: de Boer, F., Bonsangue, M., Rutten, J. (eds.) It\u2019s All About Coordination. LNCS, vol. 10865, pp. 107\u2013121. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-90089-6_8"},{"key":"8_CR44","doi-asserted-by":"publisher","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 (2018). https:\/\/doi.org\/10.1109\/FiCloud.2018.00040","DOI":"10.1109\/FiCloud.2018.00040"},{"key":"8_CR45","doi-asserted-by":"publisher","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 (2019). https:\/\/doi.org\/10.1145\/3297280.3297288","DOI":"10.1145\/3297280.3297288"},{"key":"8_CR46","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). https:\/\/doi.org\/10.1016\/j.jbusres.2020.12.028","journal-title":"J. Bus. Res."},{"key":"8_CR47","doi-asserted-by":"publisher","first-page":"111750","DOI":"10.1016\/j.jss.2023.111750","volume":"203","author":"G Turin","year":"2023","unstructured":"Turin, G., Borgarelli, A., Donetti, S., Damiani, F., Johnsen, E.B., Tapia Tarifa, S.L.: Predicting resource consumption of kubernetes container systems using resource models. J. Syst. Softw. 203, 111750 (2023). https:\/\/doi.org\/10.1016\/j.jss.2023.111750","journal-title":"J. Syst. Softw."},{"issue":"4","key":"8_CR48","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). https:\/\/doi.org\/10.1016\/0263-2373(88)90033-3","journal-title":"Eur. Manag. J."},{"issue":"5","key":"8_CR49","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1007\/s10009-012-0250-1","volume":"14","author":"PYH Wong","year":"2012","unstructured":"Wong, P.Y.H., Albert, E., Muschevici, R., Proen\u00e7a, J., Sch\u00e4fer, J., Schlatte, R.: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems. Int. J. Softw. Tools Technol. Transf. 14(5), 567\u2013588 (2012). https:\/\/doi.org\/10.1007\/s10009-012-0250-1","journal-title":"Int. J. Softw. Tools Technol. Transf."}],"container-title":["Lecture Notes in Computer Science","Active Object Languages: Current Research Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51060-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T14:04:39Z","timestamp":1718373879000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51060-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031510595","9783031510601"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51060-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The third author has financial interests in the company (GrepS) that owns the skill testing tool evaluated in the case study in this work.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of Interest"}}]}}