This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences), MoDELS 2006, held in Genova, Italy, in October 2006.The 51 revised full papers and 2 invited papers presented were carefully reviewed and selected from 178 initial submissions. The papers are organized in topical sections on evaluating UML, MDA in software development, concrete syntax, applying UML to interaction and coordination, aspects, model integration, formal semantics of UML, security, model transformation tools and implementation, analyzing dynamic models, specifying transformations, MOF, bridging models, risk, trust and dependability, tool environments, OCL, roundtrip engineering, real time and embedded systems, as well as workshops, tutorials and panels.
Keynote 1 A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines Evaluating UML Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 An Experimental Investigation of UML Modeling Conventions Improving the Definition of UML MDA in Software Development Adopting Model Driven Software Development in Industry A Case Study at Two Companies Use Case Driven Iterative Development: Hurdles and Solutions Model-Driven Development with SDL Process, Tools, and Experiences Concrete Syntax Model-Driven Analysis and Synthesis of Concrete Syntax Correctly Defined Concrete Syntax for Visual Modeling Languages Applying UML to Interaction and Coordination Compositional MDA CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications Aspects Domain Models Are NOT Aspect Free A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects Model Intergration Package Merge in UML 2: Practice vs. Theory? Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis Merging Models with the Epsilon Merging Language (EML) Formal Semantics of UML Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 Semantic Variations Among UML StateMachines Facilitating the Definition of General Constraints in UML …… Security Model Transformation Tolls and Implementation Analyzing Dynamic Models Specifying Transformations MOF Keynote2 Bridging Models Risk, Trust and Dependability Tool Environments OCL Roundtrip Engineering Real Time and Embedded Systems Workshops, Tutorials and Panels Author Index