Розглянуто метод раннього аналізу складних автоматизованих системи (САС) на відповідність бізнес-правилам (БП) та системним вимогам (СВ). Проведено огляд існуючих методологій та технологій створення САС. Виявлено, що наявні методології та технології розробки САС не надають засобів для аналізу такої відповідності. Як теоретичну базу для аналізу несуперечності формальних моделей систем (ФМС) БП та СВ вибрано СР-метод, розроблений авторами. Цей метод дозволяє формалізувати БП, вимоги до системи та модель системи та забезпечити автоматичний аналіз їх несуперечності. Описано систему SCAFM, створену на базі CP-методу як інструментальне забезпечення аналізу ФМС.

Індекс рубрикатора НБУВ: З965.95

Рубрики:

Складні системи

Шифр НБУВ: Ж69472 Пошук видання у каталогах НБУВ 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Демченко Олена Михайлівна (медичні науки)
• Демченко Олена Миколаївна (біологічні науки)
• Демченко Олександр Миколайович (педагогічні науки)
• Демченко Олена Миколаївна (педагогічні науки)
• Сирота Олена Петрівна (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"