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

Authors:
Raida ElMansouri;Allaoua Chaoui;Elhillali Kerkouche;Khaled Khalfaoui
Affiliations:
-;-;-;-
Venue:
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Year:
2009

Citing 5
Cited 2

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
The Unified Modeling Language user guide

The Unified Modeling Language user guide
AToM3: A Tool for Multi-formalism and Meta-modelling

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment

CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets

Verification of problem-based learning systems using modified petri nets

Expert Systems with Applications: An International Journal
Behavioral and structural evolution of SOA from OO: an integrated approach

ACM SIGSOFT Software Engineering Notes

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.