Операция добавления реализации и интерфейса компонента

Особенность операции addlmp заключается в том, что множество интерфейсов компонента расширяться за счет добавления новых входных интерфейсов, связанных с реализованной дополнительной функциональностью нового компонента реализации.

Пусть имеем дополнительное множество исходных интерфейсов:

В частном случае NewIntOs = 0, если не требуется добавлять дополнительную реализованную функциональность.

Рассмотрим две разновидности этой операции: добавление AddOImp существующего интерфейса и нового интерфейса:

и представление семантики Newlnt = Oldlnt u NewIntOs

где NewCImps — реализация, которая добавляется; OldCInt — множество существующих интерфейсов.

Условие целостности компонента выполняется автоматически, потому что множество входных интерфейсов остается прежним. Из целостности старого компонента вытекает целостность нового компонента.

Операция Addlmp является ассоциационной и коммутативной над множествами компонентов. Доказательство этих фактов вытекает из анализа множеств интерфейсов и множества реализаций, которые входят в состав соответствующих множеств компонентов.

Вторую разновидность операции добавления реализации представим как AddNImp в форме.

и семантикой

где NewCImps — реализация, которая добавляется к множеству реализаций.

Как и предыдущая, данная операция обеспечивает целостность компонента и обладает свойством ассоциативности и коммутативности.

Операция замены существующей реализации новой Repllmp имеет вид с семантикой.

Если справедливо, что.

то

где NewCImps — реализация, которая добавляется; NewCIntOs — множество дополнительных исходных интерфейсов для реализации, которая добавляется; OldCImpr — реализация, которая замещается; OldCIntOr — множество исходных интерфейсов, связанных с реализацией, которая замещается.

Лемма 3.1. Операция замещения реализации компонента новой семантикой сохраняет условие целостности компонента.

Для любого входного интерфейса, создаваемого компонентом, кроме интерфейсов, соответствующей реализации, которая замещается OldCImpr — условие целостности выполняется. Для интерфейсов, отвечающих реализации OldCImpr, справедливо, что Pt‘ovide (OldCIntt)ciNewCImps существует соответствующая реализация базового компонента. Объединяя эти два случая, получаем, что для любого входного интерфейса создаваемого компонента выполняется условие целостности.

Операция расширения существующей реализации семантической эквивалентна операции замещения, где исходная реализация замещается, а расширенная — добавляется. Потому нет необходимости вводить отдельную операцию.