A Theory of Adaptable Contract-Based Service Composition

Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a cost: the software architect must ensure that the off-the-shelf components interact safely and in ways that conform with the specification. We develop a new theory for adaptable service compositions. The theory provides an effective framework for analyzing the conformance of contract-based service compositions, and for enforcing their compliance, in a uniform, formally elegant setting.

• Type: Conference
• Year: 2008
• Where: SYNASC
• Authors: Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
• Keywords: Algorithms, Off-the-shelf Software Components, Service Compositions, Service Oriented Architectures, SYNASC 2008