Technical report detail

Defining Model Transformations for Property Templates

by Jochen Wuttke

We defined the notion of property templates after we observed that many system failures can be clustered according to their symptoms, and the design constraints these failures violate. In this technical report we document the semantics of property templates, and how we implemented these semantics in AspectJ code templates that support assertion generation for Java programs.

Technical report 2009/05, August 2009

BibTex entry

@techreport{09defining, author = {Jochen Wuttke}, title = {Defining Model Transformations for Property Templates}, institution = {University of Lugano}, number = {2009/05}, year = 2009, month = aug }