Paper Info
Title
Composition of services with nondeterministic observable behavior
Abstract
In [3] we started studying an advanced form of service composition where available services were modeled as deterministic finite transition systems, describing the possible conversations they can have with clients, and where the client request was itself expressed as a (virtual) service making use of the same alphabet of actions. In [4] we extended our studies by considering the case in which the client request was loosen by allowing don’t care nondeterminism in expressing the required target service. In the present paper we complete such a line of investigation, by considering the case in which the available services are only partially controllable and must be modeled as nondeterministic finite transition systems, possibly because of our lack of information on their exact behavior. Notably such services display a “devilish” form of nondeterminism, since we want to model the inability of the orchestrator to actually choose between different executions of the same action. We investigate how to automatically perform the synthesis of the composition under these circumstances.
Year
DOI
Venue
2005
10.1007/11596141_43
ICSOC
Keywords
Field
DocType
exact behavior,care nondeterminism,required target service,available service,nondeterministic observable behavior,deterministic finite transition system,advanced form,nondeterministic finite transition system,different execution,client request,service composition
Transition system,Conversation,Observable,Nondeterministic algorithm,Computer science,Service composition,Real-time computing,Orchestration,Deterministic system,Web service
Conference
Volume
ISSN
ISBN
3826
0302-9743
3-540-30817-2
Citations 
PageRank 
References 
27
1.39
15
Authors
4
Name
Order
Citations
PageRank
Daniela Berardi1106751.72
Diego Calvanese210262792.67
Giuseppe De Giacomo37004590.40
massimo mecella41841168.35