Lecture Notes in Computer Science 5301Commenced Publication in 1973Founding and Former Series Editors:Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen

Editorial Board

David HutchisonLancaster University, UK

Takeo KanadeCarnegie Mellon University, Pittsburgh, PA, USA

Josef KittlerUniversity of Surrey, Guildford, UK

Jon M. KleinbergCornell University, Ithaca, NY, USA

Alfred KobsaUniversity of California, Irvine, CA, USA

Friedemann MatternETH Zurich, Switzerland

John C. MitchellStanford University, CA, USA

Moni NaorWeizmann Institute of Science, Rehovot, Israel

Oscar NierstraszUniversity of Bern, Switzerland

C. Pandu RanganIndian Institute of Technology, Madras, India

Bernhard SteffenUniversity of Dortmund, Germany

Madhu SudanMassachusetts Institute of Technology, MA, USA

Demetri TerzopoulosUniversity of California, Los Angeles, CA, USA

Doug TygarUniversity of California, Berkeley, CA, USA

Gerhard WeikumMax-Planck Institute of Computer Science, Saarbruecken, Germany

Krzysztof Czarnecki Ileana OberJean-Michel Bruel Axel UhlMarkus Völter (Eds.)

Model DrivenEngineering Languagesand Systems

11th International Conference, MoDELS 2008Toulouse, France, September 28 - October 3, 2008Proceedings

13

Volume Editors

Krzysztof CzarneckiUniversity of WaterlooDepartment of Electrical and Computer Engineering200 University Ave., West Waterloo, ON, N2L 3G1, CanadaE-mail: czarnecki@acm.org

Ileana OberUniversité Paul Sabatier, IRIT - MACAO118, route de Narbonne, 31062 Toulouse, FranceE-mail: ileana.ober@irit.fr

Jean-Michel BruelUniversité de Pau et des Pays de l’AdourDépartement InformatiqueAv. de l’Université, B.P. 1155, 64013 Pau, FranceE-mail: Jean-Michel.Bruel@univ-pau.fr

Axel UhlSAP AG, 69190 Walldorf, GermanyE-mail: axel.uhl@sap.com

Markus VölterIndependent ConsultantGrabenstrasse 4, 73033 Göppingen, GermanyE-mail: voelter@acm.org

Library of Congress Control Number: 2008935624

CR Subject Classification (1998): D.2, D.3, K.6, I.6

LNCS Sublibrary: SL 2 – Programming and Software Engineering

ISSN 0302-9743ISBN-10 3-540-87874-2 Springer Berlin Heidelberg New YorkISBN-13 978-3-540-87874-2 Springer Berlin Heidelberg New York

This work is subject to copyright. All rights are reserved, whether the whole or part of the material isconcerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publicationor parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,in its current version, and permission for use must always be obtained from Springer. Violations are liableto prosecution under the German Copyright Law.

Springer is a part of Springer Science+Business Media

springer.com

© Springer-Verlag Berlin Heidelberg 2008Printed in Germany

Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, IndiaPrinted on acid-free paper SPIN: 12534548 06/3180 5 4 3 2 1 0

Preface

MODELS 2008 was the 11th edition of the series of conferences on Model-DrivenEngineering Languages and Systems. The conference was held in Toulouse,France, during the week of September 28 to October 3, 2008. The local arrange-ments were provided by the Institut de Recherche en Informatique de Toulouse(IRIT).

The conference program included three keynote presentations, technical pa-per presentations, two panels, and several workshops and tutorials. The invitedkeynote speakers were Don Batory (University of Texas, USA), Jeff Kramer(Imperial College London, UK), and Patrick Rauhut (Airbus, Germany).

This volume contains the final versions of the papers accepted for presentationat the conference. The papers cover a wide range of topics from the field includingmodel transformation, model management, domain-specific modeling, modelinglanguage semantics, model analysis, and applications.

We received a record number of 271 full paper submissions from 40 differentcountries. Of these, 43 papers were submitted by authors from more than onecountry. The top three countries submitting papers were France (40), Germany(38), and Canada (24). A total of 58 papers were accepted for inclusion in theproceedings. The acceptance rate was therefore 21%, which is somewhat lowerthan those of the previous MODELS conferences.

