FORML

Formal Object Role Modeling Language. A CASE language?