Chivers, Howard Robert orcid.org/0000-0001-7057-9650 and Paige, Richard F. orcid.org/0000-0002-1978-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 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.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | SPECIAL ISSUE: Model-Driven Development for Secure Information Systems. |
Keywords: | Model-Driven Development,Template processing,UML,Security analysis |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 07 Jun 2012 14:17 |
Last Modified: | 08 Feb 2025 00:14 |
Published Version: | https://doi.org/10.1016/j.infsof.2008.05.006 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1016/j.infsof.2008.05.006 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:54730 |
Download
Filename: XRound_A_Reversible_Template_Language_and_its_application_in_Model_Based_Security_Analysis.pdf
Description: XRound: A reversible template language and its application in model-based security analysis