Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
VIATRA " Visual Automated Transformations for Formal Verification and Validation of UML Models
Proceedings of the 17th IEEE international conference on Automated software engineering
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
Eclipse Modeling Framework
Verifying Metamodel Coverage of Model Transformations
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Formal proofs for QoS-oriented Transformations
EDOCW '06 Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops
Towards a Systematic Method for Proving Termination of Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Proofs-as-Model-Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
A Heterogeneous Approach to UML Semantics
Concurrency, Graphs and Models
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
15 Years of Triple Graph Grammars
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Lightweight Approach for the Semantic Validation of Model Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
What Is a Multi-modeling Language?
Recent Trends in Algebraic Development Techniques
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
Coloured Petri Nets: Modelling and Validation of Concurrent Systems
The 9th OOPSLA workshop on domain-specific modeling
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Verification and validation of declarative model-to-model transformations through invariants
Journal of Systems and Software
Efficient Detection of Conflicts in Graph-based Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of model transformations: a case study with BPEL
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Isabelle/HOL: a proof assistant for higher-order logic
Isabelle/HOL: a proof assistant for higher-order logic
On the specification and verification of model transformations
Semantics and algebraic specification
Towards Automated, Formal Verification of Model Transformations
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
TASE '10 Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
A technique for automatic validation of model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
DSLTrans: a turing incomplete transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
A type-theoretic framework for certified model transformations
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
Validating Query/View/Transformation Relations
MODEVVA '10 Proceedings of the 2010 Workshop on Model-Driven Engineering, Verification, and Validation
Model-driven development of model transformations
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
A relationship-based approach to model integration
Innovations in Systems and Software Engineering
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
ICST '12 Proceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation
Automated verification of model transformations based on visual contracts
Automated Software Engineering
| Hi-index | 0.00 |
Within the Model-Driven Engineering paradigm, software development is based on the definition of models providing different views of the system to be constructed and model transformations supporting a (semi)automatic development process. The verification of models and model transformations is crucial in order to improve the quality and the reliability of the products developed using this paradigm. In this context, the verification of a model transformation has three main components: the transformation itself, the properties of interest addressed, and the verification techniques used to establish the properties. In this paper we present an exhaustive review of the literature on the verification of model transformations analyzing these three components. We also take a problem-based approach exemplifying those aspects of interest that could be verified on a model transformation and show how this can be done. Finally, we conclude the need of an integrated environment for addressing the heterogeneous verification of model transformations.