Security Engineering for Lifelong Evolvable Systems

Static Type Checking of Model Transformation Programs

TitleStatic Type Checking of Model Transformation Programs
Publication TypeJournal Article
Year of Publication2011
AuthorsUjhelyi, Z., A. Horváth, and D. Varró
JournalElectronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium
Volume38
Date Published09/2011
Keywordsmodel transformations, type checking, Viatra
Abstract

Model transformation is seen as a promising approach to automate software development and verification, thus improving quality and reducing production costs significantly. However, errors of transformation programs can propagate into the generated artifacts complicating the detection of errors. The current paper proposes a static type checking approach for early detection of typing errors of partially typed transformation programs. The approach describes type safety as constraint satisfaction problems, and uses a dedicated back-annotation mechanism for error feedback.

Notes

Accepted

URLhttp://journal.ub.tu-berlin.de/eceasst/article/view/567