Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (Eds.)
Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
This book constitutes the refereed proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2008, held in Toulouse, France, during September 28-October 3, 2008.
The 58 revised full papers presented were carefully reviewed and selected from 271 submissions. The book also contains three keynote speeches and contributions to workshops, symposia, tutorials and panels at the conference. The papers are organized in topical sections on Model Transformation: Foundations; Requirements Modeling; Domain-Specific Modeling; Model Transformation: Techniques, Composition and Analysis of Behavioral Models; Model Comprehension; Model Management; Behavioral Conformance and Refinement; Metamodeling and Modularity; Constraints; Model Analysis; Service-Oriented Architectures; Adaptive and Autonomic Systems; Empirical Studies; Evolution and Reverse Engineering; Modeling Language Semantics; Dependability Analysis and Testing; Aspect-Oriented Modeling; Structural Modeling;and Embedded Systems.
Content Level »Research
Keywords »3D software visualization - Ada - Constraint - deontic constraints - embedded system - formal methods - formal semantics - metamodeling - model - model transformation - model-based software architecture - model-driven software development - modeling - multi-level modeling - object technology
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.