%0 Report
%T A Model Transformation Semantics and Analysis Methodology for SecureUML
%A Brucker, Achim D.
%A Doser, Jürgen
%A Wolff, Burkhart
%D 2006
%N 524
%I ETH Zurich
%G USenglish
%F brucker.ea:transformation:2006-b
%X 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 ØCL formulae are discussed.
%K security, SecureUML, UML, OCL, HOL-OCL, model-transformation
%U http://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006-b
%U http://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006-b.pdf