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

Research output: Contribution to journalArticlepeer-review


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 themselves. 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. (C) 2008 Elsevier B.V. All rights reserved.

Original languageEnglish
Pages (from-to)876-893
Number of pages18
JournalInformation and Software Technology
Issue number5
Publication statusPublished - May 2009

Bibliographical note

SPECIAL ISSUE: Model-Driven Development for Secure Information Systems.


  • Model-Driven Development
  • Template processing
  • UML
  • Security analysis

Cite this