Search

• < Previous
• 1
• Next >

---

Automata for Specifying and Orchestrating Service Contracts

Davide Basile ; Pierpaolo Degano ; Gian-Luigi Ferrari.

An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that the overall composition reaches its goal. Depending on&nbsp;[&hellip;]

---

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

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&nbsp;[&hellip;]

---