2004-10-03 OCLE http://lci.cs.ubbcluj.ro/ocle/ Object Constraint Language Environmentだそうです。 これから試してみます。