A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Partner Synthesis for Data-Dependent Services
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