Here you can find an overview of tools that have been presented at the OCL workshop of the UML/MoDELS 2008 conference in Toulouse:

• Thomas Baar: RoclET
  
• Dimitrios Kolovos and Richard Paige: The Epsilon Validation Language
  
• Achim D. Brucker: The HOL-OCL system
  
• Robert Clarisó, Jordi Cabot and Daniel Riera: UMLtoCSP
  
• Manuel Clavel, Marina Egea, and Miguel A. Garcia de Dios The Eye Secure Software (ESS)
  
• Fabian Büttner: USE (UML Specification Environment)
  
• Mirko Seifert and Roland Samlaus: RestrictED
  
• Michael Felderer: "Advanced OCL Editor" based on Eclipse OCL
  
• Tamas Vajk: Visual Modeling and Transformation System (VMTS)
  
• Dan Chiorean: OCLE
  
• Jean-Marie Mottu: Kermeta