Model Driven Engineering Languages and Systems

Keynote I.- The Objects and Arrows of Computational Design.- Algebraic Models for Bidirectional Model Synchronization.- An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.- Precise Semantics of EMF Model Transformations by Graph Transformation.- A Formal Metamodel for Problem Frames.- Visualization of Use Cases through Automatically Generated Activity Diagrams.- Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.- WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications.- The Future of Train Signaling.- NAOMI - An Experimental Platform for Multi-modeling.- Keynote II.- Abstraction and Modelling - A Complementary Partnership.- Model Transformation as an Optimization Problem.- Example-Based Program Transformation.- Detecting Patterns of Poor Design Solutions Using Constraint Propagation.- A General Approach for Scenario Integration.- Behavioral Modelling and Composition of Object Slices Using Event Observation.- Scenario-Based Static Analysis of UML Class Models.- Constructing Models with the Human-Usable Textual Notation.- X3D-UML: 3D UML State Machine Diagrams.- Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment.- Keynote III.- 3D Parametric Models for Aeroplanes - From Idea to Design.- MOOGLE: A Model Search Engine.- Managing Model Conflicts in Distributed Development.- Metamodel Matching for Automatic Model Transformation Generation.- Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.- Implementation of the Conformance Relation for Incremental Development of Behavioural Models.- A Model-Based Framework for Statically and Dynamically Checking Component Interactions.- Formal Definition of MOF 2.0 Metamodel Components and Composition.- Interfaces and Metainterfaces for Models and Metamodels.- Model&Metamodel, Metadata and Document Repository for Software and Data Integration.- Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax.- A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.- Contrary-to-Duties Constraints: From UML to Relational Model.- A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.- Integrating Performance Analysis in the Model Driven Development of Software Product Lines.- A Model-Driven Measurement Approach.- Specifying Service Composition Using UML 2.x and Composition Policies.- A Model-Based Framework for Security Policy Specification, Deployment and Testing.- A Pattern Language Verifier for Web-Based Enterprise Applications.- Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty.- Autonomic Management Policy Specification: From UML to DSML.- Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density.- An Empirical Investigation on Dynamic Modeling in Requirements Engineering.- Heterogeneous Coupled Evolution of Software Languages.- Automatability of Coupled Evolution of Metamodels and Models in Practice.- Enriching Reverse Engineering with Annotations.- Towards a Formal Account of a Foundational Subset for Executable UML Models.- A Lightweight Approach for Defining the Formal Semantics of a Modeling Language.- Semantically Configurable Code Generation.- Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams.- Adding Dependability Analysis Capabilities to the MARTE Profile.- Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications.- Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation.- An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability.- Managing Variability Complexity in Aspect-Oriented Modeling.- Mapping the UML2 Semantics of Associations to a Java Code Generation Model.- Meaningful Composite Structures.- A Systematic Approach to Connectors in a Multi-level Modeling Environment.- Model-Based Quality Assurance of Automotive Software.- Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA.- General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool.- Workshops at MODELS 2008.- Educators Symposium at MODELS 2008.- Doctoral Symposium at MODELS 2008.- Tutorials at MODELS 2008.- Panels at MODELS 2008.