Skip to main content
SpringerLink
Log in

Translating Message Sequence Charts to other Process Languages Using Process Mining

  • Chapter
Transactions on Petri Nets and Other Models of Concurrency I

Part of the book series: Lecture Notes in Computer Science ((TOPNOC,volume 5100))

Abstract

Message Sequence Charts (MSCs) are often used by software analysts when discussing the behavior of a system with different stakeholders. Often such discussions lead to more complete behavioral models in the form of, e.g., Event-driven Process Chains (EPCs), Unified Modeling Language (UML), activity diagrams, Business Process Modeling Notation (BPMN) models, Petri nets, etc. Process mining on the other hand, deals with the problem of constructing complete behavioral models by analyzing event logs of information systems.

In contrast to existing process mining techniques, where logs are assumed to only contain implicit information, the approach presented in this paper combines the explicit knowledge captured in individual MSCs and the techniques and tools available in the process mining domain. This combination allows us to discover high-quality process models.

To constructively add to the existing work on process mining, our approach has been implemented in the process mining framework ProM (www.processmining.org).

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Information Systems 30(4), 245–275 (2005)

    Article  Google Scholar 

  2. van der Aalst, W.M.P., Dongen, B.F.v., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow mining: a survey of issues and approaches. Data and Knowledge Engineering 47(2), 237–267 (2003)

    Article  Google Scholar 

  3. van der Aalst, W.M.P., Weijters, A.J.M.M., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004)

    Article  Google Scholar 

  4. Agrawal, R., Gunopulos, D., Leymann, F.: Mining Process Models from Workflow Logs. In: Schek, H.-J., Saltor, F., Ramos, I., Alonso, G. (eds.) EDBT 1998. LNCS, vol. 1377, pp. 469–483. Springer, Heidelberg (1998)

    Google Scholar 

  5. Aho, A., Garey, M., Ullman, J.: The transitive reduction of a directed graph. SIAM Journal on Computing 1(2), 131–137 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  6. Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. IEEE Transactions on Software Engineering 29(7), 623–633 (2003)

    Article  Google Scholar 

  7. Alur, R., Etessami, K., Yannakakis, M.: Realizability and verification of MSC Graphs. Theoretical Computer Science 331(1), 97–114 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  8. Alves de Medeiros, A.K., Dongen, B.F.v., van der Aalst, W.M.P., Weijters, A.J.M.M.: Process mining: extending the α-algorithm to mine short loops. BETA Working Paper Series, WP 113. Eindhoven University of Technology, Eindhoven (2004)

    Google Scholar 

  9. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services, version 1.1. Standards proposal by BEA Systems. International Business Machines Corporation, and Microsoft Corporation (2003)

    Google Scholar 

  10. Bisgaard Lassen, K., Dongen, B.F.v., van der Aalst, W.M.P.: Translating message sequence charts to other process languages using process mining. BETA Working Paper Series, WP 207. Eindhoven University of Technology, Eindhoven (2007)

    Google Scholar 

  11. Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology 7(3), 215–249 (1998)

    Article  Google Scholar 

  12. Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design 19(1), 45–80 (2001)

    Article  MATH  Google Scholar 

  13. Dongen, B.F.v.: Process Mining and Verification. PhD thesis, Eindhoven University of Technology, Eindhoven, The Netherlands (2007)

    Google Scholar 

  14. Dongen, B.F.v., van der Aalst, W.M.P.: Multi-phase process mining: building instance graphs. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.W. (eds.) ER 2004. LNCS, vol. 3288, pp. 362–376. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  15. Dongen, B.F.v., van der Aalst, W.M.P.: A meta model for process mining data. In: Missikoff, M., De Nicola, A. (eds.) EMOI-INTEROP, CEUR Workshop Proceedings. CEUR-WS.org, vol. 160 (2005)

    Google Scholar 

  16. Dongen, B.F.v., van der Aalst, W.M.P.: Multi-phase Process mining: Aggregating Instance Graphs into EPCs and Petri Nets. In: PNCWB 2005 Workshop, pp. 35–58 (2005)

    Google Scholar 

  17. Dongen, B.F.v., Alves de Medeiros, A.K., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444–454. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  18. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Tool support for model-based engineering of web service compositions. In: Proceedings of 2005 IEEE International Conference on Web Services (ICWS 2005), Orlando, FL, USA, pp. 95–102. IEEE Computer Society, Los Alamitos (2005)

    Google Scholar 

  19. Object Management Group. OMG Unified Modeling Language 2.0. OMG (2005), http://www.omg.com/uml/

  20. Object Management Group. XML Meta Interchange (2006), http://www.omg.org/technology/documents/formal/xmi.htm

  21. Günther, C.W., van der Aalst, W.M.P.: A Generic Import Framework for Process Event Logs. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 81–92. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  22. Harel, D.: From play-in scenarios to code: an achievable dream. Computer 34(1), 53–60 (2001)

    Article  MathSciNet  Google Scholar 

  23. Harel, D., Kugler, H., Pnueli, A.: Synthesis revisited: generating statechart models from scenario-based requirements. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 309–324. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  24. Harel, D., Thiagarajan, P.S.: Message Sequence Charts. UML for Real: Design of Embedded Real-time Systems (2003)

    Google Scholar 

  25. Herbst, J.: A machine learning approach to workflow management. In: Lopez de Mantaras, R., Plaza, E. (eds.) ECML 2000. LNCS, vol. 1810, pp. 183–194. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  26. Lassen, K.B.: Translating UML 2.0 sequence charts into coloured Petri net using process mining. Technical report, Department of Computer Science at the University of Aarhus (2007)

    Google Scholar 

  27. Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM 2006), pp. 5–12. ACM Press, New York (2006)

    Chapter  Google Scholar 

  28. Machado, R., Lassen, K.B., Oliveira, S., Couto, M., Pinto, P.: Requirements validation: execution of UML models with CPN tools. International Journal on Software Tools for Technology Transfer (STTT) 9(3), 353–369 (2007)

    Article  Google Scholar 

  29. Rudolph, E., Grabowski, J., Graubmann, P.: Tutorial on message sequence charts. Computer Networks and ISDN Systems 28(12), 1629–1641 (1996)

    Article  Google Scholar 

  30. Sgroi, M., Kondratyev, A., Watanabe, Y., Lavagno, L., Sangiovanni-Vincentelli, A.: Synthesis of Petri nets from message sequence charts specifications for protocol design. In: Design, Analysis and Simulation of Distributed Systems Symposium (DASD 2004), Washington DC, USA, April 2004, pp. 193–199 (2004)

    Google Scholar 

  31. Uchitel, S., Kramer, J., Magee, J.: Synthesis of behavioral models from scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)

    Article  Google Scholar 

  32. Verbeek, H.M.W., van Dongen, B.F., Mendling, J., van der Aalst, W.M.P.: Interoperability in the ProM Framework. In: EMOI-INTEROP (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200, Aarhus N, Denmark

    Kristian Bisgaard Lassen

  2. Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands

    Boudewijn F. van Dongen

Authors
  1. Kristian Bisgaard Lassen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Boudewijn F. van Dongen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Faculty of Science, Department of Computer Science, IT-parken, University of Aarhus, Aabogade 34, 8200, Aarhus N, Denmark

    Kurt Jensen

  2. Department of Mathematics and Computer Science, Technical University of Eindhoven, Den Dolech 2, 5612 AZ, Eindhoven, The Netherlands

    Wil M. P. van der Aalst

  3. School of Electrical and Information Engineering, University of South Australia, Mawson Lakes Campus, Mawson Lakes, 5095, South Australia, Australia

    Jonathan Billington

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lassen, K.B., van Dongen, B.F. (2008). Translating Message Sequence Charts to other Process Languages Using Process Mining. In: Jensen, K., van der Aalst, W.M.P., Billington, J. (eds) Transactions on Petri Nets and Other Models of Concurrency I. Lecture Notes in Computer Science, vol 5100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89287-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-89287-8_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-89286-1

  • Online ISBN: 978-3-540-89287-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation