Skip to Main content Skip to Navigation
Conference papers

Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies

Abstract : We explore the frontiers between coordination and control systems by discussing a number of contributions to bridging the gap between supervisory control theory and coordination of services. In particular, we illustrate how the classical synthesis algorithm from supervisory control theory to obtain the so-called most permissive controller can be modified to synthesise orchestrations and choreographies of service contracts formalised as contract automata. The key ingredient to make this possible is a novel notion of controllability. Finally, we present an abstract parametric synthesis algorithm and show that it generalises the classical synthesis as well as the orchestration and choreography syntheses.
Complete list of metadata

Cited literature [49 references]  Display  Hide  Download

https://hal.inria.fr/hal-02365502
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 2:13:14 PM
Last modification on : Wednesday, April 15, 2020 - 9:58:40 AM
Long-term archiving on: : Sunday, February 16, 2020 - 4:27:54 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Davide Basile, Maurice ter Beek, Rosario Pugliese. Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies. 21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.129-147, ⟨10.1007/978-3-030-22397-7_8⟩. ⟨hal-02365502⟩

Share

Metrics

Record views

75