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

TY - JOUR

T1 - XRound

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

AU - Chivers, Howard Robert

AU - Paige, Richard F.

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

PY - 2009/5

Y1 - 2009/5

N2 - 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.

AB - 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.

KW - Model-Driven Development

KW - Template processing

KW - UML

KW - Security analysis

UR - http://www.scopus.com/inward/record.url?scp=60849105663&partnerID=8YFLogxK

U2 - 10.1016/j.infsof.2008.05.006

DO - 10.1016/j.infsof.2008.05.006

M3 - Article

VL - 51

SP - 876

EP - 893

JO - Information and Software Technology

JF - Information and Software Technology

IS - 5

ER -