Visual modelling and analysis of model transformations based on graph transformation
From MaRDI portal
Publication:3656207
zbMATH Open1188.68111MaRDI QIDQ3656207FDOQ3656207
Authors: Claudia Ermel 
Publication date: 13 January 2010
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
Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Cited In (12)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Visual Modeling of Distributed Object Systems by Graph Transformation
- Measuring characteristics of models and model transformations using ontology and graph rewriting techniques
- Proceedings of the workshop on graph transformation and visual modelling techniques (GT-VMT 2004), Barcelona, Spain, March 27--28, 2004
- 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)
