Partner Synthesis for Data-Dependent Services

Christoph Wagner
2012 Central-European Workshop on Services and their Composition  
A service is controllable, if there exists a service with which it can interact properly. We sketch an approach to decide controllability for a certain class of services. Controllability is decided by synthesizing a service that controls the given service. For a class of services which abstracts from data, the synthesis problem is already solved. In this paper, we present an approach for a class of services that deals with data explicitly.
dblp:conf/zeus/Wagner12 fatcat:se27evjq5bctfpbagfbbn3ggji