Ebook: Model Driven Engineering Languages and Systems: 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings
- Tags: Software Engineering, Programming Languages Compilers Interpreters, Simulation and Modeling, Management of Computing and Information Systems
- Series: Lecture Notes in Computer Science 5301
- Year: 2008
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.
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:
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
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
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
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
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
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
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
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty....Pages 568-583
Autonomic Management Policy Specification: From UML to DSML ....Pages 584-599
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
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
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
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
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
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
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 -
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:
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
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
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
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
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
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
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
Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty....Pages 568-583
Autonomic Management Policy Specification: From UML to DSML ....Pages 584-599
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
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
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
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
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
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
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 -
....