de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Ergebnisliste
Titel
Titel
Inhalt
Inhalt
Seite
Seite
Im Werk suchen
Besova, Galina: Systematic development and re-use of model transformations. 2015
Inhalt
Introduction
Problem Statement
Research Objectives and Method
Thesis Structure
Foundations of Model-Driven Software Development (MDSD)
Conceptual Description
Definition of Modeling Languages
Definition of Model Transformations
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
Transformation Types
Transformation Design
Transformation Implementation
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
Transformation Chaining
Transformation Adaptation: Superimposition
Grammar Based Approach to the Development of Model Transformations
Description of Source and Target Languages
String Grammars
Graph Grammars
Conceptual Description of the Approach
Transformation Definition
Transformation Execution
Formalization of the Approach
Formalization of Transformation Definition
Formalization of Transformation Execution
Guaranteed Quality Properties of Transformations
Termination
Soundness and Completeness
Determinism
Tool Support
Related Approaches
Evaluation and Discussion
Weaving Based Approach to the Re-Use of Model Transformations
Conceptual Description of the Approach
Weaving Based Modeling of Models Inter-Relations
Modular Execution of Transformations
Tool Support
Related Approaches
Evaluation and Discussion
Weaving Based Re-Use of Grammar Based Model Transformations
Grammar Based Transformation of Layers Models
Grammar Based Transformation of Configuration Models
Grammar of Configuration Modeling Language
Definition of the Configuration Model Transformation
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
Die detaillierte Suchanfrage erfordert aktiviertes Javascript.