Алгоритм формальной верификации шаблонов бизнес-процессов
Формальне визначення шаблонів бізнес-процесів представлено на підставі аналізу бібліотек ІTІL і MOF. Визначено передумову ініціалізації і постумову для шаблонів бізнес-процесів. Доведено можливість розв’язання проблеми формальної верифікації для шаблонів бізнес-процесів щодо визначеної передумови ін...
Saved in:
| Published in: | Кибернетика и системный анализ |
|---|---|
| Date: | 2011 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2011
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84185 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Алгоритм формальной верификации шаблонов бизнес-процессов / А.С. Варосян // Кибернетика и системный анализ. — 2011. — Т. 47, № 2. — С. 62-76. — Бібліогр.: 11 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862529081414778880 |
|---|---|
| author | Варосян, А.С. |
| author_facet | Варосян, А.С. |
| citation_txt | Алгоритм формальной верификации шаблонов бизнес-процессов / А.С. Варосян // Кибернетика и системный анализ. — 2011. — Т. 47, № 2. — С. 62-76. — Бібліогр.: 11 назв. — рос. |
| collection | DSpace DC |
| container_title | Кибернетика и системный анализ |
| 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.
|
| first_indexed | 2025-11-24T03:48:05Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84185 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 0023-1274 |
| language | Russian |
| last_indexed | 2025-11-24T03:48:05Z |
| publishDate | 2011 |
| publisher | Інститут кібернетики ім. В.М. Глушкова НАН України |
| record_format | dspace |
| spelling | Варосян, А.С. 2015-07-03T15:50:35Z 2015-07-03T15:50:35Z 2011 Алгоритм формальной верификации шаблонов бизнес-процессов / А.С. Варосян // Кибернетика и системный анализ. — 2011. — Т. 47, № 2. — С. 62-76. — Бібліогр.: 11 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/84185 519.681 Формальне визначення шаблонів бізнес-процесів представлено на підставі аналізу бібліотек І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. Автор выражает благодарность академику НАН Армении, доктору физико-математических наук, профессору С.К. Шукуряну. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Кибернетика Алгоритм формальной верификации шаблонов бизнес-процессов Алгоритм формальної верифікації шаблонів бізнес-процесів Algorithm of formal verification of business process templates Article published earlier |
| spellingShingle | Алгоритм формальной верификации шаблонов бизнес-процессов Варосян, А.С. Кибернетика |
| title | Алгоритм формальной верификации шаблонов бизнес-процессов |
| title_alt | Алгоритм формальної верифікації шаблонів бізнес-процесів Algorithm of formal verification of business process templates |
| title_full | Алгоритм формальной верификации шаблонов бизнес-процессов |
| title_fullStr | Алгоритм формальной верификации шаблонов бизнес-процессов |
| title_full_unstemmed | Алгоритм формальной верификации шаблонов бизнес-процессов |
| title_short | Алгоритм формальной верификации шаблонов бизнес-процессов |
| title_sort | алгоритм формальной верификации шаблонов бизнес-процессов |
| topic | Кибернетика |
| topic_facet | Кибернетика |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84185 |
| work_keys_str_mv | AT varosânas algoritmformalʹnoiverifikaciišablonovbiznesprocessov AT varosânas algoritmformalʹnoíverifíkacííšablonívbíznesprocesív AT varosânas algorithmofformalverificationofbusinessprocesstemplates |