Modelling -- Foundation and Applications
7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings
Published on 11. June 2011
XIV, 396 pages
978-3-642-21470-7 (ISBN)
Description
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.
More details
Other editions
Additional editions
Robert B. France | Jochen M. Kuester | Behzad Bordbar
Modelling -- Foundation and Applications
7th European Conference, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Proceedings
Book
05/2011
Springer
€53.49
Shipment within 5-7 days
Content
- 6698
- Preface
- Organization
- Table of Contents
- Keynote
- Building Advanced Mechatronic Systems
- Model Execution
- Contracts for Model Execution Verification
- Introduction
- Verifying Model Execution through Contracts
- Contracts and Model Transformation Con
- Model Execution as Model Transformations
- An Approach for Verifying Model Execution
- Execution of UML State Machines
- Extension of the UML Meta-model
- MOCAS: A UML State Machine Execution Engine
- Execution Contracts on UML State Machines
- Automatic Meta-model Modification
- Specification of the run to Completion Operation
- Related Works
- Conclusion
- References
- A FUML-Based Distributed Execution Machine for Enacting Software Process Models
- Introduction
- FUML Architecture
- Distributed Execution Machine Architecture
- Shared Access to the Execution Model
- Synchronized Access to the Execution Model
- Human Interaction
- Instantiation
- Evaluation
- Exemplary SDP
- Test Setup
- Related Work
- Conclusion and Future Work
- References
- A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics
- Introduction
- Running Example
- The xSPEM Language and Its Operational Semantics
- Prioritized Time Petri Nets
- A Transformation from xSPEM to PrTPN
- An Illustration of Our Back-Tracing Algorithm
- A Generic Tool for Tracing Executions in Kermeta
- Generic Implementation Using Executable Metamodeling
- Tool Specialization for a Given Example Using Aspect-Oriented(Meta) Modeling
- Formalizing theProblem
- Transition Systems and Execution Matching
- The Back-Tracing Problem
- Back-Tracing Algorithm
- Relatedwork
- Conclusion and FutureWork
- References
- Model Analysis
- Incremental Security Verification for Evolving UMLsec models
- Introduction
- UMLseCh: Supporting Evolution of UMLsec Models
- Description of the Notation
- Complex Substitutive Elements
- Verification Strategy
- Application to &&secure dependency&&
- Tool Support
- Related Work
- Conclusion
- References
- Assessing the Kodkod Model Finder for Resolving Model Inconsistencies
- Introduction
- Related Work
- Background
- Inconsistency Resolution Using Kodkod
- Specification of Models
- Inconsistency Resolution
- Case Study
- Cases
- Timing Results
- Threats to Validity
- Discussion and Future Work
- Conclusion
- References
- Operation Based Model Representation: Experiences on Inconsistency Detection
- Introduction
- Praxis: An Operation Based Model Representation Strategy
- Praxis
- Case Study
- Industrial Context
- Objectives and Planning
- Environment
- Results and Evaluation
- Conclusion
- References
- Methodology
- Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML
- Introduction
- The Analysis Process
- Structural Analysis
- Problem Decomposition
- Sub-problem Analysis
- Sub Problem Composition
- The Design Process
- Blackboard Generation
- Knowledge Source Generation
- Composing the Architecture of the System
- Related Work
- Conclusions
- Automated Transition from Use Cases to UML State Machines to Support State-Based Testing
- Introduction
- Related Work
- Background
- Running Example
- RUCM
- UCMeta
- Approach
- Transformation Rules
- Transition to State Machine Diagrams for Automated Test Generation
- Tool Support
- Evaluation, Discussion, and Future Work
- Conclusion
- References
- Transformation Rules for Translating Business Rules to OCL Constraints
- Introduction
- SBVR Constraints
- OCL Constraints
- SBVR to OCL Transformation
- Mapping SBVR Rules to UML Model
- Mapping SBVR Rules into OCL Constraints
- Tool Support
- Experiments and Results
- Related Work
- Conclusion
- References
- Model Management (1)
- Preventing Information Loss in Incremental Model Synchronization by Reusing Elements
- Introduction
- Development of Mechatronic Systems
- Triple Graph Grammars
- Triple Graph Grammar Rules
- Application Scenarios
- Incremental Model Synchronization
- Improved Synchronization
- Improved Synchronization Example
- Improved Synchronization Algorithm
- Selection of Elements to be Reused
- Partial Reusable Pattern Matching Algorithm
- Runtime Evaluation
- Related Work
- Conclusion and Future Work
- References
- An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform
- Introduction
- Motivation: Industrial Challenge
- Overall Approach
- Configuration as a CSP
- Decision Tree
- Visualization
- Implementation and Preliminary Results
- Related Work
- Conclusions
- References
- Incremental Updates for View-Based Textual Modelling
- Introduction
- Related Work
- Background on FURCAS
- Running Example
- Synchronisation from Textual View to Model
- Classification of Changes to the Textual Representation of a Model
- Incremental Update Approach
- Validation
- Conclusions and Future Work
- References
- Transformations
- Easing Model Transformation Learning with Automatically Aligned Examples
- Introduction
- Problem Statement
- The Model Matching Approach
- Anchor Discovery
- Anchor Propagation
- Case Study
- Tool Implementation
- Testing Protocol and Metrics
- Data
- Results
- Related Work
- Conclusion
- References
- Code Generation for UML 2 Activity Diagrams
- Introduction
- Modeling with UML
- Structural Modeling
- Activities
- Actions
- Interplay of Structures, Actions and Behaviors
- Code Generation for UML Models
- Implementing Structural Models
- Code Generation for Actions
- Basic Token Flow Concept
- Guards
- Token Flow at Control Nodes
- Code Generation Based on Token Flow Semantics
- Token Flow at Control Nodes in Detail
- Implementing InterruptibleActivityRegions
- Preparing Models by Model Transformations
- Evaluation
- Discussion and Related Work
- Conclusion and Future Work
- References
- Tractable Model Transformation Testing
- Introduction
- Context
- Models and Metamodels
- Model Transformations
- Tracts for Model Transformations
- Model Transformation Contracts
- Generating Test Input Models
- Proof of Concept
- Analysis
- Related Work
- Conclusions
- References
- Variability Analysis and ADLs
- Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling
- Introduction
- Background
- SysML
- AADL
- Profile Description
- Mapping Component Types and Component Implementations
- Extension and Generalization
- Modes
- Mapping for Bindings
- Support for AADL Analysis
- Application and Evaluation of the Profile
- The Avionics Case Study
- The FMC Case Study
- Related Work
- Conclusion and Future Work
- References
- Analyzing Variability: Capturing Semantic Ripple Effects
- Introduction
- Background
- Common Variability Language
- Train Control Language
- Need for Analysis of CVL Models
- Alloy
- Combining CVL and TCL in Alloy
- Formalizing TCL
- Formalizing CVL and Relation to Base Language
- Optimizing the Instance Models
- Analyzing Semantic Ripple Effects
- Related Work
- Conclusion and Future Work
- References
- Integrating Design and Runtime Variability Support into a System ADL
- Introduction
- Background
- IDEA Metamodel Overview
- Variability Challenges in IDEA Models
- Variability during the Model Lifecycle
- Use Case Presentation
- Approach and Implementation
- The Abstract Entity concept
- Design Configurations
- Runtime Configurations
- Related Works
- Conclusion
- References
- Domain-Specific Modelling
- Domain-Specific Model Verification with QVT
- Introduction
- Related Work
- Problem Detection with pQVT
- Example Problem
- Specification Template
- Problem Specification
- Role Specification
- Problem Occurrence Specification
- Variant Specification
- Catalog of Metamodeling Problems
- Well-Formedness Problems
- Semantic Problems
- Convention Problems
- Case Study
- pQVT Expressiveness
- pQVT Effectiveness
- pQVT Performance
- Limitations and Future Work
- Conclusion
- References
- A SysML Profile for Development and Early Validation of TLM 2.0 Models
- Introduction
- TLM 2.0 and Rules for Interoperability
- A SysML Profile for TLM 2.0
- TLM Model Validation
- Expressing TLM Rules in OCL
- Implementation and Case Study
- A Digital Photo Frame : Case Study
- TLM Static Rules Validation
- Code Generation
- Conclusions and Future Work
- References
- Taming the Confusion of Languages
- Introduction
- Background and Rationale
- GenDeMoG
- Experiment
- Discussion and Future Work
- Related Work
- Conclusion
- References
- Model Management (2)
- Table-Driven Detection and Resolution of Operation-Based Merge Conflicts with Mirador
- Introduction
- Background
- Approaches to Merging
- The Merge as a Transformation
- Merge Workflow in Mirador
- Conflicts and the Change Plane
- Conflict Matrix and Change Partitioning
- Visualizing Relations with the Conflict Matrix
- Breaking Cycles with Conflict Partitioning
- Mirador Decision Tables
- Table Specification
- Conflict Detection and the before Predicate
- Conflict Resolution
- Customizing Rules, Conditions, and Actions
- Related Work
- Conclusion and Future Work
- References
- Improving Naming and Grouping in UML
- Introduction
- The UML Package and Its Related Operations
- Current Limitations of the UML Package
- Ownership of Packaged Elements
- Naming Schema
- Name Resolution
- PackageMerge Problems
- The Proposal
- A More Flexible Grouping Schema
- A More Powerful Naming Schema
- Name Resolution
- Putting It All Together
- BacktotheFuture
- Redefining Package Import
- Merging Groups
- Related Work
- Conclusions
- References
- Aspect-Oriented Model Development at Different Levels of Abstraction
- Introduction
- AOM at Different Levels of Abstraction
- Authentication Concern
- Feature Abstractions
- Use Cases
- Classes and Sequence Diagrams
- Classes and State Machines
- Services
- Mixins
- Contracts
- Discussion and Conclusion
- Workshop Summaries
- MBSDI 2011 3rd International Workshop on Model-Based Software and Data Integration
- Goals
- Description of the Workshop
- Topics
- MELO 2011 - 1stWorkshop on Model-Driven Engineering, Logic and Optimization
- Model-Driven Engineering, Logic and Optimization: Friends or Foes?
- Relevant Topics
- Organization
- The Third Workshop on Behaviour Modelling - Foundations and Applications
- Process-Centred Approaches for Model-Driven Engineering (PMDE) - First Edition
- Introduction
- Submissions and Selection Process
- Program committee
- WorkshopOrganizers
- Third International Workshop on Model-Driven Product Line Engineering (MDPLE 2011)
- Introduction
- Submissions and Selection Process
- Program Committee
- Workshop Organizers
- Tutorial Summaries
- Agile Development with Domain Specific Languages
- Introduction
- Usage of DSLs in Software Development Processes
- Development of Domain Specific Languages
- Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery
- Introduction
- EMF-IncQuery
- Tutorial
- Integrated Model Management with Epsilon
- Goals and Structure
- Objectives
- Creating Domain-Specific Modelling Languages That Work: Hands-On
- Tutorial Description
- Tutorial Requirements
- Required Equipment
- Pre-requisites
- Tutorial Goals
- References
- Author Index
