Сборники трудов ИСП РАН


Формализация метамодели системы управления требованиями

Кильдишев Д.С. (ИСП РАН, Москва, Россия)
Хорошилов А.В. (ИСП РАН, Москва, Россия; МГУ, Москва, Россия; МФТИ, Московская. обл., Россия; ВШЭ, Москва, Россия)

Аннотация

В рамках данной статьи рассматривается метамодель, лежащая в основе системы управ-ления требованиями Requality. Базовая модель представляет собой дерево, каждой вер-шине которого сопоставлен набор именованных и типизированных свойств. Базовая мо-дель проста и удобна для представления семантики набора требований, но оказывается не особо пригодной для формирования и сопровождения сколько-нибудь сложных катало-гов требований. Поэтому авторами вводится набор декларативных моделей, позволяю-щих описывать каталог требований более компактным образом. При этом семантика декларативных моделей задаётся при помощи определения трансляции в базовую мо-дель. Эти возможности обеспечивают гибкий инструментарий для компактного описания типовых наборов требований. Также в статье рассматриваются особенности реализации представленной метамодели в системе управления требованиями Requality.  В заключе-нии предлагается исследовать комбинацию представленной модели каталога требований с формальными моделями, позволяющими описывать семантику каждого требования в отдельности.

Ключевые слова

требование; модель; управление требованиями

Издание

Труды Института системного программирования РАН, том 30, вып. 5, 2018, стр. 163-176.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2018-30(5)-10

Для цитирования

Кильдишев Д.С., Хорошилов А.В. Формализация метамодели системы управления требованиями. Труды Института системного программирования РАН, том 30, вып. 5, 2018, стр. 163-176. DOI: 10.15514/ISPRAS-2018-30(5)-10.

Полный текст статьи в формате pdf (на английском) Вернуться к содержанию тома