Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers (Lecture Notes in Computer Science (3938))

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. Front Matter....Pages - Audition of Web Services for Testing Conformance to Open Specified Protocols....Pages 1-25 A Core Theory of Interfaces and Architecture and Its Impact on Object Orientation....Pages 26-47 Making Specifications Complete Through Models....Pages 48-70 Bus Scheduling for TDL Components....Pages 71-83 Refinement and Consistency in Component Models with Multiple Views....Pages 84-102 A Taxonomy on Component-Based Software Engineering Methods....Pages 103-119 Unifying Hardware and Software Components for Embedded System Development....Pages 120-136 On the Composition of Compositional Reasoning....Pages 137-151 Trustworthy Instantiation of Frameworks....Pages 152-168 Performance Prediction of Component-Based Systems....Pages 169-192 Towards an Engineering Approach to Component Adaptation....Pages 193-215 Compatible Component Upgrades Through Smart Component Swapping....Pages 216-226 Exceptions in Component Interaction Protocols – Necessity....Pages 227-244 Coalgebraic Semantics for Component Systems....Pages 245-261 A Type Theoretic Framework for Formal Metamodelling....Pages 262-298 Back Matter....Pages - 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 improvement 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 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. Presents 10 revised full papers together with 5 invited papers contributed by outstanding researchers. Discusses core problems in 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, and more. Ralf H. Reussner, Judith A. Stafford, Clemens A. Szyperski (eds.). Includes Bibliographical References And Index. Also Issued Online.