Системная технология

Множество Φ_∑ содержит предикаты, используемые для описания отношений на множествах-носителях всех моделей системы. Множество главных предикатов Φ содержит предикаты Φ₁-Φ_r, определяющие отношения связи на {A, В, D, E}, которые должны соответствовать цели F изготовления «изделия S_F», F ⊆ F_∑, S_F ⊆ S_F∑ . Переход от модели системы S для одной технологии изготовления изделия к модели другой технологии осуществляется путем замены одной совокупности A,B,D,E,W,Φ на другую. Используя эти совокупности для технологий изготовления всех изделий, можно составить множество S_∑ всех моделей 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_∑ ,которые войдут в данную реализацию системы. Для учета ограничений на элементы е ∈ Е со стороны элементов множеств А и В должны быть установлены соответствующие отношения на парах А, Е и В, D.

* В процессе формирования модели конкретной реализации S описанная последовательность многократно повторяется и образует, в конечном счете, системный процесс достижения цели (модель которого описана в разделе 4.1) в некоторой системе-субъекте по созданию системы S. В качестве ресурсов выступают описания возможностей использования различных видов ресурсов для достижения некоторой глобальной цели, поставленной перед создаваемой системой; в качестве методов выступают описания различных процессов, которые можно реализовать для достижения цели.