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


Моделирование семейств программных систем

Е.М. Лаврищева (ИСП РАН, Москва, Россия, МФТИ, Долгопрудный, Россия)
А.К.Петренко (ИСП РАН, Москва, Россия, МГУ, Москва, Россия, ВШЭ, Москва, Россия)

Аннотация

Большие программные системы всегда создаются достаточно долго, в несколько этапов, это приводит к необходимости появления версий (релизов) систем. Кроме того, у большой системы всегда есть несколько, а иногда много, конфигураций установки, что обуславливается либо разным набором программно-аппаратного окружения, либо требованиями пользователя системы. Тем самым результатом разработки можно рассматривать не отдельную систему, а цепочку и семейство программных систем или программных продуктов (Product Lines/Product Families). Появление этого понятия можно рассматривать как развитие методов повышения доли повторно-используемого программного обеспечения (re-use). Однако, в отличие от ранних работ по повторно-используемому ПО исследования по семействам программ рассматривают весь спектр работ и задач создания ПО, то есть не только собственно проектирование и программирование, но и документирование, верификацию, поддержку эксплуатации, в частности, инсталляцию и так далее. Одной из работ, выполняемых в ходе создания семейства программ, является моделирование. Статья рассматривает современные подходы к моделированию семейств программных систем, а также, подробнее, одно из направлений этого исследования — моделирование семейств операционных систем (описывая задачи исследования, поддержанного грантом РФФИ).

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

проверка моделей, уточнение моделей, вариабельность, верификация, тестирование, семейство программных систем, управление моделями, конфигурационная сборка, UML, MDA, MDD, MDE, PIM, PSM

Издание

Труды Института системного программирования РАН, том 28, вып. 6, 2016, стр. 49-64.

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

DOI: 10.15514/ISPRAS-2016-28(6)-4

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