Model Driven Engineering Languages and Systems

Model Transformation.- Bidirectional Model Transformations in QVT: Semantic Issues and Open Questions.- Reconciling TGGs with QVT.- UniTI: A Unified Transformation Infrastructure.- Modeling Constraints.- Guided Development with Multiple Domain-Specific Languages.- Model-Driven, Network-Context Sensitive Intrusion Detection.- An Empirical Study of the Impact of OCL Smells and Refactorings on the Understandability of OCL Specifications.- Meta-Modeling.- On Metamodeling in Megamodels.- Magritte - A Meta-driven Approach to Empower Developers and End Users.- Matching Model-Snippets.- Consistent Models.- Improving Inconsistency Resolution with Side-Effect Evaluation and Costs.- Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis.- Automated Semantic Analysis of Design Models.- Modeling Support.- Piecewise Modelling with State Subtypes.- Deriving Operation Contracts from UML Class Diagrams.- Finding the Pattern You Need: The Design Pattern Intent Ontology.- User Interface Design.- Model-Driven Approach for Managing Human Interface Design Life Cycle.- Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications.- A Business-Process-Driven Approach for Generating E-Commerce User Interfaces.- Language Definition.- Enhancing UML Extensions with Operational Semantics..- Integrated Definition of Abstract and Concrete Syntax for Textual Languages.- Architectural Aspects in UML.- Modeling Methods.- Domain Specific Modeling Methodology for Reconfigurable Networked Systems.- A Modelling Method for Rigorous and Automated Design of Large-Scale Industrial Systems.- Relating Navigation and Request Routing Models in Web Applications.- Service and Process Modeling.- A UML2 Profile for Service Modeling.- AutomaticGeneration of Workflow-Extended Domain Models.- A Practical Perspective on the Design and Implementation of Service-Oriented Solutions.- Model Analysis.- Constructive Techniques for Meta- and Model-Level Reasoning.- A Metamodel-Based Approach for Analyzing Security-Design Models.- UML2Alloy: A Challenging Model Transformation.- Modeling Process.- i 2 MAP: An Incremental and Iterative Modeling and Analysis Process.- A Model-Driven Measurement Procedure for Sizing Web Applications: Design, Automation and Validation.- Model-Driven Engineering for Software Migration in a Large Industrial Context.- Aspects.- Introducing Variability into Aspect-Oriented Modeling Approaches.- An Expressive Aspect Composition Language for UML State Diagrams.- Enhancing UML State Machines with Aspects.- New Language Features.- Complementary Use Case Scenario Representations Based on Domain Vocabularies.- Modeling Time(s).- A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.- Debugging Support.- Forensic Debugging of Model Transformations.- Runtime Debugging Using Reverse-Engineered UML.- Formally Defining a Graphical Language for Monitoring and Checking Object Interactions.- Statecharts.- Statechart Development Beyond WYSIWYG.- Model-Based Design of Computer-Controlled Game Character Behavior.- Model-Driven Construction of Certified Binaries.- Workshops, Tutorials and Panels.- Workshops and Symposia at MODELS 2007.- Tutorials at MODELS 2007.- Panels at MODELS 2007.