Objects, Components, Models and Patterns

47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009, Proceedings
2009
ISBN: 978-3-642-02570-9
Verlag: Springer

Buch, Englisch, Band 33, 369 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 581 g

Reihe: Lecture Notes in Business Information Processing

For the past 20 years the TOOLS conferences have continuously spread new technologies in the world of object-orientation, component technology and so- ware engineering in general. They constitute a particularly important forum for software researchers and practitioners to present work that relies on producing tools. This year’s TOOLS continued the tradition and presented a strong program thatincluded originalcontributionsin allmajor?elds ofthe object-orientedp- adigm. As in TOOLS 2008, the concept of model occupied a considerable place; but other topics such as re?ection,aspects, modelling languages,debugging,and virtual machines design were also strongly represented. While most conferences had a decrease in the number of submitted papers, TOOLS made the choice of quality and decided to lower its acceptance rate to 25%,asa ?xedmaximumannouncedin the Callfor Papers.Out of67submitted contributions, the reviewing process led to the selection of 17 as full papers. For the ?rst time, two short papers were also accepted for presentation at the conference.

Zielgruppe

Research

Autoren/Hrsg.

Meyer, Bertrand

Oriol, Manuel

Fachgebiete

• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung

Inhaltsverzeichnis

Invited Presentations.- On Realizing a Framework for Self-tuning Mappings.- Programming Models for Concurrency and Real-Time.- Reflection and Aspects.- CIF: A Framework for Managing Integrity in Aspect-Oriented Composition.- A Diagrammatic Formalisation of MOF-Based Modelling Languages.- Designing Design Constraints in the UML Using Join Point Designation Diagrams.- Stream-Based Dynamic Compilation for Object-Oriented Languages.- Models.- Algebraic Semantics of OCL-Constrained Metamodel Specifications.- Specifying and Composing Concerns Expressed in Domain-Specific Modeling Languages.- Early Crosscutting Metrics as Predictors of Software Instability.- Extensibility in Model-Based Business Process Engines.- Theory.- Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach.- A Sound and Complete Program Logic for Eiffel.- Components.- A Coding Framework for Functional Adaptation of Coarse-Grained Components in Extensible EJB Servers.- A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks.- Monitoring.- Reusing and Composing Tests with Traits.- Flow-Centric, Back-in-Time Debugging.- A Classification Framework for Pointcut Languages in Runtime Monitoring.- Systems Generation.- Fast Simulation Techniques for Design Space Exploration.- PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy.- Short Papers.- Using Grammarware Languages to Define Operational Semantics of Modelled Languages.- Automatic Generation of Integrated Formal Models Corresponding to UML System Models.