Formalization of BPMN Gateways using the DD-LOTOS Formal Language

Simple item page
dc.contributor.authorMaarouk, Toufik Messaoud
dc.contributor.authorSoudi, Mohammed El Habib
dc.contributor.authorLedmi, Makhlouf
dc.contributor.authorSabeg, Samra
dc.date.accessioned2024-02-13T05:06:02Z
dc.date.available2024-02-13T05:06:02Z
dc.date.issued2023-11-29
dc.descriptionThe BPMN notation [1] is considered the most adopted language in modeling business processes in an organization [2]. Through its basic graphic elements, BPMN offers an intuitive approach to modeling complex business processes.
dc.description.abstractBusiness 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 between the components of a business process. Among the essential elements of BPMN are gateways, which control the flow of data. However, the big challenge of these gateways is the existence of several interpretations of the same BPMN model containing gateways; this is due to the informal and ambiguous definition. Several works have proposed the formalization of gateways using formal languages such as process algebras, Petri nets, etc. The purpose of this article is to propose a formalization of BPMN gateways using the formal language DD-LOTOS. DDLOTOS is defined on a semantics of true parallelism called maximality semantics and allows to support distribution and temporal constraints. We then propose the verification of certain properties using the UPPAAL model checker. Our approach has been validated through a case study representing the online purchasing process.
dc.description.sponsorshipICOSI Lab
dc.identifier.issn1845-6421
dc.identifier.urihttp://dspace.univ-khenchela.dz:4000/handle/123456789/577
dc.language.isoen
dc.publisherCroatian Communications and Information Society in cooperation with the University of Split, FESB, Croatia
dc.relation.ispartofseries19; 4
dc.titleFormalization of BPMN Gateways using the DD-LOTOS Formal Language
dc.typeArticle
Files
Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
v19n4_2023-0138_Maarouk.pdf
Size:
2.84 MB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed to upon submission
Description:
Download
Collections
scientific publication