TY - RPRT AU - Brucker, Achim D. AU - Doser, Jürgen AU - Wolff, Burkhart PY - 2006 DA - 2006// TI - A Model Transformation Semantics and Analysis Methodology for SecureUML IS - 524 PB - ETH Zurich KW - security, SecureUML, UML, OCL, HOL-OCL, model-transformation AB - 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. L1 - https://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006-b.pdf UR - https://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006-b LA - USenglish ID - brucker.ea:transformation:2006-b ER -