Theory and Practice of Model Transformations
5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Published on 26. May 2012
X, 297 pages
978-3-642-30476-7 (ISBN)
Description
This book constitutes the refereed proceedings of the 5th International Conference, ICMT 2012, held in Prague, Czech Republic, in May 2012, co-located with TOOLS 2012 Federated Conferences. The 18 full papers presented together with one invited paper were carefully revised and selected from numerous submissions. Topics addressed are such as testing, typing and verification; bidirectionality; applications and visualization; transformation languages, virtual machines; pattern matching; and transformations in modelling, reutilization.
More details
Other editions
Additional editions
Zhenjiang Hu | Juan De Lara
Theory and Practice of Model Transformations
5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Book
05/2012
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- Invited Talk
- How Clean Is Your Sandbox?
- Introduction
- An Initial Taxonomy
- Incremental Transformation Languages
- Lenses
- Schema Modification Operators
- Channels
- DB-MAIN
- Both-as-View
- Discussion
- Research Opportunities
- Conclusion
- References
- Testing, Typing and Verification
- Using Models of Partial Knowledge to Test Model Transformations
- Introduction
- Case Study
- Methodology
- Experiments
- Injecting Faults in the Model Transformation
- Building Manual Tests
- Building Partial Models
- Test Sets Comparison
- Related Work
- Conclusion
- References
- Specification-Driven Test Generation for Model Transformations
- Introduction
- State of the Art
- A Framework for Specification-Driven Testing
- A Specification Language for Model Transformations
- Specification-Driven Generation of Input Test Models
- Translation of Properties in the Specification
- Input Model Generation for Different Coverage Criteria
- Linking Input Models and Oracles
- Tool Support
- Discussion and Lines of Future Work
- References
- Typing Model Transformations Using Tracts
- Introduction
- Typing in MDE
- Typing Models
- Typing Model Transformations
- Tracts
- Model Transformation Typing Using Tracts
- Tract Typing by Example
- Working with Tract Types
- Related Work
- Conclusions
- References
- Reusable and Correct Endogenous Model Transformations
- Introduction
- The Simple Language of Communicating Objects
- SLCO Model Transformations
- Reusability of SLCO Model Transformations
- Synchronous to Asynchronous Transformation
- Correctness of Model Transformations
- Operational Semantics of SLCO
- Correctness of the TSs2a Transformation
- Related Work
- Conclusions and Future Work
- References
- Bidirectionality
- Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
- Introduction
- Motivating Example
- The Multifocal Framework
- Implementation
- Application Scenarios
- Related Work
- Conclusion
- References
- Bidirectional Transformation of Model-Driven Spreadsheets
- Introduction
- ClassSheets as Spreadsheet Models
- Spreadsheet Evolution Environment
- The MDSheet Framework
- Specification of Spreadsheets and Models
- Operations on Spreadsheet Instances
- Operations on Models
- Bidirectional Transformation Functions
- Bidirectional Transformation Properties
- Related Work
- Conclusions and Future Work
- References
- Applications and Visualization
- Domain-Specific Optimization in Digital Forensics
- Introduction
- Background
- File Carving
- Software Engineering Challenges
- Model-Driven Digital Forensics
- Example: PNG Image File Format
- Transforming Derric Models
- Evaluation
- Development of Benchmark Disk Image
- Execution of the Benchmark
- Analysis of Results
- Discussion
- Related Work
- Conclusion
- References
- Empirical Assessment of Business Model Transformations Based on Model Simulation
- Introduction
- Related Work
- MXML to KDM Transformation
- Transformation Rules
- Experiment Description
- Research Goal and Questions
- Variables
- Research Hypothesis
- Design and Execution Procedure
- Analysis Procedure
- Results
- Scalability Testing (RQ1)
- Suitability Testing (RQ2)
- Validity Evaluation
- Conclusions
- References
- Traceability Visualization in Model Transformations with TraceVis
- Introduction
- Requirements
- Traceability on the Model Level
- Basic Visualization
- Visualizing Transformation Chains
- From Model Transformations to TraceVis
- Applications
- Related Work
- Conclusions and Future Work
- References
- Transformation Languages, Virtual Machines
- Type-Safe Model Transformation Languages as Internal DSLs in Scala
- Introduction
- Embedding DSLs in Scala
- A Rule-Based Transformation Language in Scala
- Tool Support
- Static Type-Safety without Syntactic Clutter
- Extending the Internal DSL
- Related Work and Discussion
- Conclusions
- References
- Towards a Family of Model Transformation Languages
- Introduction
- Design of the Family
- Design Principles
- Running Example
- Mapping Language
- Target-Oriented Language
- Attribute Computation
- Pattern Matching
- Language Composition
- Interoperability
- Composition
- Related Work
- Assessment and Future Work
- References
- Translational Semantics of a Co-evolution Specific Language with the EMF Transformation Virtual Machine
- Introduction
- EMFTVM
- EMFMigrate
- Implementing EMFMigrate with EMFTVM
- Mapping of EMFMigrate Constructs to EMFTVM Constructs
- Discussion
- Related Work
- Conclusions and Future Work
- References
- Towards Multi-level Aware Model Transformations
- Introduction
- Orthogonal Classification Architecture
- Multi-level Aware Transformations
- Impact of Multi-level Modeling on Transformations
- Multi-level Aware ATL
- Multi-level Aware Transformation Example
- Orthographic Software Modeling
- View Generation by ATL Transformations
- Limitations and Future Work
- Conclusion
- References
- Pattern Matching
- An Algorithm for Generating Model-Sensitive Search Plans for EMF Models
- Introduction
- Metamodel, Model and Pattern Specification
- Metamodels and Models
- Pattern Specification
- Pattern Matching Process at Runtime
- Creating Operations
- Search Plan Generation
- Search Plan Execution by a Pattern Matcher Interpreter
- Dynamic Programming Based Search Plan Generation
- Measurement Results
- Related Work
- Conclusion
- References
- Paisley: Pattern Matching \'{a} la Carte
- Introduction
- Standards of Pattern Matching
- Requirements
- Design
- Related Work
- Conclusion
- References
- Transformations in Modelling, Reutilization
- Constraint-Driven Modeling through Transformation
- Introduction
- Running Example
- Constraint-Driven Modeling
- Application: Uncertainties
- Incremental Constraint Model Management
- Constraint Validation and Solution Space
- Providing Guidance
- Additional Benefits of Constraint-Driven Modeling
- Validation
- Correctness
- Implementation
- Performance Evaluation
- Threats to Validity
- Related Work
- Conclusions and Future Work
- References
- The Impact of Class Model Redesign on State Machines
- Introduction
- Logical Structure of State Machines
- States and Regions
- Structural Relationships versus Invariants
- Logical Relations
- Derivation of Logical Formulas from SM
- Transformation of State Machines
- Interpretation Functions
- Logical Invariants
- Example: Application of the State Pattern
- Related Work
- Concluding Remarks
- References
- Fact or Fiction - Reuse in Rule-Based Model-to-Model Transformation Languages
- Introduction
- Comparison Framework
- Scopes of Reuse
- Comparison Criteria
- Comparison of Reuse Mechanisms
- Reuse of Transformation Logic within a Single Transformation
- Reuse of Transformation Logic in Similar Scenarios
- Reuse of Transformation Logic in Different Scenarios
- Reuse of Transformation Logic Independent of the Scenario
- Reuse of Transformation Logic in the Large
- Barriers to Model Transformation Reuse
- Conclusion
- References
- Author Index
