|
-
Ключові слова:
кліринг, клиринг, clearing ; закупівля державна,закупка государственная ; автореферат (текст) ; реінжиніринг бізнес-процесів, реинжиниринг бизнес-процессов, Business Process Reengineering, BPR ; реінжиніринг, реинжиниринг ; Техніка, с.г., медицина
-
Анотація:
Дисертація присвячена розв'язанню задачі аналізу несуперечності АСОІ та бізнес-правил при проектуванні АСОІ для підходу до створення АСОІ із декларативним поданням бізнес-правил. В роботі запропоновано концепцію структурної верифікації при проектуванні АСОІ, яка полягає у розширенні процесу верифікації етапом аналізу несуперечності проекту АСОІ та бізнес-правил. Як модель АСОІ застосовано UML, для формалізації бізнес-правил застосовано SBVR.
-
Теми документа
-
ББК науковий // Межбанковский клиринг. Клиринговые центры (дома, палаты)
-
ББК науковий // Процессное управление. Реинжиниринг бизнес-процессов
|