At least three Program Committee or Expert Reviewer Panel members re-viewed each paper. Reviewing was thorough, and most authors received detailedcomments on their submissions. Conflicts of interest were taken very seriously.No-one participated in any way in the decision process of any paper where a con-flict of interest was identified. In particular, PC members who submitted papersdid not have access to information concerning the reviews of their papers.

We would like to thank everyone who submitted papers as well as proposalsfor workshops and tutorials. We would also like to thank the large number ofvolunteers who contributed to the success of the conference. Richard van deStadt deserves special thanks for his prompt and gracious service in supportingspecial requests for CyberChairPRO, the conference management system usedto manage papers submissions and the virtual PC meeting. Finally, we wouldlike to thank our sponsors, ACM and IEEE Computer Society, for their supportof the MODELS 2008 conference.

October 2008 Krzysztof CzarneckiIleana Ober

Jean-Michel BruelAxel Uhl

Markus Volter

Organization

Conference Chairs

Ileana Ober (IRIT, France)Jean-Michel Bruel (LIUPPA, France)

Program Chair

Krzysztof Czarnecki (University of Waterloo, Canada)

Experience Track Chairs

Axel Uhl (SAP, Germany)Markus Volter (Independent Consultant, Germany)

Technological Track Chair

Pascal Roques (Valtech Training, France)

Workshop Chair

Michel Chaudron (Technical University Eindhoven and Leiden University,The Netherlands)

Tutorial Chair

Xavier Blanc (University Pierre et Marie Curie, France)

Panel Chair

Sudipto Ghosh (Colorado State University, USA)

Research Project Symposium Chair

Iulian Ober (Toulouse University, France)

Doctoral Symposium Chair

Alexander Pretschner (ETH Zurich, Switzerland)

VIII Organization

Educators’ Symposium Chair

Micha�l Smia�lek (Warsaw University of Technology, Poland)

Publicity Chair

Benoit Baudry (IRISA, France)

Web Chair

Nicolas Belloir (LIUPPA, France)

Organizing Committee

Jean-Paul Bodeveix (France)Pierre Bazex (France)Nicolas Belloir (France)Agusti Canals (France)Maura Cerioli (Italy)Xavier Cregut (France)Patrick Farail (France)

Louis Feraud (France)Geri Georg (USA)Herve Leblanc (France)Michel Lemoine (France)Thierry Millan (France)Mario Paludetto (France)Christian Percebois (France)

Program Committee

Joao Araujo (Portugal)Uwe Aßmann (Germany)Benoit Baudry (France)Xavier Blanc (France)Jean Bezivin (France)Paulo Borba (Brazil)Lionel Briand (Norway)Betty Cheng (USA)Shigeru Chiba (Japan)Krzysztof Czarnecki (Canada)Juergen Dingel (Canada)Gregor Engels (Germany)Alexander Egyed (Austria)Jean-Marie Favre (France)Bernd Fischer (UK)Robert France (USA)Harald Gall (Switzerland)Dragan Gasevic (Canada)Geri Georg (USA)

Holger Giese (Germany)Tudor Girba (Switzerland)Martin Gogolla (Germany)Aniruddha Gokhale (USA)Orla Greevy (Switzerland)Paul Grunbacher (Austria)John Grundy (New Zealand)Øystein Haugen (Norway)Simon Helsen (Germany)Robert Hirschfeld (Germany)Heinrich Hussmann (Germany)Jean-Marc Jezequel (France)Gabor Karsai (USA)Jana Koehler (Switzerland)Rainer Koschke (Germany)Thomas Kuhne (New Zealand)Vinay Kulkarni (India)Jochen Kuster (Switzerland)Ralf Lammel (Germany)

Organization IX

Michele Lanza (Switzerland)Michael Lawley (Australia)Timothy C. Lethbridge (Canada)Ed Merks (Canada)Birger Møller-Pedersen (Norway)Ana Moreira (Portugal)Pierre-Alain Muller (France)Richard Paige (UK)Alexander Pretschner (Switzerland)Gianna Reggio (Italy)Bernhard Rumpe (Germany)Andy Schurr (Germany)Bran Selic (Canada)Perdita Stevens (UK)

