
Theory and Practice of Model Transformations
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

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
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.