A Model Transformation Semantics and Analysis Methodology for SecureUML

Achim D. Brucker und Jürgen Doser und 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.

Schluesselwörter: security, SecureUML, UML, OCL, HOL-OCL, model-transformation
Kategorien: , ,

Bitte zitieren sie diesen Artikel wie folgt:
Achim D. Brucker und Jürgen Doser und Burkhart Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. In MoDELS 2006: Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science (4199), pages 306-320, Springer-Verlag, 2006. An extended version of this paper is available as ETH Technical Report, no. 524.
Schluesselwörter: security, SecureUML, UML, OCL, HOL-OCL, model-transformation
(PDF) (Extended Version) (BibTeX) (Endnote) (RIS) (doi:10.1007/11880240_22) ( )