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

by France, Robert B.; Kuester, Jochen M.; Bordbar, Behzad; Paige, Richard F.

• ISBN13: 9783642214691
• ISBN10: 364221469X
• Format: Paperback
• Copyright: 2011-07-25
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 7th 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.

Table of Contents

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