By the same authors

From the same journal

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

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

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

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

Bibliographical note

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

    Research areas

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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations