? ?
, В = { В
, ?
}.(3.3.6)
Пересечения D
? ?
и В
? ?
не обязательно пустые множества.
* Полученные результаты и наличие взаимнооднозначных соответствий между элементами множеств А и В, а также между элементами множеств Е и D, соответственно, позволяют сформулировать следующую теорему.
Теорема 3.5.Элементы а и е разложимы на части, реализующие части процессов в и d:
а = {а
, ?
}; а
? A
; ?
? ?
; А = {A
, ?
};
e = { e
, ?
}; e
? E
; ?
? ?
; E= { E
?
}; (3.3.7)
* В качестве обобщения сформулируем следующий результат.
Теорема 3.6.Элементы а, е (а ? А, е ? Е) и элементарные процессы в, d (в ? В, d ? D) в модели системы S разложимы на части, образующие структуры C
, C
и процессы Р
, Р
основной S
и дополнительной S
систем.
Следуя доказанному, сформулируем следующие результаты.
* Системный процесс достижения цели Р
представит собой объединения элементарных процессов достижения цели в
и процессов обеспечения ограничений на допустимое изменение результатов элементарных процессов достижения цели ?
при передаче результатов одного элементарного процесса достижения цели к другому. Отсюда следует, что
Модель основного системного процесса Р
имеет вид:
Р
= < { B
, ?
}, W, ?
>. (3.3.8а)
* Системный процесс взаимодействия, в свою очередь, представит собой объединение элементарных процессов взаимодействия d