Top

Published in:

2016 | OriginalPaper | Chapter

Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework

Authors : David Mosteller, Lawrence Cabac, Michael Haustermann

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

Publisher: Springer Berlin Heidelberg

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

search-config

AI-assisted search

Off

Abstract

This paper presents an approach to the development of modeling languages and automated generation of specific modeling tools based on meta-models. Modeling is one of the main tasks in engineering. Graphical modeling helps the engineer not only to understand the system but also to communicate with engineers and with other stakeholders that participate in the development (or analytic) process.

In order to be able to provide adequately adapted modeling techniques for a given domain, it is useful to support the development of techniques that are designed for their special purpose, i.e. domain-specific modeling languages (DSML). For this purpose meta-modeling comes in handy. Meta-models provide a clear abstract syntax and model-driven design approaches allow for rapid prototyping of modeling languages. However, the transformation and also the original (source model) as well as the transformed (target) model often do not provide a clear semantics.

We present an approach to model-driven development that is based on Petri nets: high- and low-level Petri nets in various formalisms can be used as target models. The presented approach uses ontology-based meta-models, code and graphical templates, as well as custom and predefined transformation engines. The RMT framework provides the generation of modeling tools and the transformation into executable and/or analyzable models based on the defined Petri net semantics.

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 Validating DCCP Simultaneous Feature Negotiation Procedure

next chapter Mining Conditional Partial Order Graphs from Event Logs

Eclipse Modeling Framework, EMF, https://www.eclipse.org/modeling/emf/.

RMT: Renew Meta-Modeling and Transformation Framework, tools and examples: http://www.paose.net/wiki/Metamodeling.

Note that the diagram elements are partly collapsed, i.e. the role and the services.

In the following we will address these models as domain models or source models.

Elements already defined in the BPNM meta-model are depicted in gray.

A plugin to support the exchange of models through XMI serializations is currently in development.

Betz, T., Cabac, L., Duvigneau, M., Wagner, T., Wester-Ebbinghaus, M.: Software engineering with Petri nets: a Web service and agent perspective. In: Haddad, S., Yakovlev, A. (eds.) ToPNoC IX. LNCS, vol. 8910, pp. 41–61. Springer, Heidelberg (2014). http://dx.doi.org/10.1007/978-3-662-45730-6_3

Blunk, A., Fischer, J.: Prototyping domain specific languages as extensions of a general purpose language. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 72–87. Springer, Heidelberg (2013). http://dx.doi.org/10.1007/978-3-642-36757-1_5 CrossRef

Cabac, L.: Modeling Petri Net-Based Multi-Agent Applications, Agent Technology - Theory and Applications, vol. 5. Logos Verlag, Berlin (2010). http://www.sub.uni-hamburg.de/opus/volltexte/2010/4666/

Cabac, L., Dörges, T., Duvigneau, M., Moldt, D., Reese, C., Wester-Ebbinghaus, M.: Agent models for concurrent software systems. In: Bergmann, R., Lindemann, G., Kirn, S., Pěchouček, M. (eds.) MATES 2008. LNCS (LNAI), vol. 5244, pp. 37–48. Springer, Heidelberg (2008). http://dx.doi.org/10.1007/978-3-540-87805-6_5 CrossRef

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

Cabac, L., Mosteller, D., Wester-Ebbinghaus, M.: Modeling organizational structures and agent knowledge for Mulan applications. In: Haddad, S., Yakovlev, A. (eds.) ToPNoC IX. LNCS, vol. 8910, pp. 62–82. Springer, Heidelberg (2014). http://dx.doi.org/10.1007/978-3-662-45730-6_4

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

Duvigneau, M., Moldt, D., Rölke, H.: Concurrent architecture for a multi-agent platform. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 59–72. Springer, Heidelberg (2003). http://dx.doi.org/10.1007/3-540-36540-0_5 CrossRef

Fill, H.G., Karagiannis, D.: On the conceptualisation of modelling methods using the ADOxx meta modelling platform. Enterp. Model. Inf. Syst. Architect. 8(1), 4–25 (2013). https://www.emisa-journal.org/emisa/article/view/99 CrossRef

