Static Type Checking of Model Transformation Programs

CímStatic Type Checking of Model Transformation Programs
Közlemény típusaJournal Article
Kiadás éve2011
SzerzőkUjhelyi, Z., Horváth, Á., and Varró, D.
FolyóiratElectronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium
Kiadás dátuma09/2011
Kulcsszavakmodel 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.