Formal Object Role Modeling Language

(FORML) A CASE language?