| Summary: | 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.
|
|---|