Service Orchestration with Priority Constraints - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Service Orchestration with Priority Constraints

Résumé

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.
Fichier principal
Vignette du fichier
490001_1_En_14_Chapter.pdf (353.64 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03769135 , version 1 (05-09-2022)

Licence

Paternité

Identifiants

Citer

Behnaz Changizi, Natallia Kokash, Farhad Arbab. Service Orchestration with Priority Constraints. 8th International Conference on Fundamentals of Software Engineering (FSEN), May 2019, Tehran, Iran. pp.194-209, ⟨10.1007/978-3-030-31517-7_14⟩. ⟨hal-03769135⟩
18 Consultations
21 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More