@InProceedings{	  brucker.ea:testing:2001,
  author	= {Achim D. Brucker and Burkhart Wolff},
  title		= {Testing Distributed Component Based Systems Using
		  {UML/OCL}},
  language	= {USenglish},
  booktitle	= {Informatik 2001},
  pages		= {608--614},
  year		= {2001},
  talk		= {talk:brucker.ea:testing:2001},
  editor	= {K. Bauknecht and W. Brauer and Th. M{\"u}ck},
  volume	= {1},
  number	= {157},
  series	= {Tagungsband der GI/{\"O}CG Jahrestagung},
  address	= {Wien},
  month		= nov,
  organization	= {{\"O}sterreichische Computer Gesellschaft},
  abstract	= {We present a pragmatic approach using formal methods to
		  increase the quality of distributed component based
		  systems: Based on UML class diagrams annotated with OCL
		  constraints, code for runtime checking of components in
		  J2EE/EJB is automatically generated. Thus, a UML--model for
		  a component can be used in a black--box test for the
		  component. Further we introduce different design patterns
		  for EJBs, which are motivated by different levels of
		  abstraction, and show that these patterns work smoothly
		  together with our OCL constraint checking. A prototypic
		  implementation of the code generator, supporting our
		  patterns with OCL support, has been integrated into a
		  commercial software development tool.},
  isbn		= {3-85403-157-2},
  pdf		= {http://www.brucker.ch/bibliography/download/2001/info2001.pdf},
  categories	= {testing,holocl},
  classification= {workshop},
  areas		= {software},
  keywords	= {Keywords: OCL, Constraint checking, EJB, J2EE, Design by
		  Contract, Design pattern},
  extended	= {\cite{brucker.ea:checking:2001}.},
  public	= {yes},
  url		= {http://www.brucker.ch/bibliography/abstract/brucker.ea-testing-2001}
		  
}