Output details

XRound : A reversible template language and its application in model-based security analysis

<08>Reversible model transformations are of interest to the model driven architecture community, but have yet to find widespread application. This paper introduces a unique novel approach which leverages a well-established programming transformation paradigm (template programming) and has been demonstrated in practice for security analysis of architecture modules. As one published survey records: "template-based transformation languages have been widely used for unidirectional transformations ... the novelty in XRound is to use a similar technique bidirectionally by using unification between the variables ... " (A Landscape of Bidirectional Model Transformations, Perdita Stevens)