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

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Symbolic and Numeric Algorithms for Scientific Computing, Proceedings s. 327 - 334
Hlavní autoři: Bernardi, G., Bugliesi, M., Macedonio, D., Rossi, S.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.09.2008
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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