Contract automata facilitate the specification, composition, and synthesis of behavioural
contracts, comprehending modalities and configurations. Contract automata are supported …

The behavior composition problem amounts to realizing a virtual desired module (eg, a
surveillance agent system) by suitably coordinating (and re-purposing) the execution of a set …

Web services play a major role in electronic businesses and allow organizations to perform
certain business activities in a distributed fashion. In some circumstances, a single service is …

In Internet of Things (IoT) scenarios, the coordination of physical systems is often complex
and rigid. Work to date has not comprehensively explored how to flexibly construct …

We relate behavior composition, a synthesis task studied in AI, to supervisory control theory
from the discrete event systems field. In particular, we show that realizing (ie, implementing) …

The behavior composition problem involves the automatic synthesis of a controller able to
“realize”(ie, implement) a target behavior module by suitably coordinating a collection of …

Web services are widely used because of their features of interoperability, loose-coupled
and platform independent. Web services composition is one of the most popular topics in …

The behavior composition problem involves the automatic synthesis of a controller able to
“realize”(ie, implement) a desired target behavior specification by suitably coordinating a set …

We present a model for the service composition problem and relate it to the classical
problem of supervisory control in discrete event systems. In particular, we show how the …

Web services are becoming one of the main technologiesfor designing and building
complex inter-enterprise businessapplications. Usually, a business application cannot be …