Transforming business patterns to Colored Petri Nets using graph grammars

Author

Mahdi, Khalid ; Elmansouri, Rachid ; Chaoui, Abdelmadjid

Author_Institution

Ecole Normale Super. (ENS), Constantine, Algeria

fYear

2012

fDate

13-15 Oct. 2012

Firstpage

72

Lastpage

78

Abstract

In this paper we propose a graph transformation based approach and a tool for transforming business patterns to Colored Petri nets for which efficient analysis techniques exist. First, we specify business patterns and Colored Petri nets MetaModels in UML Class Diagram formalism with the Meta-Modelling tool Atom3, then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar which transforms Business Patterns models to Colored Petri Nets model for analysis purposes. The approach is illustrated with examples.

Keywords

Petri nets; Unified Modeling Language; business data processing; formal specification; graph grammars; Atom3; UML class diagram formalism; analysis technique; business pattern transformation; colored Petri nets; graph grammars; graph transformation; metamodelling tool; visual modelling tool; Business Patterns; Colored Petri Nets; Graph Transformation; Meta-Models;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Theory and Applications (ICCTA), 2012 22nd International Conference on

Conference_Location

Alexandria

Print_ISBN

978-1-4673-2823-4

Type

conf

DOI

10.1109/ICCTA.2012.6523550

Filename

6523550