Skip to main content
SpringerLink
Log in

Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics

  • Chapter
  • First Online:
Transactions on Petri Nets and Other Models of Concurrency XIV

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

Abstract

The development of domain specific models requires appropriate tool support for modeling and execution. Meta-modeling facilitates solutions for the generation of modeling tools from abstract language specifications. The Rmt approach (Renew Meta-Modeling and Transformation) applies transformational semantics using Petri net formalisms as target languages in order to produce quick results for the development of modeling techniques. The problem with transformational approaches is that the inspection of the system during execution is not possible in the original representation.

We present a concept for providing simulation feedback for domain specific modeling languages (DSML) that are developed with the Rmt approach on the basis of meta-models and transformational semantics using Petri nets. Details of the application of this new approach are illustrated by some well-known constructs of the Business Process Model and Notation (BPMN).

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 EPUB and 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

Notes

  1. 1.

    The first paragraph originates from one of our previously published contributions [30].

  2. 2.

    LoLA: Low-Level Analyzer: http://www.service-technology.org/lola/.

References

  1. Abrahão, S., et al.: User experience for model-driven engineering: challenges and future directions. In: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2017, Austin, TX, USA, 17–22 September 2017, pp. 229–236. IEEE Computer Society (2017). https://doi.org/10.1109/MODELS.2017.5

  2. Biermann, E., Ehrig, K., Ermel, C., Hurrelmann, J.: Generation of simulation views for domain specific modeling languages based on the Eclipse modeling framework. In: 2009 IEEE/ACM International Conference on Automated Software Engineering, pp. 625–629, November 2009. https://doi.org/10.1109/ASE.2009.46

  3. Bousse, E., Degueule, T., Vojtisek, D., Mayerhofer, T., DeAntoni, J., Combemale, B.: Execution framework of the GEMOC studio (tool demo). In: van der Storm, T., Balland, E., Varró, D. (eds.) Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, 31 October–1 November 2016, pp. 84–89. ACM (2016), http://dl.acm.org/citation.cfm?id=2997384

  4. Bousse, E., Leroy, D., Combemale, B., Wimmer, M., Baudry, B.: Omniscient debugging for executable DSLs. J. Syst. Softw. 137, 261–288 (2017). https://hal.inria.fr/hal-01662336

    Article  Google Scholar 

  5. Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., Karsai, G.: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2), 225–253 (2011). https://doi.org/10.2298/CSIS110114012B

    Article  Google Scholar 

  6. Cabac, L.: Modeling Petri Net-Based Multi-Agent Applications, Agent Technology - Theory and Applications, vol. 5. Logos Verlag, Berlin (2010). http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=2673&lng=eng&id=. http://www.sub.uni-hamburg.de/opus/volltexte/2010/4666/

  7. Cabac, L., Haustermann, M., Mosteller, D.: Renew 2.5 – towards a comprehensive integrated development environment for Petri net-based applications. In: Kordon, F., Moldt, D. (eds.) PETRI NETS 2016. LNCS, vol. 9698, pp. 101–112. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39086-4_7

    Chapter  Google Scholar 

  8. Cabac, L., Haustermann, M., Mosteller, D.: Software development with Petri nets and agents: approach, frameworks and tool set. Sci. Comput. Program. 157, 56–70 (2018). https://doi.org/10.1016/j.scico.2017.12.003

    Article  Google Scholar 

  9. Christensen, S., Damgaard Hansen, N.: Coloured Petri nets extended with channels for synchronous communication. In: Valette, R. (ed.) ICATPN 1994. LNCS, vol. 815, pp. 159–178. Springer, Heidelberg (1994). https://doi.org/10.1007/3-540-58152-9_10

    Chapter  Google Scholar 

  10. Corradini, F., Muzi, C., Re, B., Rossi, L., Tiezzi, F.: Animating multiple instances in BPMN collaborations: from formal semantics to tool support. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 83–101. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-98648-7_6

    Chapter  Google Scholar 

  11. Cramer, B., Kastens, U.: Animation automatically generated from simulation specifications. In: 2009 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC), pp. 157–164, September 2009. https://doi.org/10.1109/VLHCC.2009.5295274

  12. Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281–1294 (2008). https://doi.org/10.1016/j.infsof.2008.02.006

    Article  Google Scholar 

  13. Eclipse Foundation Inc.: Eclipse Modeling Framework (EMF) (2018). https://www.eclipse.org/modeling/emf/. Accessed 24 May 2018

  14. Gorp, P.V., Dijkman, R.M.: A visual token-based formalization of BPMN 2.0 based on in-place transformations. Inf. Softw. Technol. 55(2), 365–394 (2013). https://doi.org/10.1016/j.infsof.2012.08.014

    Article  Google Scholar 

  15. Hegedüs, Áb., Ráth, I., Varró, D.: Replaying execution trace models for dynamic modeling languages. Period. Polytech. Electr. Eng. Comput. Sci. 56(3), 71–82 (2012). https://pp.bme.hu/eecs/article/view/7078

    Article  Google Scholar 

  16. Hewelt, M., Wagner, T., Cabac, L.: Integrating verification into the PAOSE approach. In: Duvigneau, M., Moldt, D., Hiraishi, K. (eds.) Petri Nets and Software Engineering. International Workshop PNSE 2011, Newcastle upon Tyne, UK, June 2011. Proceedings. CEUR Workshop Proceedings, vol. 723, pp. 124–135. CEUR-WS.org, June 2011. http://ceur-ws.org/Vol-723/

  17. Huber, P., Jensen, K., Shapiro, R.M.: Hierarchies in coloured Petri nets. In: Rozenberg, G. (ed.) ICATPN 1989. LNCS, vol. 483, pp. 313–341. Springer, Heidelberg (1991). https://doi.org/10.1007/3-540-53863-1_30

    Chapter  Google Scholar 

  18. The GEMOC Initiative: The GEMOC initiative - breathe life into your designer! model simulation, animation and debugging with sirius animator, part of the GEMOC studio. http://gemoc.org/breathe-life-into-your-designer. Accessed 9 Oct 2018

  19. Kheldoun, A., Barkaoui, K., Ioualalen, M.: Formal verification of complex business processes based on high-level Petri nets. Inf. Sci. 385, 39–54 (2017). https://doi.org/10.1016/j.ins.2016.12.044

    Article  Google Scholar 

  20. Kindler, E.: ePNK applications and annotations: a simulator for YAWL nets. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 339–350. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91268-4_17

    Chapter  Google Scholar 

  21. Kleppe, A.: Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Pearson Education, London (2008). https://dl.acm.org/citation.cfm?id=1496375

  22. Kolovos, D.S., Paige, R.F., Polack, F.A.C.: The epsilon transformation language. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 46–60. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69927-9_4

    Chapter  Google Scholar 

  23. Kummer, O.: Referenznetze. Logos Verlag, Berlin (2002). http://www.logos-verlag.de/cgi-bin/engbuchmid?isbn=0035&lng=eng&id=

  24. Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - the Reference Net Workshop, June 2016. http://www.renew.de/. release 2.5

  25. Kummer, O., Wienberg, F., Duvigneau, M., Cabac, L., Haustermann, M., Mosteller, D.: Renew - User Guide (Release 2.5). University of Hamburg, Faculty of Informatics, Theoretical Foundations Group, Hamburg, June 2016

    Google Scholar 

  26. de Lara, J., Vangheluwe, H., Alfonseca, M.: Meta-modelling and graph grammars for multi-paradigm modelling in atom3. Softw. Syst. Model. 3(3), 194–209 (2004). https://doi.org/10.1007/s10270-003-0047-5

    Article  Google Scholar 

  27. Lohmann, N., Verbeek, E., Dijkman, R.M.: Petri net transformations for business processes - a survey. Trans. Petri Nets Other Models Concurr. 2, 46–63 (2009)

    Article  Google Scholar 

  28. Mayerhofer, T., Combemale, B.: The tool generation challenge for executable domain-specific modeling languages. In: Seidl, M., Zschaler, S. (eds.) STAF 2017. LNCS, vol. 10748, pp. 193–199. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74730-9_18

    Chapter  Google Scholar 

  29. Möller, P., Haustermann, M., Mosteller, D., Schmitz, D.: Simulating multiple formalisms concurrently based on reference nets. In: Moldt, D., Cabac, L., Rölke, H. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2017, Zaragoza, Spain, 25–26 June 2017. Proceedings. CEUR Workshop Proceedings, vol. 1846, pp. 137–156. CEUR-WS.org (2017). http://CEUR-WS.org/Vol-1846/

  30. Möller, P., Haustermann, M., Mosteller, D., Schmitz, D.: Model synchronization and concurrent simulation of multiple formalisms based on reference nets. Trans. Petri Nets Other Models Concurr. XIII 13, 93–115 (2018). https://doi.org/10.1007/978-3-662-58381-4_5

    Article  MathSciNet  Google Scholar 

  31. Mosteller, D., Cabac, L., Haustermann, M.: Integrating Petri net semantics in a model-driven approach: the Renew meta-modeling and transformation framework. Trans. Petri Nets Other Models Concurr. XI 11, 92–113 (2016). https://doi.org/10.1007/978-3-662-53401-4_5

    Article  MathSciNet  Google Scholar 

  32. Mosteller, D., Haustermann, M., Moldt, D., Schmitz, D.: Graphical simulation feedback in Petri net-based domain-specific languages within a meta-modeling environment. In: Moldt, D., Kindler, E., Rölke, H. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2018, Bratislava, Slovakia, 25–26 June 2018. Proceedings. CEUR Workshop Proceedings, vol. 2138, pp. 56–75. CEUR-WS.org (2018). http://ceur-ws.org/Vol-2138/

  33. OMG: Object Management Group: Business Process Model and Notation (BPMN) - Version 2.0.2 (2013). http://www.omg.org/spec/BPMN/2.0.2

  34. Pedro, L., Lucio, L., Buchs, D.: System prototype and verification using metamodel-based transformations. IEEE Distrib. Syst. Online 8(4) (2007). https://doi.org/10.1109/MDSO.2007.22

    Article  Google Scholar 

  35. Rybicki, F., Smyth, S., Motika, C., Schulz-Rosengarten, A., von Hanxleden, R.: Interactive model-based compilation continued – incremental hardware synthesis for SCCharts. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 150–170. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_12

    Chapter  Google Scholar 

  36. Sedrakyan, G., Snoeck, M.: Enriching model execution with feedback to support testing of semantic conformance between models and requirements - design and evaluation of feedback automation architecture. In: Calabrò, A., Lonetti, F., Marchetti, E. (eds.) Proceedings of the International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn, AMARETTO@MODELSWARD 2016, Rome, Italy, 19–21 February 2016, pp. 14–22. SciTePress (2016). https://doi.org/10.5220/0005841800140022

  37. Valk, R.: Petri nets as token objects. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–24. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-69108-1_1

    Chapter  Google Scholar 

  38. Westergaard, M.: Access/CPN 2.0: a high-level interface to coloured petri net models. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 328–337. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-21834-7_19

    Chapter  Google Scholar 

  39. Wincierz, M.: A tool chain for test-driven development of reference net software components in the context of CAPA agents. In: Moldt, D., Cabac, L., Rölke, H. (eds.) Petri Nets and Software Engineering. International Workshop, PNSE 2017, Zaragoza, Spain, 25–26 June 2017. Proceedings. CEUR Workshop Proceedings, vol. 1846, pp. 197–214. CEUR-WS.org (2017). http://CEUR-WS.org/Vol-1846/

Download references

Author information

Authors and Affiliations

  1. Faculty of Mathematics, Informatics and Natural Sciences, Department of Informatics, University of Hamburg, Hamburg, Germany

    David Mosteller, Michael Haustermann, Daniel Moldt & Dennis Schmitz

Authors
  1. David Mosteller
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Haustermann
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Daniel Moldt
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Dennis Schmitz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael Haustermann .

Editor information

Editors and Affiliations

  1. Newcastle University, Newcastle upon Tyne, UK

    Maciej Koutny

  2. Università degli Studi di Milano, Milan, Italy

    Lucia Pomello

  3. Western Norway University of Applied Sciences, Bergen, Norway

    Lars Michael Kristensen

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer-Verlag GmbH Germany, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Mosteller, D., Haustermann, M., Moldt, D., Schmitz, D. (2019). Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics. In: Koutny, M., Pomello, L., Kristensen, L. (eds) Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science(), vol 11790. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-60651-3_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-60651-3_4

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-60650-6

  • Online ISBN: 978-3-662-60651-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation