A Model Transformation Semantics and Analysis Methodology for SecureUML
by Achim D. Brucker, 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: , ,
Documents: (full text as PDF file)
Please cite this article as follows:
Achim D. Brucker, 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
(full text as PDF file) (BibTeX) (Endnote) (RIS) (Word) (
| 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}, | |
| = | {https://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006-b.pdf}, | ||
| title | = | {A Model Transformation Semantics and Analysis Methodology for {SecureUML}}, | |
| url | = | {https://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006-b}, | |
| year | = | {2006}, |