Volume 102, November 2004

Proceedings of the Workshop, OCL 2.0 - Industry Standard or Scientific Playground?

• 
  Peter H. Schmitt: Preface. 1-2
• 
  Daniel Larsson, Wojciech Mostowski: Specifying JAVA CARD API in OCL. 3-19
• 
  David H. Akehurst, Octavian Patrascoiu: OCL 2.0 - Implementing the Standard for Multiple Metamodels. 21-41
• 
  Sten Loecher, Stefan Ocke: A Metamodel-Based OCL-Compiler for UML and MOF. 43-61
• 
  Stephan Flake: OclType - A Type or Metatype ? 63-75
• 
  Stephan Flake, Wolfgang Müller: Formal Semantics of OCL Messages. 77-97
• 
  Dan Chiorean, Mihai Pasca, Adrian Cârcu, Cristian Botiza, Sorin Moldovan: Ensuring UML Models Consistency Using the OCL Environment. 99-110
• 
  Rolf Hennicker, Alexander Knapp, Hubert Baumeister: Semantics of OCL Operation Specifications. 111-132
• 
  Jörn Guy Süß, Andreas Leicher, Susanne Busse: OCLPrime - Environment and Language for Model Query, Views and Transformations. 133-153
• 
  Alfred Strohmeier, Thomas Baar, Shane Sendall: Applying Fondue to Specify a Drink Vending Machine. 155-173
• 
  Mika Siikarla, Jari Peltonen, Petri Selonen: Combining OCL and Programming Languages for UML Model Processing. 175-194