Контроль и анализ денотативных и сигнификативных семантических ошибок Анаграмматических моделей потоков работ в проектировании автоматизированных систем

摘要

Предложен подход к контролю и анализу потоков проектных работ бизнес-процессов, представленных в виде диаграмм на основе графических языков, таких как eEPC, UML, BPMN, IDEFO и др. Отмечено, что подход содержит темпоральную грамматику, темпоральный автомат и онтологию и предназначен для сужения семантического разрыва между анализом бизнес- процессов и выполнением бизнес-процессов. Представлен пример контроля и анализа бизнес-процесса согласования конструкторской документации.