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...

Full description

Saved in:
Bibliographic Details
Published in:Symbolic and Numeric Algorithms for Scientific Computing, Proceedings pp. 327 - 334
Main Authors: Bernardi, G., Bugliesi, M., Macedonio, D., Rossi, S.
Format: Conference Proceeding
Language:English
Published: IEEE 01.09.2008
Subjects:
Assembly
Computer architecture
Contracts
Costs
Filters
process calculi
Scientific computing
Service oriented architecture
Software algorithms
Software design
Software safety
web service choreography
ISBN:0769535232, 9780769535234
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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 composition. 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.
ISBN:0769535232
9780769535234
DOI:10.1109/SYNASC.2008.38