Visual modelling and analysis of model transformations based on graph transformation
From MaRDI portal
Publication:3656207
Recommendations
- A model-based development approach for model transformations
- Transformation of typed composite graphs with inheritance and containment structures
- Graph transformation and visual modeling techniques
- Model-Driven Development of Model Transformations
- Termination Analysis of Model Transformations by Petri Nets
Cited in
(12)- scientific article; zbMATH DE number 4008180 (Why is no real title available?)
- A component concept for typed graphs with inheritance and containment structures
- Creating and reconciling diagrams after executing model transformations
- Formal Methods in Software and Systems Modeling
- scientific article; zbMATH DE number 2155179 (Why is no real title available?)
- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
- Constraint validation support in visual model transformation systems
- Towards the flexible reuse of model transformations: a formal approach based on graph transformation
- Proceedings of the workshop on graph transformation and visual modelling techniques (GT-VMT 2004), Barcelona, Spain, March 27--28, 2004
- Measuring characteristics of models and model transformations using ontology and graph rewriting techniques
- Visual Modeling of Distributed Object Systems by Graph Transformation
- Automating the transformation-based analysis of visual languages
This page was built for publication: Visual modelling and analysis of model transformations based on graph transformation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3656207)
