Набір правил і форматів (семантичних і синтаксичних), який визначає зв'язок поведінкою застосування осіб у виконанні функції програми.