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

Howard Chivers, Richard F. Paige
2009 Information and Software Technology  
Article: Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Paige, Richard F. orcid.org/0000-0002-1978Richard F. orcid.org/0000-0002- -9852 (2009 XRound : A reversible template language and its application in model-based security analysis. Information and Software Technology. pp. 876-893. Abstract Successful analysis of the models used in Model-Driven Development requires the ability to synthesise the results of analysis and automatically integrate these results with the models
more » ... This paper presents a reversible template language called XRound which supports round-trip transformations between models and the logic used to encode system properties. A template processor that supports the language is described, and the use of the template language is illustrated by its application in an analysis workbench, designed to support analysis of security properties of UML and MOF-based models. As a result of using reversible templates, it is possible to seamlessly and automatically integrate the results of a security analysis with a model.
doi:10.1016/j.infsof.2008.05.006 fatcat:53n2zvzjbjcxbfafm3jl65uzoe