In this paper we look at the problem of composing services that export their behavior in terms of a transition system, characterizing the choices of actions given to a client at each point in time. The composition consists of synthesizing an orchestrator that coordinates the available services so as to mimic the desired target service asked by the client. Specifically, in this paper we study the "conformant form" of the problem, where available services are partially controllable and partially observable, and hence, the orchestrator has to make its decisions exploiting the observations made so far only. We give a sound and complete procedure to synthesize the orchestrator in such case, and characterize the computational complexity of the pr...
Service contracts characterise the desired behavioural compliance of a composition of services. Comp...
Service contracts characterise the desired behavioural compliance of a composition of services, typi...
In this paper, we review a series of agent behavior synthesis problems under full observability and ...
In this paper we look at the problem of composing services that export their behavior in terms of a ...
In this paper we study the issue of service composition, in the case that services are nondetermisti...
This paper addresses the automated composition of nondeterministic available services modeled as tra...
We consider the problem of synthesizing a fully controllable target behavior from a set of available...
We consider the problem of synthesizing a fully controllable target behavior from a set of available...
International audienceThe behavioral service composition problem arises when no available service ca...
The behavior composition problem amounts to realizing a virtual desired module (e.g., a surveillance...
AbstractThe behavior composition problem amounts to realizing a virtual desired module (e.g., a surv...
none5In a previous work we have presented a formal framework devoted to show the relevance of chore...
In this paper we study the issue of service composition, for services that export a representation o...
Based on our previous work on the conformance verification of service compositions, in this paper we...
We consider the problem of synthesizing a fully controllable target behavior from a set of available...
Service contracts characterise the desired behavioural compliance of a composition of services. Comp...
Service contracts characterise the desired behavioural compliance of a composition of services, typi...
In this paper, we review a series of agent behavior synthesis problems under full observability and ...
In this paper we look at the problem of composing services that export their behavior in terms of a ...
In this paper we study the issue of service composition, in the case that services are nondetermisti...
This paper addresses the automated composition of nondeterministic available services modeled as tra...
We consider the problem of synthesizing a fully controllable target behavior from a set of available...
We consider the problem of synthesizing a fully controllable target behavior from a set of available...
International audienceThe behavioral service composition problem arises when no available service ca...
The behavior composition problem amounts to realizing a virtual desired module (e.g., a surveillance...
AbstractThe behavior composition problem amounts to realizing a virtual desired module (e.g., a surv...
none5In a previous work we have presented a formal framework devoted to show the relevance of chore...
In this paper we study the issue of service composition, for services that export a representation o...
Based on our previous work on the conformance verification of service compositions, in this paper we...
We consider the problem of synthesizing a fully controllable target behavior from a set of available...
Service contracts characterise the desired behavioural compliance of a composition of services. Comp...
Service contracts characterise the desired behavioural compliance of a composition of services, typi...
In this paper, we review a series of agent behavior synthesis problems under full observability and ...