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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Symbolic and Numeric Algorithms for Scientific Computing, Proceedings S. 327 - 334
Hauptverfasser: Bernardi, G., Bugliesi, M., Macedonio, D., Rossi, S.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.09.2008
Schlagworte:
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-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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