loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sara Houhou 1 ; 2 ; 3 ; Souheib Baarir 3 ; 4 ; Pascal Poizat 3 ; 4 and Philippe Quéinnec 5

Affiliations: 1 LINFI Laboratory, Biskra University, Biskra, Algeria ; 2 Montpellier Université, CNRS, LIRMM, F-34000, Montpelier, France ; 3 Sorbonne Université, CNRS, LIP6, F-75005, Paris, France ; 4 Université Paris Lumières, Université Paris Nanterre, F-92000, Nanterre, France ; 5 IRIT, Université de Toulouse, F-31000 Toulouse, France

Keyword(s): BPMN, Timed Models, Workflows, Collaborations, Formal Verification, Alloy, Tool.

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.129.195.254

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - ENASE; ISBN 978-989-758-508-1; ISSN 2184-4895, SciTePress, pages 138-149. DOI: 10.5220/0010462901380149

@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 - ENASE},
year={2021},
pages={138-149},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0010462901380149},
isbn={978-989-758-508-1},
issn={2184-4895},
}

TY - CONF

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