BPMN has acquired a clear predominance in the modeling of organization processes. Since it is a fairly complex modeling language, in some cases it is important to clarify the behavior of a modeled process, especially when concurrency comes into play. We consider unsafe process models with arbitrary topology, and we focus on the effects of concurrent control flows activated within single process instances. We use text annotations to clarify the concurrent behavior, and tokens with identity to regulate the synchronizations. We illustrate the benefits of our approach by a simple, yet realistic, scenario about paper reviewing.
On Avoiding Erroneous Synchronization in BPMN Processes / Corradini Flavio; Fornari Fabrizio; Muzi Chiara; Polini Andrea; Re Barbara; Tiezzi Francesco. - STAMPA. - (2017), pp. 106-119. ( 20th International Conference on Business Information Systems Poznań June 2017) [10.1007/978-3-319-59336-4_8].
On Avoiding Erroneous Synchronization in BPMN Processes
Tiezzi Francesco
2017
Abstract
BPMN has acquired a clear predominance in the modeling of organization processes. Since it is a fairly complex modeling language, in some cases it is important to clarify the behavior of a modeled process, especially when concurrency comes into play. We consider unsafe process models with arbitrary topology, and we focus on the effects of concurrent control flows activated within single process instances. We use text annotations to clarify the concurrent behavior, and tokens with identity to regulate the synchronizations. We illustrate the benefits of our approach by a simple, yet realistic, scenario about paper reviewing.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
