Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем
Язык статьиРусский
Аннотация
В статье описывается структура онтологии шаблонов требований, извлекаемых из текстов технической документации. Эта онтология комбинирует шаблоны известных классификаций требований с новыми шаблонами. Язык онтологии допускает запись булевых комбинаций шаблонов следующих типов: качественных, реального и ветвящегося времени, с комбинированными событиями, количественными характеристиками событий и простыми утверждениями о данных. Приведены примеры шаблонов требований к реальной системе управления вакуумированием Большого солнечного вакуумного телескопа. Изложена схема интеллектуальной системы поддержки формальной верификации распределенных программных систем.
DOI10.31144/si.2307-6410.2017.n9.p111-132
УДК004.052
Номер
№ 9,
Страницы111-132
Файл
garaninazubinliach_0.pdf
(587.87 КБ)
Библиографическая ссылка
Гаранина Н.О., Зюбин В.Е., Лях Т.В. Онтологический подход к организации шаблонов требований в рамках системы поддержки формальной верификации распределенных программных систем // Системная информатика, 2017. – № 9. – С. 111-132. – DOI: https://doi.org/10.31144/si.2307-6410.2017.n9.p111-132.