Eleni Stroulia (Canada)Gabriele Taentzer (Germany)Juha-Pekka Tolvanen (Finland)Laurence Tratt (UK)Axel Uhl (Germany)Hans Vangheluwe (Canada)Daniel Varro (Hungary)Eelco Visser (The Netherlands)Markus Volter (Germany)Andrzej Wasowski (Denmark)Thomas Weigert (USA)Jon Whittle (UK)

Expert Reviewer Panel

Aditya Agrawal (USA)Jean-Michel Bruel (France)Nancy Day (Canada)Sebastian Fischmeister (Canada)Sebastien Gerard (France)Jeff Gray (USA)

Ileana Ober (France)Kasper Østerbye (Denmark)Awais Rashid (UK)Andreas Rummler (Germany)Peter Sesoft (Denmark)

Steering Committee

Thomas Baar (Switzerland)Jean Bezivin (France)Lionel Briand (Norway)Steve Cook (UK)Gregor Engels (Germany)Andy Evans (UK)Robert France (USA)Geri Georg (USA)Martin Gogolla (Germany)Heinrich Hussmann (Germany)Jean-Marc Jezequel (France)Stuart Kent (UK)

Cris Kobryn (USA)Ana Moreira (Portugal)Pierre-Alain Muller (France)Oscar Nierstrasz (Switzerland)Gianna Reggio (Italy)David Rosenblum (UK)Bernhard Rumpe (Germany)Douglas C. Schmidt (USA)Bran Selic (Canada)Perdita Stevens (UK)Jon Whittle (Chair; USA)

Sponsors

ACM Special Interest Group on Software Engineering(www.sigsoft.org)IEEE Computer Society(www.computer.org)

X Organization

Additional Reviewers

Vasco AmaralCarsten AmelunxenMalte AppeltauerEgidio AstesianoRichard AttererAndrej BachmannOmar Bahy BadreldinFlorence Balagtas-FernandezAndras BaloghJan-Christopher BalsOlivier BaraisBruno BarrocaThiago T. BartolomeiDominikus BaurBasil BeckerNelly BencomoAlexej BeresnevRodrigo BonifacioPhil BrookeErwan BrottierAchim D. BruckerFabian BuettnerSebastian CechMaura CerioliFranck ChauvelDan ChioreanFabian ChristPeter J. ClarkeMichelle CraneArnaud CuccuruAkshay DabholkarDuc-Hanh DangVegard DehlenRomain DelamareDeepak DhunganaZinovy DiskinNikos DrivalosCedric DumoulinHuascar EspinozaJohan FabryFernando Castor FilhoFranck Fleurey

Alexander FoersterFrederic FondementIstvan ForgacsAndrew ForwardLaszlo GonczyChristian GerthGiacomo GhezziThomas GoldschmidtPieter Van GorpEmanuel GrantDanny GroenewegenHans GroennigerIris GroherLindsay GrovesRoy GrønmoThomas GschwindBaris GuldaliUlrich HannemannMichael HauptZef HemelChristoph HerrmannAnders HessellundThomas HettelMark HibberdStephan HildebrandtOtmar HilligesBerthold HoffmannJippe HolwerdaAkos HorvathMichael JacksonMikolas JanotaCedric JeanneretJendrik JohannesFrederic JouaultChristophe JouvrayStefan JurackMarkus KaiserSven KarolLennart C. L. KatsNima KavianiAmogh KavimandanDae-Kyoo Kim

Organization XI

Felix KlarFlorian KleinRenate Klempien-HinrichsPatrick KnabImre KocsisDimitrios KolovosMate KovacsHolger KrahnIngolf KruegerMirco KuhlmannUira KuleszaSabine KuskeElodie LegrosLaszlo LengyelTihamer LevendovszkyHongzhi LiangJens LinckeAlexander De LucaChristoph LuethMass Soldal LundTiago MassoniMatthew J. McGillTom MensKirsten MewesGergely MezeiMilan MilanovicDragan MilicevParastoo MohagheghiBrice MorinPieter MostermanJean-Marie MottuPatrick MukherjeeFreddy MunozGunter MussbacherStefan NeumannJames NobleJon OldevikSebastian OsterCesare PautassoLuis PedroGilles PerrouinClaas PinkernellEduardo PivetaFiona Polack

