Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings

Front Matter....Pages -
The Objects and Arrows of Computational Design....Pages 1-20
Algebraic Models for Bidirectional Model Synchronization....Pages 21-36
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations....Pages 37-52
Precise Semantics of EMF Model Transformations by Graph Transformation....Pages 53-67
A Formal Metamodel for Problem Frames....Pages 68-82
Visualization of Use Cases through Automatically Generated Activity Diagrams....Pages 83-96
Requirements Modeling and Validation Using Bi-layer Use Case Descriptions....Pages 97-112
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications....Pages 113-127
The Future of Train Signaling....Pages 128-142
NAOMI – An Experimental Platform for Multi–modeling....Pages 143-157
Abstraction and Modelling — A Complementary Partnership....Pages 158-158
Model Transformation as an Optimization Problem....Pages 159-173
Example-Based Program Transformation....Pages 174-188
Detecting Patterns of Poor Design Solutions Using Constraint Propagation....Pages 189-203
A General Approach for Scenario Integration....Pages 204-218
Behavioral Modelling and Composition of Object Slices Using Event Observation....Pages 219-233
Scenario-Based Static Analysis of UML Class Models....Pages 234-248
Constructing Models with the Human-Usable Textual Notation....Pages 249-263
X3D-UML: 3D UML State Machine Diagrams....Pages 264-279
Assessing the Influence of Stereotypes on the Comprehension of UML Sequence Diagrams: A Controlled Experiment....Pages 280-294
3D Parametric Models for Aeroplanes — From Idea to Design....Pages 295-295
Specifying Service Composition Using UML 2.x and Composition Policies....Pages 520-536
A Model-Based Framework for Security Policy Specification, Deployment and Testing....Pages 537-552
A Pattern Language Verifier for Web-Based Enterprise Applications....Pages 553-567
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams....Pages 341-355
Implementation of the Conformance Relation for Incremental Development of Behavioural Models....Pages 356-370
A Model-Based Framework for Statically and Dynamically Checking Component Interactions....Pages 371-385
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms....Pages 475-489
Integrating Performance Analysis in the Model Driven Development of Software Product Lines....Pages 490-504
A Model-Driven Measurement Approach....Pages 505-519
Formal Definition of MOF 2.0 Metamodel Components and Composition....Pages 386-400
Interfaces and Metainterfaces for Models and Metamodels....Pages 401-415
Model&Metamodel, Metadata and Document Repository for Software and Data Integration....Pages 416-430
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty....Pages 568-583
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax....Pages 431-445
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency....Pages 446-459
Contrary-to-Duties Constraints: From UML to Relational Model....Pages 460-474
MOOGLE: A Model Search Engine....Pages 296-310
Managing Model Conflicts in Distributed Development....Pages 311-325
Metamodel Matching for Automatic Model Transformation Generation....Pages 326-340
Mapping the UML2 Semantics of Associations to a Java Code Generation Model....Pages 813-827
Meaningful Composite Structures....Pages 828-842
A Systematic Approach to Connectors in a Multi-level Modeling Environment....Pages 843-857
Heterogeneous Coupled Evolution of Software Languages....Pages 630-644
Automatability of Coupled Evolution of Metamodels and Models in Practice....Pages 645-659
Enriching Reverse Engineering with Annotations....Pages 660-674
Autonomic Management Policy Specification: From UML to DSML....Pages 584-599
Towards a Formal Account of a Foundational Subset for Executable UML Models....Pages 675-689
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language....Pages 690-704
Semantically Configurable Code Generation....Pages 705-720
Safety Hazard Identification by Misuse Cases: Experimental Comparison of Text and Diagrams....Pages 721-735
Adding Dependability Analysis Capabilities to the MARTE Profile....Pages 736-750
Visual ScatterUnit: A Visual Model-Driven Testing Framework of Wireless Sensor Networks Applications....Pages 751-765
Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density....Pages 600-614
An Empirical Investigation on Dynamic Modeling in Requirements Engineering....Pages 615-629
Model-Based Quality Assurance of Automotive Software....Pages 858-873
Ontology Guided Evolution of Complex Embedded Systems Projects in the Direction of MDA....Pages 874-888
Aspect-Oriented Model Weaving Beyond Model Composition and Model Transformation....Pages 766-781
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability....Pages 782-796
Managing Variability Complexity in Aspect-Oriented Modeling....Pages 797-812
General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool....Pages 889-895
Workshops at MODELS 2008....Pages 896-905
Educators Symposium at MODELS 2008....Pages 906-907
Doctoral Symposium at MODELS 2008....Pages 908-909
Tutorials at MODELS 2008....Pages 910-915
Panels at MODELS 2008....Pages 916-917
Back Matter....Pages -