@TechReport{	  brucker.ea:transformation:2006-b,
  author	= {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff},
  institution	= {ETH Zurich},
  language	= {USenglish},
  title		= {A Model Transformation Semantics and Analysis Methodology
		  for {SecureUML}},
  categories	= {holocl},
  classification= {unrefereed},
  areas		= {security, formal methods, software},
  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.},
  keywords	= {security, SecureUML, UML, OCL, HOL-OCL,
		  model-transformation},
  year		= {2006},
  number	= {524},
  public	= {yes},
  num_pages	= {18},
  pdf		= {http://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006-b.pdf},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006-b}
		  
}