Modelling Foundations and Applications
8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
Published on 22. June 2012
XIII, 446 pages
978-3-642-31491-9 (ISBN)
Description
This book constitutes the refereed proceedings of the 8th European Conference on Modelling Foundations and Applications, held in Kgs. Lyngby, Denmark, in July 2012.
The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and selected from 81 submissions. Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation. The breadth of topics, as well as the high quality of the results presented in these accepted papers, demonstrate the maturity and vibrancy of the field.
The 20 revised full foundations track papers and 10 revised full applications track papers presented were carefully reviewed and selected from 81 submissions. Papers on all aspects of MDE were received, including topics such as architectural modelling and product lines, code generation, domain-specic modeling, metamodeling, model analysis and verication, model management, model transformation and simulation. The breadth of topics, as well as the high quality of the results presented in these accepted papers, demonstrate the maturity and vibrancy of the field.
More details
Other editions
Additional editions
Antonio Vallecillo | Juha-Pekka Tolvanen | Ekkart Kindler
Modelling Foundations and Applications
8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012, Proceedings
Book
06/2012
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Executable UML: From Multi-domain to Multi-core
- Models Meeting Automotive Design Challenges
- A Commutative Model Composition Operator to Support Software Adaptation
- Introduction
- Motivations and Challenges
- An Action-Based Approach
- Using Actions to Support || and \bullet
- Sequential Composition: \bullet
- Parallel Composition: ||
- Impact on Model Consistency
- Implementation and Validation
- Implementation
- Validation
- Related Works
- Conclusions and Perspectives
- References
- Comparative Study of Model-Based and Multi-Domain System Engineering Approaches for Industrial Settings
- Introduction
- Application Areas and Proposed Development Processes
- Use Case eCar
- Use Case Artis Floorstand
- Implementation Details
- Use Case eCar
- Use Case Artis Floorstand
- Comparison of the Proposed Approaches
- Advantages and Disadvantages of both Approaches
- Challenges in Industrial Practice
- Conclusion and Outlook
- References
- Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations
- Introduction
- Model Validation via SAT Solving: Context
- Transforming Collections and Strings into Relations
- The Basic Idea
- Realization of the Transformation Algorithms
- Discussion
- Related Work
- Conclusion
- References
- Model Interchange Testing: A Process and a Case Study
- Introduction
- Model Interchange Testing Process
- Improving Scalability of the Testing Process
- Case Study: Interchange of UML and SysML Models
- Case Study Setup
- Case Study Execution
- Case Study Results
- Discussion
- Related Works
- Conclusion and Future Work
- References
- An Internal Domain-Specific Language for Constructing OPC UA Queries and Event Filters
- Introduction
- OPC Unified Architecture
- Event Filter Creation
- Query Creation
- Queries and Event Filters Metamodel
- The Query/Event Filter DSL
- Event Filter
- Query
- Content Filter
- FilterOperator.RelatedTo
- Discussion
- Conclusions and Future Work
- References
- Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing
- Introduction
- Related Work
- Message/Event/Action Control Flow Graph (MEACFG)
- From a UML Sequence Diagram to a Control Flow Graph
- Adding State Information
- Coupling-Based Testing of Class Interactions
- Case Study
- Conclusion
- References
- Model Transformations for Migrating Legacy Models: An Industrial Case Study
- Introduction
- VCS Development, Models and Model Transformations
- Source and Target Metamodels
- The GM Metamodel
- The AUTOSAR Metamodel
- GM-to-AUTOSAR Model Transformation
- Selecting Model Transformation Tool and Language
- ATL Pragmatics
- Model Transformation Design and Development
- The Transformation Implementation Using ATL
- Discussion
- Interoperability of MDD Tools
- Optimization in Model Transformations
- Dealing with Semantic Differences between Metamodels
- Conclusions and Future Work
- References
- Derived Features for EMF by Integrating Advanced Model Queries
- Introduction
- Derived Features in EMF
- Definition of Derived Features as Model Queries
- Model Queries by Graph Patterns: An Overview
- Derived Features as Model Queries
- From Incremental Query Evaluation to Notifications for Derived Features
- Incremental Evaluation of Queries
- Integration Architecture
- From Changes of Match Sets to Notifications
- Integration Issues with EMF Tooling
- Integration with Ecore
- Integration with Legacy Java Code for Derived Features
- Related Work
- Conclusion
- References
- A Lightweight Approach for Managing XML Documents with MDE Languages
- Introduction
- Background and Motivation
- Epsilon
- Managing XML Documents in Epsilon
- The Epsilon Model Connectivity Layer
- The Plain XML EMC Driver
- Alternative Design Choices
- Case Study
- Related Work
- Conclusions and Further Work
- References
- Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies
- Introduction
- Background
- Running Example
- RUCM
- AspectSM
- Approach
- Transformation
- Transition to State Machines for Automated Test Generation
- Industrial Case Studies
- Related Work
- Conclusion
- References
- Badger: A Regression Planner to Resolve Design Model Inconsistencies
- Introduction
- Model Inconsistency Resolution
- Automated Planning
- Badger
- Problem and Problem Domain
- The Algorithm
- Generated Plans
- Scalability Study
- Experimental Results
- Threats to Validity
- Related Work
- Conclusion
- References
- Aspect-Oriented Modeling of Mutual Exclusion in UML State Machines
- Introduction
- UML State Machines
- Syntax and Informal Semantics
- Mutual Exclusion in UML State Machines
- Modeling Mutual Exclusion with HiLA
- HiLA in a Nutshell
- Modeling Mutual Exclusion with HiLA
- Weaving
- Tracking Active States
- Weaving a Single Aspect
- Multiple Aspects
- Related Work
- Conclusions and Future Work
- References
- TexMo: A Multi-language Development Environment
- Introduction
- Taxonomy of Multi-language Development Environments
- Language Representation Types
- Relation Model Types
- Relation Types
- TexMo as an MLDE Prototype
- Evaluation
- Universal Language Representation
- User Test
- Threats to Validity
- Related Work
- Conclusion and Future Work
- References
- On-the-Fly Emendation of Multi-level Models
- Introduction
- Multi-level Modeling
- Ontology Consistency Semantics
- Ontology Consistency
- Classification Correctness
- Generalization Correctness
- Suggested Emendation Service Architecture
- Case Study: Emendation of an Online Pet Store
- Adding New Pets and LikesChildren Attribute - Creating a Program Entity
- Changing the Potency of PetType, LikesChildren and Rating - Changing a Program Entity
- Deleting Rating and HairyCat - Deleting a Program Entity
- Moving LikesChildren - Moving a Member Variable
- Future Work
- Conclusions
- References
- Specifying Refinement Relations in Vertical Model Transformations
- Introduction
- Running Example
- Foundations of Triple Graph Grammars
- Triple Graph Grammar Rules
- Application Scenarios
- Defining Refinements
- Model Synchronization with Refinements
- Related Work
- Conclusion and Discussion
- References
- Model-Based Automated and Guided Configuration of Embedded Software Systems
- Introduction
- Configuration of ICSs: Practice and Problem Definition
- Overview of Our Approach
- Product-Line Modeling
- A Subsea Product-Line Model
- Configuration Activities in a Model-Based Context
- Interactive Model-Based Guided Configuration
- Guided and Automated Configuration
- Constraint Satisfaction to Provide Guidance and Automation
- Prototype Tool
- The clpfd Library of SICStus Prolog
- Mapping to clpfd
- Evaluation
- Inference Percentage
- Reduction of Valid Domains
- Constraint Propagation Efficiency
- Discussion
- Related Work
- Conclusion
- References
- Lightweight String Reasoning for OCL
- Introduction
- State of the Art
- Model Finding
- Model Finding as a CSP
- Formal String Reasoning
- Lightweight String Reasoning for OCL
- Considered OCL String Operations
- String Constraints
- Constraint Handling Rules
- First Rewriting Step: The Length Sub-problem
- Second Rewriting Step: Resolve String Constraints to Element Constraints
- Derivation Example
- Limits and Scalability
- Experimental Results
- General Discussion
- Conclusion
- References
- Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering
- Introduction
- Related Work
- Deep Meta-Modelling for Domain-Specific Meta-Modelling
- Customising the Meta-Modelling Facilities
- Designing the Concrete Textual Syntax
- Customising the Meta-Modelling Facilities at the Syntax Level
- Refining the Syntax of Domain-Specific Modelling Languages
- Model Management for DSMM Languages
- Discussion and Future Work
- References
- Metamodel Based Methodology for Dynamic Component Systems
- Introduction
- Networked Reconfigurable Dynamic Component System
- Development Process
- Modeling Assets
- Interaction Model
- Structural Model
- Behavior Model
- Deployment Model
- Validation and Verification Model
- Case Studies
- Evaluation
- Conclusion
- References
- Bidirectional Model Transformation with Precedence Triple Graph Grammars
- Introduction
- Fundamentals and Running Example
- Type Graphs, Typed Graphs and Triples
- Triple Graph Grammars and Rules
- Derived Operational Rules
- Related Work on TGG Control Algorithms
- Rule Dependency and Precedence Analysis for TGGs
- Rule Dependency Analysis
- Precedence Analysis
- Precedence TGG Batch Algorithm
- Related Work on Alternative Bidirectional Languages
- Conclusion and Future Work
- References
- A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications
- Introduction
- EAST-ADL and Timing Extension - Concept and Notations
- Timed Automata and UPPAAL
- UPPAAL
- EAST-ADL and Timed-Automata Relationship
- Mapping Scheme
- Verification
- Usage Considerations and Limitations
- Mapping Summary
- Brake-by-Wire Case Study
- Related Work
- Discussion
- References
- Code Generation Nirvana
- Introduction
- Model Executability
- Chicken or an Egg
- Integration Reincarnations
- Many Reincarnations
- Fewer and Fewer Reincarnations
- User Interface Reincarnations
- Conclusion
- References
- A Plug-in Based Approach for UML Model Simulation
- Introduction
- Context and Background
- The Plug-in Based Approach
- Extensions to the Behavioural Metamodel
- The Simulation Tool Plug-in Mechanism
- The SIML Plug-in
- The Simulation Tool Plug-in API
- Normal Operation, Control, and Exceptions
- Industrial Application and Assessment
- Related Work
- Conclusion
- Conclusion
- MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems
- Introduction
- Background
- Related Work
- Model Checking
- Model Transformation
- Approach/Framework
- Implementation
- Modelling
- Tool Chain
- Transformation
- Industrial Application and Assessment
- Conclusion
- References
- Verification of Time Property Pattern $\vert\mathnormal{T}$($\mathnormal{a}^{t}) - \mathnormal{T}(\mathnormal{b}^{t})\vert & \delta$
- Introduction
- Related Works
- Overview of UML-MARTE Verification Framework
- Case Study
- Transformation from UML-MARTE to TPN
- Principles
- Architecture Model Transformation
- Behaviour Model Transformation
- Translation and Verification of Time Property
- Translation of Coincidence Property
- Verification of Time Property Pattern |T(at) - T(bt)| & d
- Verification Result and Performance Analysis
- Verification Result
- Verification Performance Analysis
- Conclusion and Further Works
- References
- Unification of Compiled and Interpreter-Based Pattern Matching Techniques
- Introduction
- Design Space of Pattern Matchers and Related Work
- Modelling Concepts and Data Structures
- Metamodels and Models
- Pattern Specification
- Pattern Matching and Runtime Data Structures
- Workflow of Compiled Pattern Matching
- Allowed Adornment Calculation
- Operation Loading
- Search Plan Generation
- Code Generation for a Compiled Pattern Matcher
- Workflow of Interpreter-Based Pattern Matching
- Measurement Results
- Conclusion
- References
- OCL-Based Runtime Monitoring of Applications with Protocol State Machines
- Introduction
- Monitoring
- Protocol State Machines in USE
- State Determination
- Case Study
- Related Work
- Conclusion
- References
- On Model Subtyping
- Introduction
- Illustrative Examples
- Background
- Model Driven Engineering
- Model Typing
- Model Subtyping Relations
- Isomorphic Model Subtyping
- Non-isomorphic Model Subtyping
- Total Model Subtyping
- Partial Model Subtyping
- Definition of Subtyping Relations for Model Types
- Putting Subtyping Relations to Work
- Declaration of Subtyping Relations
- Checking of Subtyping Relations
- Discussions
- Isomorphic vs. Non-isomorphic Subtyping Relations
- Total vs. Partial Subtyping Relations
- Declaration of Subtyping Relations
- Checking of Subtyping Relations
- Legacy Tools Reuse
- Conclusion and Perspective
- References
- BOB the Builder: A Fast and Friendly Model-to-PetriNet Transformer
- Introduction
- BOB Transformations at a Glance
- BEAM Behaviour Analysis Model
- BOB - The BEAM Orchestration and Builder Framework
- BOB Library Project and BEAM Packages
- BEAM Module Compiler and Synchroniser
- Classes and Interfaces
- References
- Containment References
- Inheritance
- Module Interfaces and Module Re-use
- Tracing
- Module Unit Tests and Transformation Verification
- Related Work
- Conclusion and Future Work
- References
- Solving Acquisition Problems Using Model-Driven Engineering
- Introduction
- Background and Related Work
- Multi-objective Optimisation Problems
- The Next Release Problem
- The Multi-objective NRP
- MDE and Model Management
- Modelling Approach
- Concept and DSLs
- Calculating Solutions to the Acquisition Problem
- Application to the Next Release Problem
- Stock Control System Example
- Scenario Model
- Component Models
- Scalability Example
- Contributions to the Next Release Problem
- Conclusions and Further Work
- References
- Author Index
