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.
Bridging the Gap between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies / D. Basile, M. H. ter Beek, R. Pugliese. - STAMPA. - (2019), pp. 129-147. (Intervento presentato al convegno International Conference on Coordination Models and Languages) [10.1007/978-3-030-22397-7_8].
Bridging the Gap between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies
R. Pugliese
2019
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.File | Dimensione | Formato | |
---|---|---|---|
19COORD - Bridging the Gap Between Supervisory Control and Coordination of Services _ Synthesis of Orchestrations and Choreographies.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Open Access
Dimensione
484.32 kB
Formato
Adobe PDF
|
484.32 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.