Correcting Clafer Models with Automated Analysis

TitleCorrecting Clafer Models with Automated Analysis
Publication TypeReport
Year of Publication2012
AuthorsLiang, J.
Series TitleGenerative Software Development Laboratory
Date Published04/2012
InstitutionUniversity of Waterloo
Report NumberGSDLab-TR 2012-04-30

ClaferIG is primarily a command line tool for generating instances for the Clafer modeling language. The tool is an important part of the Clafer family. This paper outlines a few big issues with writing Clafer models and how ClaferIG tackles them. The main focus of the paper is debugging models with small portions devoted to related topics. The fi nal sections are dedicated to limitations and possible directions to extend the power of the tool.

Refereed DesignationNon-Refereed
2012-liang-correcting-clafer-models-with-automated-analysis.pdf305.8 KB