An Algebraic Method for Analysing Control Flow of BPMN Models

Authors

  • Outman El Hichami Faculty of Sciences, UAE, Tetouan, Morocco
  • Mohamed Naoum Faculty of Sciences, UAE, Tetouan, Morocco
  • Mohammed Al Achhab National School of Applied Sciences, UAE, Tetouan, Morocco
  • Ismail Berrada Faculty of Sciences and Technology, USMBA, Fez, Morocco
  • Badr Eddine El Mohajir Faculty of Sciences, UAE, Tetouan, Morocco

DOI:

https://doi.org/10.3991/ijes.v3i3.4862

Abstract


This paper introduces an approach for formal verification of BPMN models. The incompatible constructs of the BPMN patterns can lead to wrong or incomplete semantics which resulting the behavioral errors such as deadlock and multiple termination. This research is motivated by the need to create a correct business process and in order to generate a more complete formalization of BPMN semantics than existing formalizations. We first introduce the chosen patterns which are the most used in the modelisation of the service-based business processes. Then, we illustrate a definition of the execution semantics of these patterns by using the rules of Max+ Algebra formulas, which have important benefits.

Downloads

Published

2015-10-19

How to Cite

El Hichami, O., Naoum, M., Al Achhab, M., Berrada, I., & El Mohajir, B. E. (2015). An Algebraic Method for Analysing Control Flow of BPMN Models. International Journal of Recent Contributions from Engineering, Science & IT (iJES), 3(3), pp. 20–26. https://doi.org/10.3991/ijes.v3i3.4862

Issue

Section

Papers