INFORMATION CHANGE THE WORLD

International Journal of Information Technology and Computer Science(IJITCS)

ISSN: 2074-9007 (Print), ISSN: 2074-9015 (Online)

Published By: MECS Press

IJITCS Vol.5, No.2, Jan. 2013

On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars

Full Text (PDF, 891KB), PP.15-27


Views:114   Downloads:1

Author(s)

Karima Mahdi, Raida Elmansouri, Allaoua Chaoui

Index Terms

Business Patterns, Labelled Petri Nets, Meta-Models, Graph Transformation

Abstract

In this work we present an approach and a tool for transforming business patterns to labelled Petri nets. This transformation is justified by the fact that Petri nets have efficient analysis techniques. We specify first, business patterns and labelled Petri nets Meta-Models in UML Class Diagram formalism with the Meta-Modelling tool Atom3, and then we generate visual modelling tools according to the proposed Meta-Models. Finally, we define a graph grammar which transforms Business Patterns models to Labelled Petri Nets model for analysis purposes. The approach is illustrated with examples.

Cite This Paper

Karima Mahdi, Raida Elmansouri, Allaoua Chaoui,"On Transforming Business Patterns to Labeled Petri Nets Using Graph Grammars", International Journal of Information Technology and Computer Science(IJITCS), vol.5, no.2, pp.15-27, 2013.DOI: 10.5815/ijitcs.2013.02.02

Reference

[1]W.M.P. van der Aalst. 1968. The Application of Petri Nets to Workow Management. The Journal of Circuits, Systems and Computers, 8(1):21- 66, 1998. 

[2]De Backer,M. and Snoeck, M. 2005. Deterministic Petri net languages as business process specification language. Dtew research report 0577, K.U.Leuven, 

[3]Van der Aalst, W. M. ., A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. QUT Technical report, FIT-TR-2002-02, 2002.

[4]De Lara, J. and Vangheluwe, H. 2002. ATOM3: A Tool for multi-formalism and meta-modeling. LNCS No 2306, 2002

[5]W.M.P van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros.Workflow Patterns. Distributed and Parallel Databases, 14(3):5-51, July 2003.

[6]Dumez,C. Bakhouya,M, Gaber,J, and Wack,M. 2010. Formal Specification and Verification of Service Composition using LOTOS. Proceedings of the 7th ACM International Conference on Pervasive Services ICPS'10. ACM Computer Society Press, July (2010).

[7]De Lara,J and Vangheluwe,H.2002. Computer aided multi-paradigm modeling to process Petri-nets and Statecharts. International Conference on Graph Transformations (ICGT), Lecture Notes in Computer Science, vol. 2505, pp.239-253, Springer-Verlag, Barcelona, Spain,. 

[8]El Mansouri,R. Kerkouche,E. and Chaoui,A. 2008. A Graphical Environment for Petri Nets INA Tool Based on Meta-Modeling and Graph Grammars. Proceedings of World Academy of Science, Engineering and Technology, ISSN 2070-3740, vol. 34, pp.471-475, October (2008).

[9]INA Home page http://www2.informatik.huberlin.de/~starke/ina.html

[10]Kerkouche, E. and Chaoui, A. 2009. A Formal Framework and a Tool for the Specification and Analysis of G Nets Models Based on Graph Transformation. International Conference on Distributed Computing and Networking ICDCN’09, LNCS 5408, pp. 206–211, Springer-Verlag Berlin Heidelberg, India, 3-6 January (2009)

[11]Kerkouche,E. Chaoui,A. Bourennane,E. Labbani, O. 2010. A UML and Colored Petri Nets Integrated Modeling and Analysis Approach using Graph Transformation. In Journal of Object Technology, vol. 9, no. 4 (2010), pages 25–43. Available at http://www.jot.fm/contents/issue_2010_07/article2.html