From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises

Virtual Enterprises can be considered as one of the most promising paradigms for future enterprises. The main characteristics of Virtual Enterprises are the distributed and parallel business process execution. UML is considered nowadays as the standardized language for object oriented modeling. However, UML needs a well-defined semantic base for its notation. Petri nets (PNs) are a formal and graphical language appropriate for systems modelling and analysis. Coloured Petri Nets (CPN) are a high level PNs formalism in which tokens are not simply blank markers, but have data associated with them. In this paper we propose an approach for business processes in Virtual Enterprises based on an integration of UML and CPN (Colored Petri Nets). UML is used for modeling and CPN formalism is used for analyzing the design prior to full system implementation. Since UML diagrams and CPN models are both graphs, the mapping between UML Diagrams and CPN models is performed automatically using graph transformation. We have used the ATOM3 tool. The proposed approach follows the Unified Process life cycle.

[1]  Hartmut Ehrig,et al.  Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation , 2004, FASE.

[2]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[3]  Mohamed Bettaz,et al.  How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets , 1991, COMPASS/ADT.

[4]  Jorge C. A. de Figueiredo,et al.  Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems , 1993, Application and Theory of Petri Nets.

[5]  Allaoua Chaoui,et al.  Transforming UML models to colored petri nets models using graph grammars , 2009, 2009 IEEE Symposium on Computers and Communications.

[6]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[7]  Kalle Lyytinen,et al.  MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment , 1996, CAiSE.

[8]  Ren Shouju,et al.  A UML and Petri Nets Integrated Modeling Method for Business Processes in Virtual Enterprises , 2000 .

[9]  강문설.  [서평]「The Unified Modeling Language User Guide」 , 1999 .

[10]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[11]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .