Языки визуальной разработки моделей бизнес-процессов EPC, BPMN приобрели популярность и широко используется для описания, реинжиниринга и автоматизации бизнес-процессов. Задача формализации семантики, синтаксиса и прагматики этих языков является актуальной и важной, без её решения невозможно разработать средства автоматической проверки моделей на отсутствие ошибок или преобразовать их в исполняемый машинный код. До тех пор, пока синтаксис и семантика языка не будут описаны формально, их использование окажется затруднено, моделирование будет оставаться ремеслом, тогда как требуется инженерный подход. В работе доказывается предположение, что наличие морфизма между моделью бизнес-процесса и окружающей реальностью, позволяет сделать важные выводы, относительно синтаксиса и семантики языка моделирования. Групповые отношения между знаками, образующими модель, можно интерпретировать как конкретный синтаксис языка моделирования, а отношения между концептами онтологии моделирования образуют абстрактный синтаксис.