Formal semantics and transformation of BPMN models
by Toufik Messaoud Maarouk; Elkamel Merah; Sara Ghaoui; Nihed Rahabi
International Journal of Business Process Integration and Management (IJBPIM), Vol. 9, No. 3, 2019

Abstract: Business process modelling notation (BPMN) represents an industrial standard created in order to provide a graphical semi-formal notation that is readily understandable by all business users, from the business analyst to the technical developers, and, finally, to the business people who will manage those processes. However, BPMN models are expressed in a semi-formal modelling language and need a well-defined formal semantics base for their notations. This formalisation enables analysis and verification tasks. Some efforts have been made to transform BPMN models into formal representations including Petri nets, but, to the best of our knowledge, no work has been done for transforming BPMN models into a language that supports a true concurrency semantics, DD-LOTOS. The DD-LOTOS language is defined for the formal specification of distributed real-time systems and has been defined on a semantic model of true concurrency. The main goal of this paper is to propose a formal semantics for a subset of BPMN, defined in terms of DD-LOTOS code. The paper also proposes a model transformation approach to generate DD-LOTOS code from BPMN models. This approach has been implemented using Eclipse Sirius and Eclipse Acceleo. Two well-known case studies are given to illustrate the transformation.

Online publication date: Fri, 19-Jul-2019

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Business Process Integration and Management (IJBPIM):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com