This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions. The papers are organized in topical sections on Model Transformation, Modeling Constraints, Meta-Modeling, Consistent Models, Modeling Support, User Interface Design, Language Definition, Modeling Methods, Service and Process Modeling, Model Analysis, Modeling Process, Aspects, New Language Features, Debugging Support and Statecharts. This book constitutes the refereed proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MODELS 2007, held in Nashville, USA, September 30 - October 5, 2007. The 45 revised full papers were carefully reviewed and selected from 158 initial submissions. The papers are organized in topical sections. Model Transformation Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions 1 Perdita Stevens Reconciling TGGs with QVT 16 Joel Greenyer and Ekkart Kindler UniTI: A Unified Transformation Infrastructure 31 Bert Vanhooff, Dhouha Ayed, Stefan Van Baelen, Wouter Joosen, and Yolande Berbers Modeling Constraints Guided Development with Multiple Domain-Specific Languages 46 Anders Hessellund, Krzysztof Czarnecki, and Andrzej Wasowski Model-Driven, Network-Context Sensitive Intrusion Detection 61 Frederic Massicotte, Mathieu Couture, Lionel Briand, and Yvan Labiche An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications 76 Alexandre Correa, Cl ia Werner, and M io Barros Meta-Modeling On Metamodeling in Megamodels 91 Dragan Ga evic, Nima Kaviani, and Marek, Hatala Magritte - A Meta-driven Approach to Empower Developers and End Users 106 Lukas Renggli, Stephane Ducasse, and Adrian Kuhn Matching Model-Snippets 121 Rodrigo Ramos, Olivier Barais, and Jean-Marc J quel Consistent Models Improving Inconsistency Resolution with Side-Effect Evaluation and Costs 136 Jochen M. K ster and Ksenia Ryndina Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis 151 Praveen Jayaraman, Jon Whittle, Ahmed M. Elkhodary, and Hassan Gomaa Automated Semantic Analysis of Design Models 166 Frank Weil, Brian Mastenbrook, David Nelson, Paul Dietz, and Aswin van den Berg Modeling Support Piecewise Modelling with State Subtypes 181 Friedrich Steimann and Thomas K hne Deriving Operation Contracts from UML Class Diagrams 196 Jordi Cabot and Cristina G mez Finding the Pattern You Need: The Design Pattern Intent Ontology 211 Holger Kampffmeyer and Steffen Zschaler User Interface Design Model-Driven Approach for Managing Human Interface Design Life Cycle 226 Noi Sukaviriya, Vibha Sinha, Thejaswini Ramachandra, and Senthil Mani Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications 241 Andreas Pleuss, Arnd Vitzthum, and Heinrich Hussmann A Business-Process-Driven Approach for Generating E-Commerce User Interfaces 256 Xulin Zhao, Ying Zou Ten Hawkins, and Bhadri Madapusi Language Definition Enhancing UML Extensions with Operational Semantics - Behaviored Profiles with Templates 271 Arnaud Cuccuru, Chokri Mraidha, Fran s Terrier, and S stien G rd Integrated Definition of Abstract and Concrete Syntax for Textual Languages 286 Holger Krahn, Bernhard Rumpe, and Steven V lkel Architectural Aspects in UML 301 Jon Oldevik and stein Haugen Modeling Methods Domain Specific Modeling Methodology for Reconfigurable Networked Systems 316 Gabor Batori, Zoltan Theisz, and Domonkos Asztalos A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems 331 Ken Lepp n, Sari Lepp n, and Markku Turunen Relating Navigation and Request Routing Models in Web Applications 346 Minmin Han and Christine Hofmeister Service and Process Modeling A UML2 Profile for Service Modeling 360 Vina Ermagan and Ingolf H. Kr ger Automatic Generation of Workflow-Extended Domain Models 375 Marco Brambilla, Jordi Cabot, and Sara Comai A Practical Perspective on the Design and Implementation of Service-Oriented Solutions 390 Alan W. Brown, Marc Delbaere, and Simon K. Johnston Model Analysis Constructive Techniques for Meta- and Model-Level Reasoning 405 Ethan K. Jackson and Janos Sztipanovits A Metamodel-Based Approach for Analyzing Security-Design Models 420 David Basin, Manuel Clavel, J rgen Doser, and Marina Egea UML2Alloy: A Challenging Model Transformation 436 Kyriakos Anastasakis, Belizad Bordbar, Geri Georg, and Indrakshi Ray Modeling Process i MAP: An Incremental and Iterative Modeling and Analysis Process 451 Sascha Konrad, Heather J. Goldsby, and Betty H.C. Cheng A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation 467 Silvia Abrah Emilia Mendes, Jaime Gomez, and Emilio Insfran Model-Driven Engineering for Software Migration in a Large Industrial Context 482 Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, and Jean-Marc J guel Aspects Introducing Variability into Aspect-Oriented Modeling Approaches 498 Philippe Lahire, Brice Morin, Gilles Vanwormhoudt, Alban Gaignard, Olivier Barais, and Jean-Marc J guel An Expressive Aspect Composition Language for UML State Diagrams 514 Jon Whittle, Ana Moreira, Jo Aradjo, Praveen Jayaraman, Ahmed Elkhodary, and Rasheed Rabbi Enhancing UML State Machines with Aspects 529 Gefei Zhang, Matthias H lzl, and Alexander Knapp New Language Features Complementary Use Case Scenario Representations Based on Domain Vocabularies 544 Michal Smialek, Jacek Bojarski, Wiktor Nowakowski, Albert Ambroziewicz, and Tomasz Straszak Modeling Time(s) 559 Charles Andr Fr ric Mallet, and Robert de Simone A UML Profile for Developing Airworthiness-Compliant (RICA DO-178B), Safety-Critical Software 574 Gregory Zoughbi, Lionel Briand, and Yvan Labiche Debugging Support Forensic Debugging of Model Transformations 589 Mark Hibberd, Michael Lawley, and Kerry Raymond Runtime Debugging Using Reverse-Engineered UML 605 Orest Pilskalns, Scott Wallace, and Filaret Ilas Formally Defining a Graphical Language for Monitoring and Checking Object Interactions 620 Kai Xu and Donglin Liang Statecharts Statechart Development Beyond WYSIWYG 635 Steffen Prochnow and Reinhard von Hanxleden Model-Based Design of Computer-Controlled Game Character Behavior 650 J rg Kienzle, Alexandre Denault, and Hans Vangheluwe Model-Driven Construction of Certified Binaries 666 Sagar Chaki, James Ivers, Peter Lee, Kurt Wallnau, and Noam Zeilberger Workshops, Tutorials and Panels Workshops and Symposia at MODELS 2007 682 Holger Giese Tutorials at MODELS 2007 691 Jeff Gray Panels at MODELS 2007 695 Jean-Michel Bruel Author Index 697