Formalization of BPMN Gateways using the DD-LOTOS Formal Language

Business Process Model and Notation (BPMN), is a standardized graphical language used for the graphical modeling of business processes. A BPMN model is composed of several small graphs called elements; these elements make it possible to describe the activities, the events, and the interactions betwe...

Full description

Bibliographic Details
Main Authors: Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Makhlouf Ledmi, Samra Sabeg
Format: Article
Language:English
Published: Croatian Communications and Information Society (CCIS) 2023-12-01
Series:Journal of Communications Software and Systems
Subjects:
Online Access:https://jcoms.fesb.unist.hr/10.24138/jcomss-2023-0138/