Ernesto PosseChristopher PowerRick RabiserAnsgar RadermacherOliver RadfelderY. Raghu ReddyDirk ReissMarko RibaricMarcio de Medeiros RibeiroFilippo RiccaSebastian RichlyMatteo RisoldiDavid RoethlisbergerJens RommelLouis RoseNilabja RoySuman RoychoudhuryAhmad SaifanYavuz SancarTim SchattkowskyMarvin Schulze-QuesterAndreas SeibelSagar SenSteven SheCarla SilvaKarsten SohrArnor SolbergChristian SoltenbornJean-Sebastien SottetJim SteelMark SteinMatthew StephanGerson SunyeEugene SyrianiDaniel TothSafouan TahaGergely VarroSander VermolenHendrik VoigtSteven VolkelArild WaalerKsenia WahlerMichael WahlerIngo Weisemoeller

XII Organization

Christian WendeBernhard WestfechtelGerd WierseMichael WuerschJochen Wuttke

Andreas WubbekeVadim ZaytsevOlaf ZimmermannSteffen Zschaler

Table of Contents

Keynote I

The Objects and Arrows of Computational Design . . . . . . . . . . . . . . . . . . . 1Don Batory, Maider Azanza, and Joao Saraiva

Model Transformation: Foundations

Algebraic Models for Bidirectional Model Synchronization . . . . . . . . . . . . . 21Zinovy Diskin

An Invariant-Based Method for the Analysis of DeclarativeModel-to-Model Transformations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

Jordi Cabot, Robert Clariso, Esther Guerra, and Juan de Lara

Precise Semantics of EMF Model Transformations by GraphTransformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53

Enrico Biermann, Claudia Ermel, and Gabriele Taentzer

Requirements Modeling

A Formal Metamodel for Problem Frames . . . . . . . . . . . . . . . . . . . . . . . . . . . 68Denis Hatebur, Maritta Heisel, and Holger Schmidt

Visualization of Use Cases through Automatically Generated ActivityDiagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

Javier J. Gutierrez, Clementine Nebut, Marıa J. Escalona,Manuel Mejıas, and Isabel M. Ramos

Requirements Modeling and Validation Using Bi-layer Use CaseDescriptions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97

Avik Sinha, Matthew Kaplan, Amit Paradkar, and Clay Williams

Domain-Specific Modeling

WebWorkFlow: An Object-Oriented Workflow Modeling Language forWeb Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113

Zef Hemel, Ruben Verhaaf, and Eelco Visser

The Future of Train Signaling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128Andreas Svendsen, Gøran K. Olsen, Jan Endresen, Thomas Moen,Erik Carlson, Kjell-Joar Alme, and Øystein Haugen

XIV Table of Contents

NAOMI – An Experimental Platform for Multi–modeling . . . . . . . . . . . . . 143Trip Denton, Edward Jones, Srini Srinivasan, Ken Owens, andRichard W. Buskens

Keynote II

Abstraction and Modelling—A Complementary Partnership(Abstract) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 158

Jeff Kramer

Model Transformation: Techniques

Model Transformation as an Optimization Problem . . . . . . . . . . . . . . . . . . 159Marouane Kessentini, Houari Sahraoui, and Mounir Boukadoum

Example-Based Program Transformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174Romain Robbes and Michele Lanza

Detecting Patterns of Poor Design Solutions Using ConstraintPropagation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189

Ghizlane El-Boussaidi and Hafedh Mili

Composition and Analysis of Behavioral Models

A General Approach for Scenario Integration . . . . . . . . . . . . . . . . . . . . . . . . 204Hongzhi Liang, Zinovy Diskin, Juergen Dingel, and Ernesto Posse

Behavioral Modelling and Composition of Object Slices Using EventObservation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 219

Iulian Ober, Bernard Coulette, and Younes Lakhrissi

