A Direct Formal Semantics for BPMN Time-related Constructs

Sara Houhou, Sara Houhou, Sara Houhou, Souheib Baarir, Souheib Baarir, Pascal Poizat, Pascal Poizat, Philippe Quéinnec

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.

Download


Paper Citation


in Harvard Style

Houhou S., Baarir S., Poizat P. and Quéinnec P. (2021). A Direct Formal Semantics for BPMN Time-related Constructs. In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-508-1, pages 138-149. DOI: 10.5220/0010462901380149


in Bibtex Style

@conference{enase21,
author={Sara Houhou and Souheib Baarir and Pascal Poizat and Philippe Quéinnec},
title={A Direct Formal Semantics for BPMN Time-related Constructs},
booktitle={Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2021},
pages={138-149},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010462901380149},
isbn={978-989-758-508-1},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - A Direct Formal Semantics for BPMN Time-related Constructs
SN - 978-989-758-508-1
AU - Houhou S.
AU - Baarir S.
AU - Poizat P.
AU - Quéinnec P.
PY - 2021
SP - 138
EP - 149
DO - 10.5220/0010462901380149