Skip to Main content Skip to Navigation
Conference papers

A Direct Formal Semantics for BPMN Time-Related Constructs

Abstract : BPMN supports the design of intra-organization workflows and inter-organization collaborations. This rich notation includes elements to deal with models where time is central. However, the expressiveness of the BPMN time-related constructs hampers the definition of a formal semantics including them, and the provision of formal analysis means for timed process models. We propose here a first-order logic semantics for a subset of BPMN that includes its time-related constructs. With reference to related work, we support the specification of datetimes, durations, and cycles, using ISO-8601 formats as specified in the standard. Our approach is tool-supported by a model transformation into the Alloy formal language and its bounded counter-example generator. Our tool and model database are open source and freely available.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03170814
Contributor : Philippe Queinnec Connect in order to contact the contributor
Submitted on : Tuesday, March 16, 2021 - 2:36:19 PM
Last modification on : Monday, October 11, 2021 - 1:22:29 PM
Long-term archiving on: : Thursday, June 17, 2021 - 7:37:16 PM

File

ENASE.pdf
Files produced by the author(s)

Identifiers

Citation

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2021), Apr 2021, online, Czech Republic. ⟨10.5220/0010462901380149⟩. ⟨hal-03170814⟩

Share

Metrics

Record views

233

Files downloads

214