моделей S данной системы, S ⊆ S∑..
* В модели (3.3.1) для конкретной реализации системы S, значение предиката Φj ⊂ Φ равно 1 (истинно), если взаимосвязи между элементами множества-носителя соответствуют выбранной технологии изготовления изделия. Множество главных предикатов Φ описывает взаимосвязи, необходимые для конкретной реализации S. Минимально необходим, независимо от природы системы, набор предикатов, устанавливающих такое подмножество отношений взаимосвязи, которое можно представить связным подграфом, без петель, покрывающим все вершины графа отношений. Кроме того, с помощью элементов множества Φ и введения дополнительных предикатов можно описать различные технологические маршруты изготовления узлов и блоков, сборки изделия, подготовки документов, разработки проектов, изготовления управленческого решения и т.д. Переход от модели изготовления изделия F к модели для изготовления другого изделия осуществляется путем замены множества главных предикатов Φ на другое. Реализовать необходимые переходы от одной модели к другой можно установлением набора состояний «взаимодействие разрешено» и «взаимодействие исключено» в элементах е ∈ Е.
* В процессе формирования конкретной модели системы используются операции множества W (напр. при декомпозиции системы), состав которого определяется в зависимости от задач анализа и синтеза системы. Во многих важных приложениях достаточно, если множество-носитель образуете с W решетку или алгебру Кантора.
Формирование конкретной модели системы с определенным набором элементов из {A, B, D, E} и множества Φ может производиться следующим образом. Будем считать, что множества A∑, B∑, D∑, E∑ определены, как наборы элементов, пригодных для всех возможных конкретных реализаций S.
Вначале устанавливается некоторое отношение на множестве B∑, т.е. выбираются и упорядочиваются процессы b ∈ В, B ⊆ B∑. Тем самым упорядочивается набор элементарных процессов достижения цели, который должен обеспечить системный процесс достижения цели, для реализации которого, в данном случае, нужна система S. Одновременно устанавливается необходимость обеспечения взаимодействий для пар процессов из В∑, определяются требования к элементарным взаимодействиям со стороны каждого процесса b, b ∈ В∑.
Затем устанавливается отношение на паре множеств В∑, A∑, определяются и упорядочиваются основные элементы из А∑, обеспечивающие выбранный набор процессов из В∑, А ⊆ А∑, В ⊆ В∑.
Параллельно устанавливается некоторое отношение на паре множеств В∑, D∑ и определяется набор элементарных процессов взаимодействия d∈ D, D ⊆ D∑ , обеспечивающих взаимодействие между элементарными процессами b, b ∈ В. При этом, для учета ограничений на элементарные процессы d ∈ D со стороны элементов множества А, устанавливается отношение на паре A, D.
И, наконец, устанавливаются отношения на паре D∑, Е∑, позволяющие сформировать набор элементов е ∈ Е, E ⊆ E∑ ,которые войдут в данную реализацию системы. Для учета
