web address of the page
http://jnas.nbuv.gov.ua/article/UJRN-0000029775
Cybernetics and Systems Analysis 
А - 2019 /
Issue (2011, Т. 47, № 2)
Варосян А. С.
Алгоритм формальной верификации шаблонов бизнес-процессов
Формальне визначення шаблонів бізнес-процесів представлено на підставі аналізу бібліотек ITIL і MOF. Визначено передумову ініціалізації і постумову для шаблонів бізнес-процесів. Доведено можливість розв'язання проблеми формальної верифікації для шаблонів бізнес-процесів щодо визначеної передумови ініціалізації і постумови виконання. Заплановано подальшу роботу в двох напрямках: застосування запропонованого алгоритму формальної верифікації на інших бібліотеках шаблонів бізнес-процесів та дослідження інших бібліотек бізнес-процесів для їх ідентифікації.
Бібліографічний опис:
Варосян А. С. Алгоритм формальной верификации шаблонов бизнес-процессов. Кибернетика и системный анализ. 2011. Т. 47, № 2. С. 62-76. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000029775
PDF
Transliteration