Fiadeiro, J.L. and Lopes, A. (2012) Consistency of service composition In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). .
Full text access: Open
We address the problem of ensuring that, when an application executing a service binds to a service that matches required functional properties, both the application and the service can work together, i.e., their composition is consistent. Our approach is based on a component algebra for service-oriented computing in which the configurations of applications and of services are modelled as asynchronous relational nets typed with logical interfaces. The techniques that we propose allow for the consistency of composition to be guaranteed based on properties of service orchestrations (implementations) and interfaces that can be checked at design time, which is essential for supporting the levels of dynamicity required by run-time service binding. © 2012 Springer-Verlag Berlin Heidelberg.
This is a Submitted version This version's date is: 1/1/2012 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/2c3cc36f-5802-cc2d-76ad-d024f4ecba0b/4/
Deposited by Research Information System (atira) on 19-Jun-2013 in Royal Holloway Research Online.Last modified on 19-Jun-2013