Skip to main content
SpringerLink
Log in

Simulating User Journeys with Active Objects

  • Chapter
  • First Online:
Active Object Languages: Current Research Trends

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14360))

Abstract

The servitization of business makes companies increasingly dependent on providing carefully designed user experiences for their service offerings. User journeys model services from the user’s perspective, but user journeys are today mainly constructed and analyzed manually. Recent work analyzing user journeys as games enable optimal service-provider strategies to be automatically derived, assuming a restricted user behavior. Complementing this work, we here develop an actor-based modeling framework for user journeys that is parametric in user behavior and service-provider strategies, using the active-object modeling language ABS. Strategies for the service provider, such as those derived for user journey games, can be automatically imported into the framework. Our work enables prescriptive simulation-based analyses, as strategies can be evaluated and compared in scenarios with rich user behavior.

This work is part of the Smart Journey Mining project (Research Council of Norway, grant no. 312198) and the SIRIUS Centre for Scalable Data Access (Research Council of Norway, grant no. 237889).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 74.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://github.com/smartjourneymining/abs_journeys_aol-23/releases/tag/AOL23.

  2. 2.

    See the webpage of GrepS for further details: https://www.greps.com/.

  3. 3.

    We observed that system logs contain a large amount of very short unsuccessful journeys with no events containing scores. Including all these journeys would negatively bias the comparison and therefore we remove them from the comparison.

References

  1. 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

    Book  Google Scholar 

  2. 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–339 (2014). https://doi.org/10.1007/s11761-013-0148-0

    Article  Google Scholar 

  3. Armstrong, J.: Programming Erlang: Software for a Concurrent World. Pragmatic Bookshelf, Raleigh (2007)

    Google Scholar 

  4. 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–125. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-73368-3_14

    Chapter  Google Scholar 

  5. 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

  6. Bergersen, G.R., Sjøberg, D.I.K., Dybå, T.: Construction and validation of an instrument for measuring programming skill. IEEE Trans. Software Eng. 40(12), 1163–1184 (2014). https://doi.org/10.1109/TSE.2014.2348997

    Article  Google Scholar 

  7. Bernard, G., Andritsos, P.: CJM-ex: goal-oriented exploration of customer journey maps using event logs and data analytics. In: Clarisó, 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. 1920. CEUR-WS.org (2017). http://ceur-ws.org/Vol-1920/BPM_2017_paper_172.pdf

  8. Bernard, G., Andritsos, P.: A process mining based model for customer journey mapping. In: Franch, X., Ralyté, 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. 1848, pp. 49–56. CEUR-WS.org (2017). http://ceur-ws.org/Vol-1848/CAiSE2017_Forum_Paper7.pdf

  9. 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–56. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92901-9_5

    Chapter  Google Scholar 

  10. Bernard, G., Andritsos, P.: Contextual and behavioral customer journey discovery using a genetic approach. In: Welzer, T., Eder, J., Podgorelec, V., Kamišalić Latifić, A. (eds.) ADBIS 2019. LNCS, vol. 11695, pp. 251–266. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-28730-6_16

    Chapter  Google Scholar 

  11. 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–36. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39088-3_2

    Chapter  Google Scholar 

  12. 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ähnle, R., van der Aalst, W. (eds.) FASE 2019. LNCS, vol. 11424, pp. 332–350. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-16722-6_20

    Chapter  Google Scholar 

  13. Bitner, M.J., Ostrom, A.L., Morgan, F.N.: Service blueprinting: a practical technique for service innovation. Calif. Manag. Rev. 50(3), 66–94 (2008). https://doi.org/10.2307/41166446

    Article  Google Scholar 

  14. de Boer, F., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1–76:39 (2017). https://doi.org/10.1145/3122848

  15. 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–160. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-30538-5_13

    Chapter  Google Scholar 

  16. 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–191. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36742-7_13

    Chapter  Google Scholar 

  17. Chinn, S.: A simple method for converting an odds ratio to effect size for use in meta-analysis. Stat. Med. 19(22), 3127–3131 (2000)

    Article  Google Scholar 

  18. Crosier, A., Handford, A.: Customer journey mapping as an advocacy tool for disabled people: a case study. Soc. Mark. Q. 18(1), 67–76 (2012). https://doi.org/10.1177/1524500411435483

    Article  Google Scholar 

  19. David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K.Y., Møller, M.H., Srba, J.: TAPAAL 2.0: integrated development environment for timed-arc petri nets. In: Flanagan, C., König, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 492–497. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-28756-5_36

    Chapter  Google Scholar 

  20. Daivd, A., et al.: On time with minimal expected cost! In: Cassez, F., Raskin, J.-F. (eds.) ATVA 2014. LNCS, vol. 8837, pp. 129–145. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11936-6_10

    Chapter  Google Scholar 

  21. David, A., Jensen, P.G., Larsen, K.G., Mikučionis, M., Taankvist, J.H.: uppaal stratego. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 206–211. Springer, Heidelberg (2015). https://doi.org/10.1007/978-3-662-46681-0_16

    Chapter  Google Scholar 

  22. Følstad, A., Kvale, K.: Customer journeys: a systematic literature review. J. Serv. Theory Pract. 28(2), 196–227 (2018). https://doi.org/10.1108/JSTP-11-2014-0261

    Article  Google Scholar 

  23. Fornell, C., Mithas, S., Morgeson, F.V., Krishnan, M.: Customer satisfaction and stock prices: high returns, low risk. J. Mark. 70(1), 3–14 (2006). https://doi.org/10.1509/jmkg.70.1.003.qxd

    Article  Google Scholar 

  24. Halvorsrud, R., Kvale, K., Følstad, A.: Improving service quality through customer journey analysis. J. Serv. Theory Pract. 26(6), 840–867 (2016). https://doi.org/10.1108/JSTP-05-2015-0111

    Article  Google Scholar 

  25. Halvorsrud, R., Mannhardt, F., Johnsen, E.B., Tapia Tarifa, 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–369. IEEE (2021). https://doi.org/10.1109/SCC53864.2021.00051

  26. 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–30 (2023). https://doi.org/10.1007/s10270-023-01081-w

    Article  Google Scholar 

  27. Johnsen, E.B., Hähnle, R., Schäfer, 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–164. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-25271-6_8

    Chapter  Google Scholar 

  28. 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. 1–6 (2017). https://doi.org/10.23919/SOFTCOM.2017.8115501

  29. 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–91 (2015). https://doi.org/10.1016/j.jlamp.2014.07.001

    Article  Google Scholar 

  30. Kamburjan, E., Hähnle, R., Schön, S.: Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. 166, 167–193 (2018). https://doi.org/10.1016/j.scico.2018.07.001

    Article  Google Scholar 

  31. 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–83. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-27815-0_6

    Chapter  Google Scholar 

  32. 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–270. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-17108-6_16

    Chapter  Google Scholar 

  33. 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

  34. Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1–2), 134–152 (1997). https://doi.org/10.1007/s100090050010

    Article  Google Scholar 

  35. 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–413. IEEE Computer Society (2018)

    Google Scholar 

  36. Lin, J., Mauro, J., Røst, 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–170. IEEE Computer Society (2017). https://doi.org/10.1109/SC2.2017.32

  37. 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ąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 49–65. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49665-7_4

    Chapter  Google Scholar 

  38. 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–242. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-59042-0_76

    Chapter  Google Scholar 

  39. 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. 01, pp. 20–29. IEEE (2018). https://doi.org/10.1109/CBI.2018.00012

  40. Rosenbaum, M.S., Otalora, M.L., Ramírez, G.C.: How to create a realistic customer journey map. Bus. Horiz. 60(1), 143–150 (2017). https://doi.org/10.1016/j.bushor.2016.09.010

    Article  Google Scholar 

  41. 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–19. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-78142-2_1

    Chapter  Google Scholar 

  42. 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

    Article  Google Scholar 

  43. Schlatte, R., Johnsen, E.B., Mauro, J., Tapia Tarifa, 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’s All About Coordination. LNCS, vol. 10865, pp. 107–121. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-90089-6_8

    Chapter  Google Scholar 

  44. 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–229. IEEE (2018). https://doi.org/10.1109/FiCloud.2018.00040

  45. 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–65. ACM Press (2019). https://doi.org/10.1145/3297280.3297288

  46. Tueanrat, Y., Papagiannidis, S., Alamanos, E.: Going on a journey: a review of the customer journey literature. J. Bus. Res. 125, 336–353 (2021). https://doi.org/10.1016/j.jbusres.2020.12.028

    Article  Google Scholar 

  47. 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

    Article  Google Scholar 

  48. Vandermerwe, S., Rada, J.: Servitization of business: adding value by adding services. Eur. Manag. J. 6(4), 314–324 (1988). https://doi.org/10.1016/0263-2373(88)90033-3

    Article  Google Scholar 

  49. Wong, P.Y.H., Albert, E., Muschevici, R., Proença, J., Schäfer, 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–588 (2012). https://doi.org/10.1007/s10009-012-0250-1

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Informatics, University of Oslo, Oslo, Norway

    Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen & Silvia Lizeth Tapia Tarifa

  2. GrepS B.V., Utrecht, The Netherlands

    Gunnar Rye Bergersen