10.

FIPA, Foundation for Intelligent Physical Agents: FIPA SL Content Language Specification, December 2002. http://fipa.org/specs/fipa00008/

11.

Harel, D., Rumpe, B.: Meaningful modeling: what’s the semantics of “semantics”? IEEE Comput. 37(10), 64–72 (2004). http://dx.doi.org/10.1109/MC.2004.172 CrossRef

12.

Haustermann, M.: BPMN-Modelle für petrinetzbasierte agentenorientierte Softwaresysteme auf Basis von Mulan/Capa. Master thesis. University of Hamburg, Department of Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg, September 2014

13.

Kindler, E.: Coordinating interactions: the event coordination notation. Technical report 05, DTU Compute - Department of Applied Mathematics and Computer Science, Technical University of Denmark, May 2014. http://orbit.dtu.dk/en/publications/p(714667a1-4786-4b68-969e-c011187a6ab8).html

14.

Kleppe, A.: Software Language Engineering: Creating Domain-Specific Languages Using Metamodels. Pearson Education, Boston (2008)

15.

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

16.

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

17.

Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes – a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) Transactions on Petri Nets and Other Models of Concurrency II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009). http://dx.doi.org/10.1007/978-3-642-00899-3_3 CrossRef

18.

Moldt, D.: Petrinetze als Denkzeug. In: Farwer, B., Moldt, D. (eds.) Object Petri Nets, Processes, and Object Calculi. pp. 51–70. No. FBI-HH-B-265/05 in Report of the Department of Informatics, University of Hamburg, Department of Computer Science, Vogt-Kölln Str. 30, D-22527 Hamburg, August 2005

19.

Möllers, K.S.M.: Entwicklung eines P*AOSE-Werkzeugs zur Dynamisierung von Verteilungsdiagrammen. Bachelor thesis, University of Hamburg, Department of Informatics, Vogt-Kölln Str. 30, D-22527 Hamburg (2014)

20.

Nytun, J.P., Prinz, A., Tveit, M.S.: Automatic generation of modelling tools. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 268–283. Springer, Heidelberg (2006). http://dx.doi.org/10.1007/11787044_21 CrossRef

21.

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

22.

Paose-Website: Organization-oriented Software Engineering. University of Hamburg, Department of Informatics, Theoretical Foundations Group, June 2016. http://www.paose.net

23.

Petrasch, R., Meimberg, O.: Model Driven Architecture: eine praxisorientierte Einführung in die MDA. dpunkt-Verlag, Heidelberg (2006)

24.

Rölke, H.: Modellierung von Agenten und Multiagentensystemen - Grundlagen und Anwendungen, Agent Technology - Theory and Applications, vol. 2. Logos Verlag, Berlin (2004). http://logos-verlag.de/cgi-bin/engbuchmid?isbn=0768&lng=eng&id=

25.

Rouvoy, R., Merle, P.: Rapid prototyping of domain-specific architecture languages. In: Larsson, M., Medvidovic, N. (eds.) International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE 2012), Bertinoro, Italie, pp. 13–22. ACM, June 2012. http://dx.doi.org/10.1145/2304736.2304741

26.

Sadilek, D.A., Wachsmuth, G.: Prototyping visual interpreters and debuggers for domain-specific modelling languages. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 63–78. Springer, Heidelberg (2008). http://dx.doi.org/10.1007/978-3-540-69100-6_5 CrossRef

27.

Valk, R.: Object Petri Nets. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 819–848. Springer, Heidelberg (2004). http://dx.doi.org/10.1007/978-3-540-27755-2_23 CrossRef

Title: Integrating Petri Net Semantics in a Model-Driven Approach: The Renew Meta-Modeling and Transformation Framework
Authors: David Mosteller
Lawrence Cabac
Michael Haustermann
Publisher: Springer Berlin Heidelberg
Book: Transactions on Petri Nets and Other Models of Concurrency XI
Print ISBN: 978-3-662-53400-7

Electronic ISBN: 978-3-662-53401-4

Copyright Year: 2016
DOI: https://doi.org/10.1007/978-3-662-53401-4_5

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