A Theory of Adaptable Contract-Based Service Composition
Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi · 2008
Service Oriented Architectures draw heavily on techniques for reusingand assembling off-the-shelf software components. While powerful, this programming practice is not without a cost: the software architectmust ensure that the off-the-shelf components interact safelyand in ways that conform with the specification. We develop a new theory for adaptable service composition. The theoryprovides an effective framework for analyzing the conformance ofcontract-based service compositions, and for enforcing theircompliance, in a uniform, formally elegant setting.