Research
[Research] [Academic CV] [Publications] [Research Talks] [Teaching]
Publications
[sorted by type] [sorted by year] [sorted by topic]
pdfreaders.org

A Model Transformation Semantics and Analysis Methodology for SecureUML

Achim D. Brucker and Jürgen Doser and Burkhart Wolff

SecureUML is a security modeling language for formalizing access control requirements in a declarative way. It is equipped with a UML notation in terms of a UML profile, and can be combined with arbitrary design modeling languages. We present a semantics for SecureUML in terms of a model transformation to standard UML/OCL. The transformation scheme is used as part of an implementation of a tool chain ranging from front-end visual modeling tools over code-generators to the interactive theorem proving environment holocl. The methodological consequences for an analysis of the generated OCL formulae are discussed.

Keywords: security, SecureUML, UML, OCL, HOL-OCL, model-transformation
Categories: Information Security, Formal Methods, Software Engineering

QR Code for brucker.ea:transformation:2006-b.Please cite this article as follows:
Achim D. Brucker and Jürgen Doser and Burkhart Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. ETH Zurich, Technical Report 524, 2006.
Keywords: security, SecureUML, UML, OCL, HOL-OCL, model-transformation
(PDF) (BibTeX) (Endnote) (RIS) (Word 2007) (Share article on LinkedIn. Share article on CiteULike. Share article on Connotea. )

BibTeX
@TechReport{ brucker.ea:transformation:2006-b,
abstract = {SecureUML is a security modeling language for formalizing access control requirements in a declarative way. It is equipped with a \UML notation in terms of a \UML profile, and can be combined with arbitrary design modeling languages. We present a semantics for SecureUML in terms of a model transformation to standard UML/OCL. The transformation scheme is used as part of an implementation of a tool chain ranging from front-end visual modeling tools over code-generators to the interactive theorem proving environment \holocl. The methodological consequences for an analysis of the generated \OCL formulae are discussed.},
author = {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff},
institution = {ETH Zurich},
keywords = {security, SecureUML, UML, OCL, HOL-OCL, model-transformation},
language = {USenglish},
num_pages = {18},
number = {524},
pdf = {http://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006-b.pdf},
title = {A Model Transformation Semantics and Analysis Methodology for {SecureUML}},
url = {http://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006-b},
year = {2006},
}