Business process management is an operational management approach that focuses on improving business processes. Business processes, i.e., collections of important activities in an organization, are represented in the form of a workflow, an orchestrated and repeatable pattern of activities amenable to automated analysis and control. Priority is an important concept in modeling workflows. We need priority to model cancelable and compensable tasks within transactional business processes. We use the Reo coordination language to model and formally analyze workflows. In this paper, we propose a constraint-based approach to formalize priority in Reo. We introduce special channels to propagate and block priority flows, define their semantics as constraints, and model priority propagation as a constraint satisfaction problem.

, , ,
Lecture Notes in Computer Science
International Conference on Foundations of Software Engineering
Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

Changizi, B., Kokash, N., & Arbab, F. (2019). Service orchestration with priority constraints. In Proceedings of the International Conference on Fundamentals of Software Engineering (pp. 194–209). doi:10.1007/978-3-030-31517-7_14