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
2017-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
