Ebook: Architecting Systems with Trustworthy Components: International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
- Tags: Software Engineering, Computer Communication Networks, Programming Techniques, Operating Systems, Programming Languages Compilers Interpreters, Logics and Meanings of Programs
- Series: Lecture Notes in Computer Science 3938
- Year: 2006
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.
Content:
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 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.
Content:
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 -
....