Алгоритм формальной верификации шаблонов бизнес-процессов

• Published in: Кибернетика и системный анализ
• Date: 2011
• Main Author: Варосян, А.С.
• Format: Article
• Language: Russian
• Published: Інститут кібернетики ім. В.М. Глушкова НАН України 2011
• Subjects: Кибернетика
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/84185
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Алгоритм формальной верификации шаблонов бизнес-процессов / А.С. Варосян // Кибернетика и системный анализ. — 2011. — Т. 47, № 2. — С. 62-76. — Бібліогр.: 11 назв. — рос.

Формальне визначення шаблонів бізнес-процесів представлено на підставі аналізу бібліотек ІTІL і MOF. Визначено передумову ініціалізації і постумову для шаблонів бізнес-процесів. Доведено можливість розв’язання проблеми формальної верифікації для шаблонів бізнес-процесів щодо визначеної передумови ініціалізації і постумови виконання. Планується подальша робота в двох напрямках: застосування запропонованого алгоритму формальної верифікації на інших бібліотеках шаблонів бізнес-процесів та дослідження інших бібліотек бізнес-процесів для їх ідентифікації. The formal definition of business process templates is presented based on the analysis of ITIL and MOF libraries. The definition of initialization precondition and execution postcondition is introduced. The solvability of formal verification problem for business process templates with respect to the defined initialization precondition and execution postcondition is shown. It is planned to continue this research in two fields: (i) to apply the formal verification algorithm with other business process template libraries and (ii) to examine other business process libraries to identify new classes of business processes.