Davide Basile ; Maurice H. ter Beek ; Rosario Pugliese - Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

lmcs:5809 - Logical Methods in Computer Science, June 3, 2020, Volume 16, Issue 2 - https://doi.org/10.23638/LMCS-16(2:9)2020
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services

Authors: Davide Basile ; Maurice H. ter Beek ; Rosario Pugliese

    We present a number of contributions to bridging the gap between supervisory control theory and coordination of services in order to explore the frontiers between coordination and control systems. Firstly, we modify the classical synthesis algorithm from supervisory control theory for obtaining the so-called most permissive controller in order 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. Then, we present an abstract parametric synthesis algorithm and show that it generalises the classical synthesis as well as the orchestration and choreography syntheses. Finally, through the novel abstract synthesis, we show that the concrete syntheses are in a refinement order. A running example from the service domain illustrates our contributions.


    Volume: Volume 16, Issue 2
    Published on: June 3, 2020
    Accepted on: June 3, 2020
    Submitted on: October 5, 2019
    Keywords: Electrical Engineering and Systems Science - Systems and Control,Computer Science - Distributed, Parallel, and Cluster Computing,Computer Science - Formal Languages and Automata Theory

    Linked data

    Source : ScholeXplorer HasVersion DOI 10.48550/arxiv.1910.00849
    • 10.48550/arxiv.1910.00849
    Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
    Basile, Davide ; ter Beek, Maurice H. ; Pugliese, Rosario ;

    2 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 696 times.
    This article's PDF has been downloaded 241 times.