Paper Info
Title
A model transformation semantics and analysis methodology for SecureUML
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 hol-ocl. The methodological consequences for an analysis of the generated ocl formulae are discussed.
Year
DOI
Venue
2006
10.1007/11880240_22
MoDELS
Keywords
Field
DocType
environment hol-ocl,transformation scheme,model transformation,arbitrary design modeling language,security modeling language,front-end visual modeling tool,ocl formula,uml profile,standard uml,analysis methodology,uml notation,model transformation semantics,real time systems,software architecture,front end,ocl,uml,access control,software modeling,software design,security model,security,code generation,interactive theorem proving
Model transformation,Programming language,UML tool,Unified Modeling Language,Computer science,Visual modeling,Modeling language,Applications of UML,Formal methods,Object Constraint Language
Conference
Volume
ISSN
ISBN
4199
0302-9743
3-540-45772-0
Citations 
PageRank 
References 
20
1.35
6
Authors
3
Name
Order
Citations
PageRank
Achim D. Brucker155850.85
Jürgen Doser279338.89
Burkhart Wolff3765.73