Top

Published in:

2019 | OriginalPaper | Chapter

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

Authors : David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz

Published in: Transactions on Petri Nets and Other Models of Concurrency XIV

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Parametric Verification: An Introduction

next chapter Formal Modelling and Incremental Verification of the MQTT IoT Protocol

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

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

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

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

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

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-01662336CrossRef

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/CSIS110114012BCrossRef

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/

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_7CrossRef

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.003CrossRef

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_10CrossRef

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_6CrossRef

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.006CrossRef

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.014CrossRef

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/7078CrossRef

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_30CrossRef

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.044CrossRef

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_17CrossRef

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_4CrossRef

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

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

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)CrossRef

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_18CrossRef

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_5MathSciNetCrossRef

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_5MathSciNetCrossRef

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.22CrossRef

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_12CrossRef

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_1CrossRef

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_19CrossRef

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/

Title: Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics
Authors: David Mosteller
Michael Haustermann
Daniel Moldt
Dennis Schmitz
Publisher: Springer Berlin Heidelberg
Book: Transactions on Petri Nets and Other Models of Concurrency XIV
Print ISBN: 978-3-662-60650-6

Electronic ISBN: 978-3-662-60651-3

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-662-60651-3_4

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner