behavioral language

Язык описания поведения (системы)