Static Type Checking of Model Transformation Programs

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

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.