Affordable Access

deepdyve-link
Publisher Website

A Direct Formal Semantics for BPMN Time-Related Constructs

Authors
  • Houhou, Sara
  • Baarir, Souheib
  • Poizat, Pascal
  • Quéinnec, Philippe
Publication Date
Apr 26, 2021
Identifiers
DOI: 10.5220/0010462901380149
OAI: oai:HAL:hal-03170814v1
Source
HAL-INRIA
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times