Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Test input generation with java PathFinder
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Verifying Metamodel Coverage of Model Transformations
ASWEC '06 Proceedings of the Australian Software Engineering Conference
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
ISSRE '06 Proceedings of the 17th International Symposium on Software Reliability Engineering
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Towards Verifying Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Verification of UML/OCL Class Diagrams using Constraint Programming
ICSTW '08 Proceedings of the 2008 IEEE International Conference on Software Testing Verification and Validation Workshop
Incremental integrity checking of UML/OCL conceptual schemas
Journal of Systems and Software
Reasoning on UML class diagrams
Artificial Intelligence
Tool Integration with Triple Graph Grammars - A Survey
Electronic Notes in Theoretical Computer Science (ENTCS)
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Fundamentals of Algebraic Graph Transformation
Fundamentals of Algebraic Graph Transformation
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Practical declarative model transformation with tefkat
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Reasoning on UML class diagrams with OCL constraints
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Bidirectional model transformations in QVT: semantic issues and open questions
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
UML2Alloy: a challenging model transformation
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Tractable model transformation testing
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams
Advances in Software Engineering
On validation of ATL transformation rules by transformation models
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
A model-based development approach for model transformations
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Lightweight string reasoning for OCL
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
Typing model transformations using tracts
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Formal specification and testing of model transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
An Algebraic Semantics for QVT-Relations Check-only Transformations
Fundamenta Informaticae
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
On verifying ATL transformations using 'off-the-shelf' SMT solvers
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Transformation and validation with SWRL and OWL of ODM-based models
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
Constraint-based specification of model transformations
Journal of Systems and Software
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Comparing verification techniques for model transformations
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Verification of ATL transformations using transformation models and model finders
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Towards a model transformation intent catalog
Proceedings of the First Workshop on the Analysis of Model Transformations
Software and Systems Modeling (SoSyM)
A simple game-theoretic approach to checkonly QVT Relations
Software and Systems Modeling (SoSyM)
Applying MDE to the (semi-)automatic development of model transformations
Information and Software Technology
Verification of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing QVT-R bidirectional model transformations using alloy
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Meta-modeling of inclusion dependency constraints
Proceedings of the 6th Balkan Conference in Informatics
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Journal of Visual Languages and Computing
| Hi-index | 0.01 |
In this paper we propose a method to derive OCL invariants from declarative model-to-model transformations in order to enable their verification and analysis. For this purpose we have defined a number of invariant-based verification properties which provide increasing degrees of confidence about transformation correctness, such as whether a rule (or the whole transformation) is satisfiable by some model, executable or total. We also provide some heuristics for generating meaningful scenarios that can be used to semi-automatically validate the transformations. As a proof of concept, the method is instantiated for two prominent model-to-model transformation languages: Triple Graph Grammars and QVT.