Применение логики построений на графах к исполнению моделей бизнес-процессов

Бесплатный доступ

В статье предлагается подход к исполнению бизнес-процессов, который основан на логическом синтезе программ по модели бизнес-процесса. В подходе используется логика построений на графах GL5

Моделирование бизнес-процессов, построения на графах, конструктивная логика

Короткий адрес: https://sciup.org/14336174

IDR: 14336174

Список литературы Применение логики построений на графах к исполнению моделей бизнес-процессов

  • Е. В. Кочуров. Конструктивный синтез пользовательских интерфейсов Web-приложений//Программные системы: теория и приложения, Т. 4, №. 4(18). 2013. С. 3-25, URL: http://psta.psiras.ru/read/psta2013_4_45-59.pdf.
  • Е. В. Кочуров, Н. Н. Непейвода, И. Н. Григоревский. Замечания о логиках построений на графах и их применении//Вторая международная научно-практическая конференция "Технические науки: теория, методология и практика", Сб. науч. докл. (г. Москва, 28 ноября 2014 г.), АНО Издательский дом "Научное обозрение", М., 2014. С. 8-18.
  • BPMN Specification -Business Process Model and Notation (дата обращения: 30.11.2015), URL: http://www.bpmn.org/.
  • Business process management -Wikipedia, the free encyclopedia (дата обращения: 30.11.2015), URL: https://en.wikipedia.org/wiki/Business_process_management.
  • Е. В. Кочуров. Об одной конструктивной логике построений на графах//Девятые Смирновские чтения по логике, Материалы международной научной конференции (г. Москва, 17-19 июня 2015 г.), Издательство "Современные тетради", М., 2015. С. 22-24.
  • Yu. Gurevich, I. Neeman. DKAL: Distributed-Knowledge Authorization Language//21st IEEE Computer Security Foundations Symposium CSF 2008 (June 23-25, 2008, Carnegie Mellon University, Pittsburgh, USA). P. 149-162.
  • Yu. Gurevich, I. Neeman. Logic of infons: The propositional case//ACM Transactions on Computational Logic, 12 2011. P. 1-28.
Еще
Статья научная