Logic of constructions on graphs within application to business process execution
E.V. Kochurov · Program systems theory and applications · 2015
Е. В. КочуровПрименение логики построений на графах к исполнению моделей бизнес-процессов Аннотация.В статье предлагается подход к исполнению бизнес-процессов, который основан на логическом синтезе программ по модели бизнес-процесса.В подходе используется логика построений на графах GL5.Ключевые слова и фразы: конструктивная логика, построения на графах, моделирование бизнес-процессов. ВведениеВ последнее время были получены результаты, позволяющие синтезировать доказуемо правильные программы, которые реализуют иерархические [1] и сетевые [2] структуры вычислений.Существует целый ряд областей, в которых подобные подходы могу быть применены.В данной статье подход, первоначально разрабатывавшийся для суперкомпьютеров, иллюстрируется на примере его приложения в другой актуальной области -это исполнение бизнес-процессов по имеющейся модели, заданной в той или иной нотации.Если рассматривать задачи (аctivity в нотации BPMN [3]) бизнес-процесса, как программы, которые должны выполняться в соответствии с правилами, заданными моделью бизнес-процесса, то такой подход позволяет привнести в область управления бизнес-процессами (Business Process Management [4]) сильные стороны доказательного программирования.Поддержана Минобрнауки России по теме: «Исследования и разработка технических решений по теме Развитие инфраструктуры суперкомпьютерных центров в интересах инновационного развития государств участников СНГ» RFMEFI61314X0030.