Besova, Galina: Systematic development and re-use of model transformations. 2015
Content
- Introduction
- Foundations of Model-Driven Software Development (MDSD)
- Introduction to Case Study: Transformation of Multi-Layer Systems
- Example System: Trip Planning Software (ADR)
- Example Platform: Communicating Sequential Processes (CSP)
- Example Transformation: ADR-to-CSP
- Systematic Development of Model Transformations
- Development of Transformations
- Quality Assurance of Model Transformations
- Four Functional Properties of Transformations
- Quality-By-Construction: Transformation Development
- Quality-By-Checking: Transformation Analysis
- Re-Use of Model Transformations
- Grammar Based Approach to the Development of Model Transformations
- Description of Source and Target Languages
- Conceptual Description of the Approach
- Formalization of the Approach
- Guaranteed Quality Properties of Transformations
- Tool Support
- Related Approaches
- Evaluation and Discussion
- Weaving Based Approach to the Re-Use of Model Transformations
- Weaving Based Re-Use of Grammar Based Model Transformations
- Grammar Based Transformation of Layers Models
- Grammar Based Transformation of Configuration Models
- Discussion
- Conclusion
- Thesis Contribution
- Analysis of Grammar Based Development Approach
- Analysis of Weaving Based Re-Use Approach
- Future Research Directions
- Bibliography
- List of Figures
- List of Tables