TY - JOUR AU - El Hichami, Outman AU - Naoum, Mohamed AU - Al Achhab, Mohammed AU - Berrada, Ismail AU - El Mohajir, Badr Eddine PY - 2015/10/19 Y2 - 2024/03/29 TI - An Algebraic Method for Analysing Control Flow of BPMN Models JF - International Journal of Recent Contributions from Engineering, Science & IT (iJES) JA - Int. J. Recent Contrib. Eng. Sci. IT VL - 3 IS - 3 SE - Papers DO - 10.3991/ijes.v3i3.4862 UR - https://online-journals.org/index.php/i-jes/article/view/4862 SP - pp. 20-26 AB - 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. ER -