loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 21st IEEE International Conference on Tools with Artificial Intelligence
Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers
Newark, New Jersey
November 02-November 04
ISBN: 978-0-7695-3920-1
We study the problem of substitution of components in a composite service, especially in the setting where the substitute is composed in an asynchronous fashion. By asynchronous composition, we mean that the participants in the composition are not required to synchronize on the input/output actions as long as the input to one participant always follows the corresponding output from another. We show that such asynchronous composition can be realized by synchronous composition of the participating components along with an appropriate buffer process. We obtain the condition which, when satisfied by a service Q1′, allows Q1′ to act as a correct substitute for Q1 in a composition of services Q1 and Q2. Our work extends prior results on substitutability where the conditions relied on synchronous composition and/or on the structural equivalence between the substitute and the component being replaced.
Index Terms:
service substitution, asynchronous composition, quotienting, mu-calculus
Citation:
Zachary J. Oster, Samik Basu, "Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers," ictai, pp.572-575, 2009 21st IEEE International Conference on Tools with Artificial Intelligence, 2009
Usage of this product signifies your acceptance of the Terms of Use.