@InCollection{	  brucker.ea:transformation:2006,
  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},
  location	= {Genova},
  author	= {Achim D. Brucker and J\"urgen Doser and Burkhart Wolff},
  booktitle	= {{MoDELS} 2006: Model Driven Engineering Languages and
		  Systems},
  language	= {USenglish},
  publisher	= {Springer-Verlag},
  address	= {Heidelberg},
  series	= {Lecture Notes in Computer Science},
  doi		= {10.1007/11880240_22},
  number	= {4199},
  pages		= {306--320},
  editor	= {Oscar Nierstrasz and Jon Whittle and David Harel and
		  Gianna Reggio},
  project	= {CSFMDOS},
  title		= {A Model Transformation Semantics and Analysis Methodology
		  for {SecureUML}},
  categories	= {holocl},
  classification= {conference},
  areas		= {security, formal methods, software},
  file		= {http://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006-b.pdf},
  filelabel	= {Extended Version},
  year		= {2006},
  public	= {yes},
  pdf		= {http://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006.pdf},
  ps		= {http://www.brucker.ch/bibliography/download/2006/brucker.ea-transformation-2006.ps.gz},
  note		= {An extended version of this paper is available as ETH
		  Technical Report, no. 524.},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-transformation-2006}
		  
}