Title :
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
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;
Conference_Titel :
Computer Theory and Applications (ICCTA), 2012 22nd International Conference on
Conference_Location :
Alexandria
Print_ISBN :
978-1-4673-2823-4
DOI :
10.1109/ICCTA.2012.6523550