Authors
  1. Paul Kobialka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rudolf Schlatte
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Gunnar Rye Bergersen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Einar Broch Johnsen
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Silvia Lizeth Tapia Tarifa
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Einar Broch Johnsen .

Editor information

Editors and Affiliations

  1. Centrum Wiskunde & Informatica, Amsterdam, The Netherlands

    Frank de Boer

  2. University of Turin, Turin, Italy

    Ferruccio Damiani

  3. Darmstadt University of Technology, Darmstadt, Hessen, Germany

    Reiner Hähnle

  4. University of Oslo, Oslo, Norway

    Einar Broch Johnsen

  5. University of Oslo, Oslo, Norway

    Eduard Kamburjan

Ethics declarations

Conflict of Interest

The third author has financial interests in the company (GrepS) that owns the skill testing tool evaluated in the case study in this work.

Rights and permissions

Reprints and permissions

Copyright information

© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Kobialka, P., Schlatte, R., Bergersen, G.R., Johnsen, E.B., Tapia Tarifa, S.L. (2024). Simulating User Journeys with Active Objects. In: de Boer, F., Damiani, F., Hähnle, R., Broch Johnsen, E., Kamburjan, E. (eds) Active Object Languages: Current Research Trends. Lecture Notes in Computer Science, vol 14360. Springer, Cham. https://doi.org/10.1007/978-3-031-51060-1_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-51060-1_8

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-51059-5

  • Online ISBN: 978-3-031-51060-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation