Аспекты управления вариабельностью ПС

Потребности современного рынка программной продукции в разных предметных областях стимулируют организации-разработчики к быстрому созданию и выпуску на рынок высококачественных ПС и своевременной реакции на изменения заказчиков, появлению новых сред (Web, Grid), архитектурных платформ и т. п. Это, в свою очередь, ставит задачи совершенствования имеющихся методологий разработки ПС. Одна из новейших методологий базируется на идее построения семейств функционально подобных ПС для отдельных ПрО. СПС — это совокупность ПС, которые имеют общее множество характеристик, соответствующих потребностям определенных функциональных сегментов ПрО, различаются способами воплощения этих характеристик с использованием ГоР. ПС, члены СПС, не создаются «из нуля», а порождаются на основании общей модели СПС, которая конкретизируется в соответствии со спецификацией требований к ПС. Ресурсы СПС накапливаются в репозиториях среды разработки и выбираются для сборки их в ПС.

Определение 4.1. Модель вариабельности СПС — эго пара.

где SV — подмодель вариабельности в структуре семейства ПС/ПП; AV — подмодель вариабельности в артефактах (и ПС/ПП) семейства; G_t = (F_r

L_t) — граф артефактов уровня t- 1,5, обусловленный моделью характеристик семейства IIC/IIII; TR_t — двусторонние связи трассируемое™ артефактов уровней t -1 и? Си D — предикаты на ®F_t, задающие ограничения и зависимости артефактов.

Определение 4.2. Модель вариабельности в структуре СПС — это кортеж.

SV = «CF; (DR, ТС); (AR, TD>; (CM, F7?, Г5, L4); (?7?, 7Т»; Constr; Dep), (4.2).

где CF- (SF, LF) — диаграмма характеристик, которая задает множество постоянных и переменных свойств ПС (SF), предлагаемых их потенциальным потребителям в ПрО и ограничения (Constr) и зависимости {Dep) между ними посредством связей обязательного и вариантного подчинения (LF);

DR = (SF и SR, LF и 17?) — аналогичная диаграмма, где характеристики/е е /" детализированы и (или) дополнены характеристиками re SR, что подают постоянные и переменные «технические» требования к ПС со стороны аналитиков СПС, ограничения и зависимости которых подаются связками 17?;

ТС = {(г, У), г е SR, / е SF)} — двусторонние связи трассировки между «техническими» требованиями к ПС и их свойствами для потребителя, которые конкретизируются требованиями;

AR = {АС, LQ — эталонная архитектура СПС, т. е. описание взаимосвязей (LC) между формальными представлениями программных компонентов (АС) для реализации характеристик JeDR в определенной нотации для программной архитектуры (UML, xADL и т. п.);

TD = {(ac, f), ас е AC, f е SF и 57?)} — двусторонние связи трассировки между представлениями компонентов ас е АС для реализации характеристик / е DR и этими характеристиками;

СМ — формальные представления базовых программных компонентов для реализации компонентов архитектуры при составлении элементов компонентного каркаса (FR);

TS = {(?s, cm), cm е CM) — формальные описания тестов (ts) для компонентов с представлениями cm;

ТА = {(cm, ас), cm е СМ, ас е АС)} — двусторонние связи трассировки между программными компонентами и компонентами архитектуры AR;

TL = {([г, 1с),/те FR, 1с е LC)} — двусторонние связи трассировки между элементами каркаса для составления компонентов и их взаимосвязей;

ER и TF — соответственно, ?7?-модели БД для обработки ПС и СПС и двусторонние связи трассировки ее элементов с компонентами cm е СМ.

Ключевой проблемой инженерии семейства ПС является обеспечение вариабельности артефактов разработки членов СПС. Для решения этой проблемы предлагается теоретический аппарат вариабельности в артефактах СПС^[1].

Определение 4.3. Модель вариабельности в артефактах СПС — это тройка

где g, и р, — подграфы G, описывающие артефакты, реализуемые артефактом типа т с идентификатором id_m и реализующие его при разработке ПС/ ПП; элементы AV (id_m) — сужения соответствующих элементов 5С;

где AFt = {f (aft)} — формальное представление артефактов СПС типа t = 1,4 (aft): RPR, RPA, RPE — репозитории ресурсов СПС типа t документов требований к ПС (t = 1), типичных архитектур ПС (t = 2) и программных ресурсов (t = 3); DBF — физическое представление БД для обработки ПС — членами СПС; CM*, TS* — множества программных КПИ, описанных в СМ в выражении (4.2), и тестов для них.

• [1] См.: Лаврищева Е. М. Теоретические аспекты управления вариабельностью в семействахпрограммных систем / Е. М. Лаврищева [и яр.] // Вестник КПУ, серия физ.-мат. наук. 2011.№ 1. С. 151 — 158; Ее же. Программная инженерия. Парадигмы, технологии и CASE-срелства;Ларищева Е. М., Слабоспицкая О. А. Поход к построению объектно-компонентной моделисемейства программных продуктов // Проблемы программирования. 2013. № 1. С. 21—33.Lavnscheva Е. М. Software engineering. New disciplines and E-learning them for developmentof applied systems. Progressive Academic Publishing // European Journal of Engineering andTechnology. 2015. № 3 (3). P. 36—63. URL: http://www.idpublications.org/ejet-vol-3-no-3−2015.