Алгоритм формальной верификации шаблонов бизнес-процессов
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Алгоритм формальной верификации шаблонов бизнес-процессов
|
|
| Creator |
Варосян, А.С.
|
|
| Subject |
Кибернетика
|
|
| Description |
Формальне визначення шаблонів бізнес-процесів представлено на підставі аналізу бібліотек І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. |
|
| Date |
2015-07-03T15:50:35Z
2015-07-03T15:50:35Z 2011 |
|
| Type |
Article
|
|
| Identifier |
Алгоритм формальной верификации шаблонов бизнес-процессов / А.С. Варосян // Кибернетика и системный анализ. — 2011. — Т. 47, № 2. — С. 62-76. — Бібліогр.: 11 назв. — рос.
0023-1274 http://dspace.nbuv.gov.ua/handle/123456789/84185 519.681 |
|
| Language |
ru
|
|
| Relation |
Кибернетика и системный анализ
|
|
| Publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України
|
|