Electronic Notes in Theoretical Computer Science, Volume 102

Volume 102, November 2004

• 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