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 |
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)