Scenario-Based Static Analysis of UML Class Models . . . . . . . . . . . . . . . . . 234Lijun Yu, Robert B. France, and Indrakshi Ray

Model Comprehension

Constructing Models with the Human-Usable Textual Notation . . . . . . . . 249Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, andFiona A.C. Polack

X3D-UML: 3D UML State Machine Diagrams . . . . . . . . . . . . . . . . . . . . . . . 264Paul McIntosh, Margaret Hamilton, and Ron van Schyndel

Assessing the Influence of Stereotypes on the Comprehension of UMLSequence Diagrams: A Controlled Experiment . . . . . . . . . . . . . . . . . . . . . . . 280

Marcela Genero, Jose A. Cruz-Lemus, Danilo Caivano,Silvia Abrahao, Emilio Insfran, and Jose A. Carsı

Table of Contents XV

Keynote III

3D Parametric Models for Aeroplanes—From Idea to Design(Abstract) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 295

Patrick Rauhut

Model Management

MOOGLE: A Model Search Engine . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 296Daniel Lucredio, Renata P. de M. Fortes, and Jon Whittle

Managing Model Conflicts in Distributed Development . . . . . . . . . . . . . . . 311Antonio Cicchetti, Davide Di Ruscio, and Alfonso Pierantonio

Metamodel Matching for Automatic Model TransformationGeneration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326

Jean-Remy Falleri, Marianne Huchard, Mathieu Lafourcade, andClementine Nebut

Behavioral Conformance and Refinement

Sufficient Criteria for Consistent Behavior Modeling with RefinedActivity Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341

Stefan Jurack, Leen Lambers, Katharina Mehner, andGabriele Taentzer

Implementation of the Conformance Relation for IncrementalDevelopment of Behavioural Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356

Hong-Viet Luong, Thomas Lambolais, and Anne-Lise Courbis

A Model-Based Framework for Statically and Dynamically CheckingComponent Interactions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371

Guillaume Waignier, Prawee Sriplakich,Anne-Francoise Le Meur, and Laurence Duchien

Metamodeling and Modularity

Formal Definition of MOF 2.0 Metamodel Components andComposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 386

Ingo Weisemoller and Andy Schurr

Interfaces and Metainterfaces for Models and Metamodels . . . . . . . . . . . . . 401Anders Hessellund and Andrzej W ↪asowski

Model&Metamodel, Metadata and Document Repository for Softwareand Data Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 416

Nikola Milanovic, Ralf Kutsche, Timo Baum, Mario Cartsburg,Hatice Elmasgunes, Marco Pohl, and Jurgen Widiker

XVI Table of Contents

Constraints

Model Construction with External Constraints: An Interactive Journeyfrom Semantics to Syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431

Mikolas Janota, Victoria Kuzina, and Andrzej W ↪asowski

A Benchmark for OCL Engine Accuracy, Determinateness, andEfficiency . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 446

Martin Gogolla, Mirco Kuhlmann, and Fabian Buttner

Contrary-to-Duties Constraints: From UML to Relational Model . . . . . . . 460Pedro Nogueira Ramos

Model Analysis

A UML/SPT Model Analysis Methodology for Concurrent SystemsBased on Genetic Algorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475

Marwa Shousha, Lionel Briand, and Yvan Labiche

Integrating Performance Analysis in the Model Driven Development ofSoftware Product Lines . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 490

Rasha Tawhid and Dorina Petriu

A Model-Driven Measurement Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . 505Martin Monperrus, Jean-Marc Jezequel, Joel Champeau, andBrigitte Hoeltzener

Service-Oriented Architectures

Specifying Service Composition Using UML 2.x and CompositionPolicies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 520

Judith E.Y. Rossebø and Ragnhild Kobro Runde

A Model-Based Framework for Security Policy Specification,Deployment and Testing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 537

Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry, andYves Le Traon

A Pattern Language Verifier for Web-Based Enterprise Applications . . . . 553Bahman Zamani, Sahar Kayhani, and Greg Butler

Adaptive and Autonomic Systems

Automatically Generating Behavioral Models of Adaptive Systems toAddress Uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 568

Heather J. Goldsby and Betty H.C. Cheng

Table of Contents XVII

