}.
Для описания всех необходимых взаимосвязей в модели системы (3.3.1) используем два множества: W
и ?
. Множество W
является множеством всех операций, используемых при анализе и синтезе всех моделей S из множества S
. Множество операций W используется для определенной модели S. Множество S
– это множество моделей системы S, причем каждая модель S отражает одну технологию изготовления одного изделия, выпуска одного продукта (или его модификации). Множество W
может содержать теоретико-множественные операции объединения, пересечения и другие.
Множество ?
содержит предикаты, используемые для описания отношений на множествах-носителях всех моделей системы. Множество главных предикатов ? содержит предикаты ?
-?
, определяющие отношения связи на {A, В, D, E}, которые должны соответствовать цели F изготовления «изделия S
», F ? F
, S
? S
. Переход от модели системы S для одной технологии изготовления изделия к модели другой технологии осуществляется путем замены одной совокупности A,B,D,E,W,? на другую. Используя эти совокупности для технологий изготовления всех изделий, можно составить множество S
всех моделей S данной системы, S ? S
..
* В модели (3.3.1) для конкретной реализации системы S, значение предиката ?
? ? равно 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
,которые войдут в данную реализацию системы. Для учета ограничений на элементы е ? Е со стороны элементов множеств А и В должны быть установлены соответствующие отношения на парах А, Е и В, D.
* В процессе формирования модели конкретной реализации S описанная последовательность многократно повторяется и образует, в конечном счете, системный процесс достижения цели (модель которого описана в разделе 4.1) в некоторой системе-субъекте по созданию системы S. В качестве ресурсов выступают описания возможностей использования различных видов ресурсов для достижения некоторой глобальной цели, поставленной перед создаваемой системой; в качестве методов выступают описания различных процессов, которые можно реализовать для достижения цели.
Вначале описывается глобальная цель создания системы (этап 1), затем возможные виды ресурсов для построения элементов системы (этап 2), далее – процессы использования ресурсов (этап 3), которые можно реализовать в системе и ограничения (этап 4), накладываемые на цель, ресурсы, процессы. Затем выбирается конкретный процесс использования ресурсов для достижения цели (этап 7), процесс апробируется (этап 5), оценивается (этап 6). Если не возникает необходимости создания системы, то найденный процесс используется для достижения глобальной цели. Но в большинстве случаев оказывается, что имеющиеся ресурсы позволяют достичь глобальную цель только в виде процесса последовательного достижения ряда частных целей. Поэтому на следующих циклах производится преобразование глобальной цели в систему F локальных (на уровне подсистем) и, далее, элементарных целей (на уровне элементов) (этап 1); тогда этапы 2,3,4 будут заключаться в создании системы S на множествах элементов из имеющихся ресурсов и элементарных процессов с учетом ограничений, этапы 5,6,7 будут заключаться в анализе вариантов конкретной реализации системы. В результате на некотором уровне элементарности будут сформированы множества типа {А, B, D, Е}, описывающие модели конкретных реализаций системы для различных целей, соответствующих различным возможным изделиям и продуктам системы.
* В соответствии с принципом системности можно определить, в данном случае, что создаваемая система S является системой-объектом S
, система целей F, описывающая изделие системы, является системой-результатом S