Theory and Practice of Model Transformations

Name: Theory and Practice of Model Transformations | 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings

Zhenjiang Hu Juan De Lara(Herausgeber*in)

Springer (Verlag)

Erschienen am 26. Mai 2012

X, 297 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-30476-7 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken