pdfreaders.org

A Model Transformation Semantics and Analysis Methodology for SecureUML

Achim D. Brucker, Jürgen Doser und Burkhart Wolff

Cover for brucker.ea:transformation:2006-b.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.

Schlüsselwörter: security, SecureUML, UML, OCL, HOL-OCL, model-transformation
Kategorien: , ,
Dokumente: (Artikel als PDF Datei)

QR Code for brucker.ea:transformation:2006-b.Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker, Jürgen Doser und Burkhart Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. ETH Zurich, Technical Report 524, 2006.
Schlüsselwörter: security, SecureUML, UML, OCL, HOL-OCL, model-transformation
(Artikel als PDF Datei) (BibTeX) (Endnote) (RIS) (Word) (Share article on LinkedIn. Share article on CiteULike.)

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},
}