TY  - CHAP
AU  - Brucker, Achim D.
AU  - Doser, Jürgen
AU  - Wolff, Burkhart
ED  - Nierstrasz, Oscar
ED  - Whittle, Jon
ED  - Harel, David
ED  - Reggio, Gianna
PY  - 2006//
TI  - A Model Transformation Semantics and Analysis Methodology for SecureUML
BT  - MoDELS 2006: Model Driven Engineering Languages and Systems
T3  - Lecture Notes in Computer Science
SP  - 306
EP  - 320
IS  - 4199
PB  - Springer-Verlag
CY  - Heidelberg
KW  - security, SecureUML, UML, OCL, HOL-OCL, model-transformation
N2  - 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.
UR  - http://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006
L1  - //www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006-b.pdf
L1  - http://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006.pdf
UR  - http://dx.doi.org/10.1007/11880240_22
N1  - An extended version of this paper is available as ETH Technical Report, no. 524.
ID  - brucker.ea:transformation:2006
ER  -