FORML

FORML (Formal Object-Role Modeling Language) — формальный язык моделирования "объект-роль". Основан на концепциях ORM и поддерживает систематический и строгий подход к моделированию бизнес-концепций. Концептуальный моделер FORML позволяет вербализовать данные, представить их в символической или диаграммной форме, ограничить концептуальную модель фактами, иллюстрирующими утверждения и проверить правильность модели.