Résumé:
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).