BPMN 2.0 OR-Join Semantics: Global and local characterisation

作者：

Highlights：

• Global and local characterisation of BPMN 2.0 semantics including OR-Join behaviour.

• A proof of the local to the global semantics correspondence.

• An analysis of the computational cost of global and local Or-Join implementations.

• An implementation of the OR-Join semantics in the MIDA animator.

摘要

•Global and local characterisation of BPMN 2.0 semantics including OR-Join behaviour.•A proof of the local to the global semantics correspondence.•An analysis of the computational cost of global and local Or-Join implementations.•An implementation of the OR-Join semantics in the MIDA animator.

论文关键词：BPMN 2.0,OR-Join,Global and local semantics

论文评审过程：Received 26 April 2021, Revised 18 October 2021, Accepted 19 October 2021, Available online 4 November 2021, Version of Record 17 November 2021.

论文官网地址：https://doi.org/10.1016/j.is.2021.101934