FORML

Formal Object Role Modeling Language

A CASE language?