Architecting Systems with Trustworthy Components : International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers

by Reussner, Ralf H.; Stafford, Judith A.; Szyperski, Clemens A.

• ISBN13: 9783540358008
• ISBN10: 3540358005
• Format: Paperback
• Copyright: 2006-08-15
• Publisher: Springer Verlag

Summary

This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004.The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.

Table of Contents

Audition of Web services for testing conformance to open specified protocols	p. 1
A core theory of interfaces and architecture and its impact on object orientation	p. 26
Making specifications complete through models	p. 48
Bus scheduling for TDL components	p. 71
Refinement and consistency in component models with multiple views	p. 84
A taxonomy on component-based software engineering methods	p. 103
Unifying hardware and software components for embedded system development	p. 120
On the composition of compositional reasoning	p. 137
Trustworthy instantiation of frameworks	p. 152
Performance prediction of component-based systems - a survey from an engineering perspective	p. 169
Towards an engineering approach to component adaptation	p. 193
Compatible component upgrades through smart component swapping	p. 216
Exceptions in component interaction protocols - necessity	p. 227
Coalgebraic semantics for component systems	p. 245
A type theoretic framework for formal metamodelling	p. 262
Table of Contents provided by Blackwell. All Rights Reserved.