Business Processes Meet Spatial Concerns: the sBPMN Verification Framework
SADDEM-YAGOUBI ; POIZAT ; HOUHOU
Type de document
COMMUNICATION AVEC ACTES INTERNATIONAL (ACTI)
Langue
anglais
Auteur
SADDEM-YAGOUBI ; POIZAT ; HOUHOU
Résumé / 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.
