A Theory of Adaptable Contract-Based Service Composition
| Citations: | 3 - 2 self |
BibTeX
@MISC{Bernardi_atheory,
author = {G. Bernardi and M. Bugliesi and D. Macedonio and S. Rossi},
title = {A Theory of Adaptable Contract-Based Service Composition},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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, and formally elegant setting. 1.
