Brucker, A.D., Doser, J. and Wolff, B. (2006) A Model Transformation Semantics and Analysis Methodology for SecureUML. Technical Report. ETH Technical Report (529). ETH, Department of Computer Science , Zurich.
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 ØCL formulae are discussed.
Metadata
Item Type: | Monograph |
---|---|
Authors/Creators: |
|
Dates: |
|
Institution: | The University of Sheffield |
Academic Units: | The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield) |
Depositing User: | Symplectic Sheffield |
Date Deposited: | 24 Feb 2016 13:15 |
Last Modified: | 24 Mar 2016 17:14 |
Published Version: | http://dx.doi.org/10.3929/ethz-a-006781109 |
Status: | Published |
Publisher: | ETH, Department of Computer Science |
Series Name: | ETH Technical Report |
Identification Number: | 10.3929/ethz-a-006781109 |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:95541 |