Static Type Checking of Model Transformation Programs
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.
Full Text:
PDFDOI: http://dx.doi.org/10.14279/tuj.eceasst.38.567
DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.38.567.596
Hosted By Universitätsbibliothek TU Berlin.