OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations

Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. (2019) In: 17th International Conference on Business Process Management (BPM 2019), 1 September 2019 - 6 September 2019 (Vienna, Austria).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1007/978-3-030-26619-6_6


BPMN is suitable to model not only intra-organization workflows but also inter-organization collaborations. There has been a great effort in providing a formal semantics for BPMN, and then in building verification tools on top of this semantics. However, communication aspects are often discarded in the literature. This is an issue since BPMN has gained interest outside its original scope, e.g., for the IoT, where the configuration of communication modes plays an important role. In this paper, we propose a formal semantics for a subset of BPMN, taking into account inter-process communication and parametric verification with reference to communication modes. As opposed to transformational approaches, that map BPMN into some formal model such as transition systems or Petri nets, we give a direct formalization in First-Order Logic that is then implemented in TLA+ to enable formal verification. Our approach is tool supported. The tool, as well as the TLA+ theories, and experiment models are available online.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Springer editor. This papers appears in volume 11675 of Lecture Notes in Computer Science ISSN : 0302-9743 ISBN 978-3-030-26618-9 The original PDF is available at: https://link.springer.com/chapter/10.1007/978-3-030-26619-6_6
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE)
Other partners > Sorbonne Université (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UT3 (FRANCE)
Université de Toulouse > Université Toulouse - Jean Jaurès - UT2J (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > Université Mohamed Khider de Biskra (ALGERIA)
Other partners > Université Paris Ouest Nanterre La Défense (FRANCE)
Laboratory name:
ANR : Agence nationale de la recherche (France)
Deposited On:13 Jan 2020 13:11

Repository Staff Only: item control page