Skip to Main content Skip to Navigation
Conference papers

Business Processes Meet Spatial Concerns: the sBPMN Verification Framework

Abstract : BPMN is the standard for business process modeling. It includes a rich set of constructs for control-flow, inter-process communication, and time-related concerns. However, spatial concerns are left apart while being essential to several application domains. We propose a comprehensive extension of BPMN to deal with this. Our proposal includes an integrated notation, a first-order logic semantics of the extension, and tool-supported verification means through the implementation of the semantics in TLA . Our tool support and our model database are open source and freely available online.
Document type :
Conference papers
Complete list of metadata

https://hal-cnrs.archives-ouvertes.fr/hal-03289951
Contributor : Pascal Poizat Connect in order to contact the contributor
Submitted on : Monday, July 19, 2021 - 9:55:41 AM
Last modification on : Monday, October 11, 2021 - 1:24:06 PM

Identifiers

  • HAL Id : hal-03289951, version 1

Citation

Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. International Symposium on Formal Methods (FM 2021), Nov 2021, Beijing, China. ⟨hal-03289951⟩

Share

Metrics

Record views

99