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

Description

Cover Lecture Notes in Computer Science 6698 Modelling Foundations and Applications ISBN 9783642214691 Preface Conference 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 Contracts 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 the Problem Transition Systems and Execution Matching The Back-Tracing Problem Back-Tracing Algorithm Related work Conclusion and Future Work 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 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 PraxisRules: The Consistency Rules DSL for 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 References 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 0=X1PackageMerge Problems The Proposal A More Flexible Grouping Schema A More Powerful Naming Schema Name Resolution Putting It All Together Back to the Future 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 References 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 Workshop Organizers 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 References Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery Introduction EMF-IncQuery Tutorial Reference 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