%0 Conference Proceedings
%T Service Orchestration with Priority Constraints
%+ Leiden Institute of Advanced Computer Science [Leiden] (LIACS)
%+ Peoples Friendship University of Russia [RUDN University] (RUDN)
%+ Centrum Wiskunde & Informatica (CWI)
%A Changizi, Behnaz
%A Kokash, Natallia
%A Arbab, Farhad
%Z Part 5: Distributed Algorithms
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th International Conference on Fundamentals of Software Engineering (FSEN)
%C Tehran, Iran
%Y Hossein Hojjat
%Y Mieke Massink
%I Springer International Publishing
%3 Fundamentals of Software Engineering
%V LNCS-11761
%P 194-209
%8 2019-05-01
%D 2019
%R 10.1007/978-3-030-31517-7_14
%K Transaction
%K Priority
%K Constraints
%K Coordination
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 2
%Z WG 2.2
%2 https://inria.hal.science/hal-03769135/document
%2 https://inria.hal.science/hal-03769135/file/490001_1_En_14_Chapter.pdf
%L hal-03769135
%U https://inria.hal.science/hal-03769135
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC2
%~ IFIP-WG2-2
%~ IFIP-FSEN
%~ IFIP-LNCS-11761