Transformation BPMN vers Réseaux de pétri avec Une Approche MDE

Abstract

The computerisation of a company’s business processes is an important step in industrialisation. This industrialisation allows companies to save time and move to higher value-added areas. Modelling is an essential step in the computerisation of processes, as it enables the study and rationalisation of business processes. Business Process Modeling Notation (BPMN) is a standard for capturing business processes in the early stages of system development. The structural blending in BPMN allows for the creation of models with semantic errors, which are particularly serious as errors made in the early stages of system development are the most costly and difficult to correct. Therefore, the ability to statically check the semantic correctness of a model is a de sirable feature of a BPMN-based modelling tool, this dissertation proposes a mapping of BPMN to a formal language, namely Petri nets, which can use efficient analytical techniques. The proposed mapping has been implemented as a tool that combined with existing Petri net based tools, allows a static analysis of the BPMN model. The formalisation also helps to identify gaps in the standard BPMN specification. The aim of this work is to define an approach to automatically transform a BPMN model into an equivalent Petri net on which we can perform a qualitative analysis using existing tools. The use of a generic and reusable methodology is possible to guide the various stages of the transformation of business processes in order to achieve a graphical tool for the transformation of BPMN models to Petri nets (RDP). This methodology will be based on the transformation of graphs into ATL specification formats using EMF tools (Eclipse Modeling Framework).