Objects, Components, Models and Patterns: 47th International Conference, Tools Europe 2009, Zurich, Switzerland, June 29-july 3, 2009, Proceedings - Lecture Notes in Business Information Processing

Jacket Description/Back: This book constitutes the thoroughly refereed proceedings of the 47th International Conference on Objects, Components, Models and Patterns, TOOLS EUROPE 2009, held in Zurich, Switzerland, in June/July 2009. TOOLS has 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 has 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 17 regular papers and two short papers presented in this book, together with two invited papers, were carefully reviewed and selected from 67 submissions. The topics covered in this volume are reflection and aspects, models, theory, components, monitoring, and systems generation. Table of Contents: Invited Presentations -- On Realizing a Framework for Self-tuning Mappings / Manuel Wimmer, Martina Seidl, Petra Brosch, Horst Kargl, Gerti Kappel -- Programming Models for Concurrency and Real-Time (Abstract) / Jan Vitek -- Reflection and Aspects -- CIF: A Framework for Managing Integrity in Aspect-Oriented Composition / Andrew Camilleri, Geoffrey Coulson, Lynne Blair -- A Diagrammatic Formalisation of MOF-Based Modelling Languages / Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter -- Designing Design Constraints in the UML Using Join Point Designation Diagrams / Vanessa Stricker, Stefan Hanenberg, Dominik Stein -- Stream-Based Dynamic Compilation for Object-Oriented Languages / Michael Bebenita, Mason Chang, Andreas Gal, Michael Franz -- Models -- Algebraic Semantics of OCL-Constrained Metamodel Specifications / Artur Boronat, JosE Meseguer -- Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages / Aram Hovsepyan, Stefan Van Baelen, Yolande Berbers, Wouter Joosen -- Early Crosscutting Metrics as Predictors of Software Instability / JosE M. Conejero, Eduardo Figueiredo, Alessandro Garcia, Juan HernAndez, Elena Jurado -- Extensibility in Model-Based Business Process Engines / Mario SAnchez, Camilo JimEnez, Jorge Villalobos, Dirk Deridder -- Theory -- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach / Christian K&aumlet;stner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don Batory -- A Sound and Complete Program Logic for Eiffel / Martin Nordio, Cristiano Calcagno, Peter M&uumlet;ller, Bertrand Meyer -- Components -- A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers / Olivier Caron, Bernard CarrE, Alexis Muller, Gilles Vanwormhoudt -- A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks / Elisa Gonzalez Boix, Tom Van Cutsem, Jorge Vallejos, Wolfgang De Meuter, Theo D'Hondt -- Monitoring -- Reusing and Composing Tests with Traits / StEphane Ducasse, Damien Pollet, Alexandre Bergel, Damien Cassou -- Flow-Centric, Back-in-Time Debugging / Adrian Lienhard, Julien Fierz, Oscar Nierstrasz -- A Classification Framework for Pointcut Languages in Runtime Monitoring / Karl Klose, Klaus Ostermann -- Systems Generation -- Fast Simulation Techniques for Design Space Exploration / Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet -- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy / Camillo Bruni, Toon Verwaest -- Short Papers -- Using Grammarware Languages to Define Operational Semantics of Modelled Languages / Daniel A. Sadilek, Guido Wachsmuth -- Automatic Generation of Integrated Formal Models Corresponding to UML System Models / Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos -- Author Index.

Contributor Bio:  Meyer, Bertrand BERTRAND MEYER is one of the pioneers of modern software engineering, whose experience spans both industry and academia. He has led the development of successful O-O products and libraries totaling thousands of classes. His Prentice Hall books include "Object Success" (an introduction to object technology for managers), "Introduction to the Theory of Programming Languages, Eiffel: The Language, Object-Oriented Applications," and "Reusable Software," He is a frequent keynote speaker at international conferences and consultant for Fortune 500 companies, editor of the Object-Oriented Series, associate member of the applications section of the French Academy of Sciences, chairman of the TOOLS conference series, and editor of the Object Technology department of IEEE Computer.