Objects, Components, Models and Patterns

This book constitutes the thoroughly refereed proceedings of the 46th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2008, held in Zurich, Switzerland, in June/July 2008. The 21 papers presented in this book were carefully reviewed and selected from 58 submissions. TOOLS played a major role in the spread of object-oriented and component technologies. It has now broadened its scope beyond the original topics of object technology and component-based development to encompass all modern, practical approaches to software development. At the same time, TOOLS kept its traditional spirit of technical excellence, its acclaimed focus on practicality, its well-proven combination of theory and applications, and its reliance on the best experts from academia and industry.

Inhalt
The End of the Computing Era: Hephaestus Meets the Olympians.- Modeling of Component Environment in Presence of Callbacks and Autonomous Activities.- Efficient Model Checking of Networked Applications.- Controlling Accessibility in Agile Projects with the Access Modifier Modifier.- Towards Raising the Failure of Unit Tests to the Level of Compiler-Reported Errors.- Virtual Machine Support for Stateful Aspects.- Guarded Program Transformations Using JTL.- A Multiparadigm Study of Crosscutting Modularity in Design Patterns.- Representing and Operating with Model Differences.- Optimizing Dynamic Class Composition in a Statically Typed Language.- Ownership, Uniqueness, and Immutability.- Object Incompleteness and Dynamic Composition in Java-Like Languages.- The Meta in Meta-object Architectures.- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.- Component Reassembling and State Transfer in MaDcAr-Based Self-adaptive Software.- A Comparison of State-Based Modelling Tools for Model Validation.- MontiCore: Modular Development of Textual Domain Specific Languages.- Proof-Transforming Compilation of Eiffel Programs.- Engineering Associations: From Models to Code and Back through Semantics.- On the Efficiency of Design Patterns Implemented in C# 3.0.- A Framework for Model Transformation By-Example: Concepts and Tool Support.- Web Applications Design and Development with WebML and WebRatio 5.0.