Призначення і основні завдання системи

Метою розробки є створення комплексу математичних методів та програмних засобів автоматизації етапу структурної верифікації проектів складних автоматизованих систем обробки інформації та моделей бізнес-правил.

Застосовані технології

Методи штучного інтелекту, математична логіка, числення предикатів, теорія множин, CASE-засоби.

Поточний стан впровадженості

Створено прототип системи.

Загальна функціональність системи та опис технології функціонування

Структурна верифікація полягає у перевірці на несуперечність проекту автоматизованої системи обробки інформації, заданого у вигляді UML-моделі, та бізнес-правил, заданих у вигляді -моделей. Для здійснення такої перевірки запропоновано використання корректних трансформації зазначених моделей до єдиної інтегральної моделі, яка і перевіряється на несуперечність. Доведено, що несуперечність інтегральної моделі означає несуперечність проекту системи бізнес-правилам.

Зв‘язки з іншими системами

Систему призначено для роботи з будь якими CASE-засобами, які підтримують стандарт UML, та з будь-якими системами моделювання бізнес-правил, які підтримують стандарт SBVR.

Можливі сфери застосування

Проектування складних програмних систем.