Formal Modeling and Analysis of Business Process Timed Constraints

Chama, Imed Eddine; Belala, Nabil; Saïdouni, Djamel Eddine

doi:10.1007/978-3-319-16577-6_7

Cited by 1 publication

(2 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Different modeling methods and verifying techniques and tools have been developed to deal with temporal constraints in business processes 16–21 . The challenging perspective, concerning business process management notation (BPMN), resides in the fact that BPMN as the most used language, in the earliest phase of business process modeling, does not provide any syntax to specify and verify temporal constraints.…”

Section: State Of the Artmentioning

confidence: 99%

“…Although these works procure mechanisms to handle the duration between two given activities, they leave out considering absolute starting time of entities. In Reference 18, the authors proposed transformation rules from BPEL language to a distributed low‐level real‐time model C‐DATA “communicating durational action timed automata,” analyzed by model checking value based temporal logic properties (TCTL) “timed computation tree logic” using UPPAAL as the model checker. However, the mechanism of transformation uses low‐level model.…”

Section: State Of the Artmentioning

confidence: 99%

See 1 more Smart Citation

A discrete event model for analysis and verification of time‐constrained business processes

Boukelkoul

Maamri

Chihoub

2020

Concurrency and Computation

View full text Add to dashboard Cite

Summary In the purpose of analyzing and checking time constraints in business processes, we propose to model and simulate them in the “discrete event system specification” (DEVS) formalism. The proposed model will contain atomic DEVS models representing the activities, supervised by, other DEVS control models, and based on one to one mapping. Hence, guaranteeing a close concordance with the temporal requirements. Thus, the simulation of the model results in outputs about the successful execution regarding to the temporal constraints soundness. Therefore, the modeler will be able to predict unsuitable temporal behavior. Thus, the model responds to the lack of modeling tools that do not offer enough formal specification of time constraints at the earlier phases of design as in, the standard “business process management notation.” The proposed model handles different type of time constraints in business process such as intra‐activities, inter‐activities, and inter‐process time constraints. The proposed model is implemented into JAVADEVS using DEVS‐Suite platform.

show abstract

Section: State Of the Artmentioning

confidence: 99%

Section: State Of the Artmentioning

confidence: 99%