An abstract model of service discovery and binding

Jose Fiadeiro

(University of Leicester)

We put forward a formal operational semantics for service discovery and binding 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. This is joint work with Antonia Lopes, University of Lisbon.
Thursday 21st May 2009, 14:00
Digital Technium, Room 05 (Access Grid Room)
Department of Computer Science