Objects, Components, Models and Patterns 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30-July 4, 2008, Proceedings

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.

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.