Autonomic Management Policy Specification: From UML to DSML . . . . 584Benoıt Combemale, Laurent Broto, Xavier Cregut,Michel Dayde, and Daniel Hagimont

Empirical Studies

Empirical Analysis of the Relation between Level of Detail in UMLModels and Defect Density . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 600

Ariadi Nugroho, Bas Flaton, and Michel R.V. Chaudron

An Empirical Investigation on Dynamic Modeling in RequirementsEngineering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 615

Carmine Gravino, Giuseppe Scanniello, and Genoveffa Tortora

Evolution and Reverse Engineering

Heterogeneous Coupled Evolution of Software Languages . . . . . . . . . . . . . . 630Sander Vermolen and Eelco Visser

Automatability of Coupled Evolution of Metamodels and Models inPractice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 645

Markus Herrmannsdoerfer, Sebastian Benz, and Elmar Juergens

Enriching Reverse Engineering with Annotations . . . . . . . . . . . . . . . . . . . . . 660Andrea Bruhlmann, Tudor Gırba, Orla Greevy, and Oscar Nierstrasz

Modeling Language Semantics

Towards a Formal Account of a Foundational Subset for ExecutableUML Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 675

Michelle L. Crane and Juergen Dingel

A Lightweight Approach for Defining the Formal Semantics of aModeling Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 690

Pierre Kelsen and Qin Ma

Semantically Configurable Code Generation . . . . . . . . . . . . . . . . . . . . . . . . . 705Adam Prout, Joanne M. Atlee, Nancy A. Day, and Pourya Shaker

Dependability Analysis and Testing

Safety Hazard Identification by Misuse Cases: ExperimentalComparison of Text and Diagrams . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 721

Tor Stalhane and Guttorm Sindre

Adding Dependability Analysis Capabilities to the MARTE Profile . . . . . 736Simona Bernardi, Jose Merseguer, and Dorina C. Petriu

XVIII Table of Contents

Visual ScatterUnit: A Visual Model-Driven Testing Framework ofWireless Sensor Networks Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 751

Mohammad Al Saad, Nicolai Kamenzky, and Jochen Schiller

Aspect-Oriented Modeling

Aspect-Oriented Model Weaving Beyond Model Composition andModel Transformation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 766

Pablo Sanchez, Lidia Fuentes, Dominik Stein,Stefan Hanenberg, and Rainer Unland

An Aspect-Oriented and Model-Driven Approach for ManagingDynamic Variability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 782

Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jezequel,Arnor Solberg, Vegard Dehlen, and Gordon Blair

Managing Variability Complexity in Aspect-Oriented Modeling . . . . . . . . 797Brice Morin, Gilles Vanwormhoudt, Philippe Lahire, Alban Gaignard,Olivier Barais, and Jean-Marc Jezequel

Structural Modeling

Mapping the UML2 Semantics of Associations to a Java CodeGeneration Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 813

Dominik Gessenharter

Meaningful Composite Structures: On the Semantics of Ports inUML2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 828

Arnaud Cuccuru, Sebastien Gerard, and Ansgar Radermacher

A Systematic Approach to Connectors in a Multi-level ModelingEnvironment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 843

Matthias Gutheil, Bastian Kennel, and Colin Atkinson

Embedded Systems

Model-Based Quality Assurance of Automotive Software . . . . . . . . . . . . . . 858Jan Jurjens, Daniel Reiß, and David Trachtenherz

Ontology Guided Evolution of Complex Embedded Systems Projects inthe Direction of MDA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 874

Lars Pareto, Miroslaw Staron, and Peter Eriksson

General Mode Controller for Software on Artificial Satellite withModel-Based Validation Tool . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 889

Toshihiro Obata and Teiichiro Inoue

Workshops, Symposia, Tutorials, and Panels

Workshops at MODELS 2008 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 896Michel R.V. Chaudron

Table of Contents XIX

Educators Symposium at MODELS 2008 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 906Micha�l Smia�lek

Doctoral Symposium at MODELS 2008 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 908Alexander Pretschner

Tutorials at MODELS 2008 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 910Xavier Blanc

Panels at MODELS 2008 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 916Sudipto Ghosh

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 919