> I watched a lecture on OCL and remembered wondering whether it's > raison d'etre was other than to provide a Greekless formal > specification language which would be palatable in the "real world". That's pretty much it, but also customized to objects. Shriram