Search

• < Previous
• 1
• Next >

Automata for Specifying and Orchestrating Service Contracts

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;]