Sciweavers

Share
SYNASC
2008
IEEE

A Theory of Adaptable Contract-Based Service Composition

10 years 6 months ago
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 speciļ¬cation. 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.
Giovanni Bernardi, Michele Bugliesi, Damiano Maced
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where SYNASC
Authors Giovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi
Comments (0)
books