Определение вариабельных, вариантных систем

Вариабельность — способность семейства продуктов или систем к расширению, замене и конфигурации отдельных компонентов в виде ПС для решения задач конкретной ПрО. Впервые идея вариабельности СПП сформулирована Product Lines SEI, как механизм поддержки вариантов семейства продуктов, изготовленных или взятых готовых по требованию заказчика. Варианты СПП обеспечиваются «извлечением» из него отдельных КПП и заменой их новыми функциональными КПП для удовлетворения требований заказчика.

С общей точки, зрения семейство СПС (SPS) это кортеж из совокупности моделей вариабельных и вариантных элементов членов семейства:

где Mpio — модель ПрО; А/рм — модель характеристик (базовых и специальных) членов семейства; КРУ — множество КПП; PRG — предикат при надежности КРУ; к члену ПС; RPC — интерфейсный предикат, определяющий операции передачи данных КПП в другие члены семейства; A/_var — модель вариантности ПС из КПП и членов СПС; A/_Config — модель процесса сборки (конфигурации); A/_rcfмодель рефакторинга.

Модель A/var определяется двумя связанными между собой моделями — объектной ОМ и компонентной КМ. Их представление в среде ГП это усовершенствование модельной среды и компонентной алгебры ПС, описанных в п 3. данного раздела, а также в [4. 5].

Составляющие элементы модельной среды КП ИТК — объектная, компонентная вариантная модель СПС, задаваемая при четырехуровневом проектировании ПС [82−85]. Объектная модель имеет такой вид:

где G¹] - граф объектов ПрО, создаваемый на обобщающем уровне проектирования (/=1); С₂ — feature model характеристического уровня (/=2); <7₃— архитектурно-компонентная модель структурного уровня {t=3); С_А — интерфейсная модель взаимодействия компонентов СПС на поведенческом уровне (f=4).

Объектам функций G’i и их характеристикам соответствуют методы и данные (уровня t = 2, 3), которые необходимы при реализации их в СПС и обеспечении взаимодействия.

Компонентная модель СПС — развитие ОМ, методы объектов которой реализуются программными КПП для одного, и только одного ее объекта и интерфейса между ними. Модель имеет следующий вид:

где RC — базовые компоненты множества готовых компонентов С, которые соответствуют базовым объектам модели ОМ; In — интерфейс компонентов, среди параметров которого задается имя точки вариантности; 1тС — реализация базового компонента в заданной среде; Fim (•) — функции преобразования входных и выходных параметров интерфейса и множество данных в сигнатуре интерфейса; В_км — множество данных КМ.