Communicating sequential processes
Communications of the ACM
Specification of Graph Translators with Triple Graph Grammars
WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Defining and validating transformations of UML models
HCC '03 Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approach
Science of Computer Programming
Physical level implementation of a web data model
Proceedings of the 2011 International Conference on Communication, Computing & Security
| Hi-index | 0.00 |
The correctness of a model transformation is central to the success of a model-driven software development process. A transformation can be said to have executed correctly if it resulted in the desired output model, but this requires a specification of what constitutes a desirably correct output. If we have this specification, and a framework to verify that it holds on a specific execution of the transformation, then that execution instance may be "certified correct". In this paper, we explore a technique to specify such a correctness, using a language framework that can easily be incorporated into a variety of domains. We will also see how these correctness criteria can be verified on instance models.