Ebook: Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings

This book constitutes the refereed proceedings of the 7^th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.

The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.

---

This book constitutes the refereed proceedings of the 7^th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.

The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.

---

This book constitutes the refereed proceedings of the 7^th European Conference on Modelling Foundations and Applications, held in Birmingham, UK, in June 2011.

The 19 revised full foundations track papers and 5 revised full applications track papers presented were carefully reviewed and selected from 61 submissions; also included are 5 workshop summaries and abstracts of 4 tutorials. The papers are organized in topical sections on model execution, model analysis, methodology, model management, model transformation, variability analysis and ADLs, and domain-specific modeling.

Content:
Front Matter....Pages -
Building Advanced Mechatronic Systems....Pages 1-2
Contracts for Model Execution Verification....Pages 3-18
A FUML-Based Distributed Execution Machine for Enacting Software Process Models....Pages 19-34
A Generic Tool for Tracing Executions Back to a DSML’s Operational Semantics....Pages 35-51
Incremental Security Verification for Evolving UMLsec models....Pages 52-68
Assessing the Kodkod Model Finder for Resolving Model Inconsistencies....Pages 69-84
Operation Based Model Representation: Experiences on Inconsistency Detection....Pages 85-96
Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML....Pages 97-114
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing....Pages 115-131
Transformation Rules for Translating Business Rules to OCL Constraints....Pages 132-143
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements....Pages 144-159
An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform....Pages 160-171
Incremental Updates for View-Based Textual Modelling....Pages 172-188
Easing Model Transformation Learning with Automatically Aligned Examples....Pages 189-204
Code Generation for UML 2 Activity Diagrams....Pages 205-220
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling....Pages 221-235
Analyzing Variability: Capturing Semantic Ripple Effects....Pages 236-252
Integrating Design and Runtime Variability Support into a System ADL....Pages 253-269
Domain-Specific Model Verification with QVT....Pages 270-281
A SysML Profile for Development and Early Validation of TLM 2.0 Models....Pages 282-298
Taming the Confusion of Languages....Pages 299-311
Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador....Pages 312-328
Improving Naming and Grouping in UML....Pages 329-344
Aspect-Oriented Model Development at Different Levels of Abstraction....Pages 345-360
MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration....Pages 361-376
MELO 2011 - 1st Workshop on Model-Driven Engineering, Logic and Optimization....Pages 377-378
The Third Workshop on Behaviour Modelling - Foundations and Applications....Pages 379-380
Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition....Pages 381-382
Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011)....Pages 383-384
Agile Development with Domain Specific Languages....Pages 385-386
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery....Pages 387-388
Integrated Model Management with Epsilon....Pages 389-390
Creating Domain-Specific Modelling Languages That Work: Hands-On....Pages 391-392
Back Matter....Pages 393-394
....Pages -