Model Driven Engineering Languages and Systems

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.