Fiadeiro, José Luiz, Lopes, Antónia and Bocchi, Laura (2011) An abstract model of service discovery and binding. Formal Aspects of Computing, 23 (4).
Full text access: Open
We propose a formal operational semantics for service discovery and binding. This semantics is based on a graph-based representation of the configuration of global computers typed by business activities. Business activities execute distributed workflows that can trigger, at run time, the discovery, ranking and selection of services to which they bind, thus reconfiguring the workflows that they execute. Discovery, ranking and selection are based on compliance with required business and interaction protocols and optimisation of quality-of-service constraints. Binding and reconfiguration are captured as algebraic operations on configuration graphs. We also discuss the methodological implications that this model framework has on software engineering using a typical travel-booking scenario. To the best of our knowledge, our approach is the first to provide a clear separation between service computation and discovery/instantiation/binding, and to offer a formal framework that is independent of the SOA middleware components that act as service registries or brokers, and the protocols through which bindings and invocations are performed. © 2010 BCS.
This is a Approved version This version's date is: 1/7/2011 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/f8aa6247-0989-1eb7-a5ef-a2d77169286c/4/
Deposited by Research Information System (atira) on 03-Jun-2013 in Royal Holloway Research Online.Last modified on 03-Jun-2013
Copyright 2011 Elsevier B.V., All rights reserved.