Partner Synthesis for Data-Dependent Services

4th Central-European Workshop on Services and their Composition

Christoph Wagner

Others  :  http://ceur-ws.org/Vol-847/paper3.pdf

来源: CEUR

【 摘 要 】

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.