Systematic Validation of Model Transformations

  title={Systematic Validation of Model Transformations},
  author={Jochen Malte K{\"u}ster},
Like any piece of software, model transformations must be validated to ensure their usefulness for the intended application. Properties to be validated include syntactic correctness as well as general requirements such as termination and confluence (i.e., the existence of a unique result of the transformation for every valid input). This paper introduces the idea of systematic validation and then focusses on validation of syntactic correctness for rule-based model transformations. 
Highly Cited
This paper has 41 citations. REVIEW CITATIONS


Publications referenced by this paper.
Showing 1-10 of 16 references

BOTL - The Bidirectional Objekt Oriented Transformation Language

  • P. Braun, F. Marschall
  • Technical report, Fakultät fr Informatik…
  • 2003
1 Excerpt

Towards Automatic Translation of UML Models into Semantic Domains

  • R. Heckel, J. M. Küster, G. Taentzer
  • Proceedings of the Appligraph Workshop on Applied…
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…