Connecting OCL with the Rest of the World


        Authors: Reiner Hähnle and Aarne Ranta


___________________________________________________________________________


  The paper addresses the problems of making program specifications written
  in OCL easier to read and to maintain. The solution proposed is to use the
  grammar formalism GF to define a high-level abstract grammar of 
  specifications with translations into OCL, logic, and natural languages. A
  prototype of the solution is illustrated by an example.