Запараллеливание процессов

Инициация, следование и предшествование процессов

Базисные типы синтеза процессов

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

Пусть имеются: операционная предметная среда, заведомо обеспечивающая повторимость процессов, и два класса объектов: класс - {I} и класс {O}. Если операционная среда такова, что появление класса объектов I влечёт затем появление класса объектов O, то будем говорить, что инициирован процесс <I,P,O>.

Пусть имеется два процесса <I1,P1,O1> и <I2,P2,O2>. Если пересечение наборов O1 и I2 не пусто, то будем говорить, что процесс P2 в слабом смысле может следовать за процессом P1. Если же O1 = I2, то будем говорить, процесс P2 может следовать за процессом P1 в сильном смысле. Устанавливая предшествование или следование процессов (а далее, обсуждая альтернативность), мы пользуемся абстракцией отождествления компонент входа/выхода процессов, которая кажется простой лишь на первый взгляд.

Располагая сведениями о воспроизводимых процессах и отношениях следования (например, в виде своеобразной библиотеки процессов данной предметной области), можно чисто формально построить все цепочки "следования-предшествования" различной длины. Некоторые цепочки будут иметь идентичные участки. Будем говорить, что такие цепочки пересекаются.

Каждая такая цепочка отнюдь не изображает воспроизводимый в целом процесс. Дело в том, что определенное выше понятие следования не исключает появления вдоль цепочек "висячих" компонент входов/выходов, которые ещё должны быть поглощены или обеспечены некоторыми другими процессами. Смысл висячих компонент станет ясным при обсуждении запараллеливания процессов. Например, процесс «подготовить проект приказа» заканчивается объектом «проект приказа». А что с ним происходит дальше, исполнитель может и не знать.

Определенный интерес представляют те цепочки, которые берут начало от главной причины (будущего процесса) и заканчиваются на главной цели. Такие цепочки принадлежат схемам, которые на практике принято называть "принципиальными схемами" или "магистральными циклами". Принципиальная схема - один из исходных информационных образов для создания сложного процесса.

Следует различать реальное параллельное протекание двух процессов и запараллеливание процессов на схеме при проектировании схемы сложного процесса из более простых. Имея принципиальную схему процесса, схематически выстраивая сложный процесс из простых процессов (пользуясь при этом отношением следования), проектировщик объективно вынужден продвигаться, главным образом от выхода сложного процесса к его входу. Это чрезвычайно важное обстоятельство, которое недооценивается в аналитической практике.

При работе аналитика со специалистом-предметником это часто единственный способ "извлечь" у практика необходимые данные о системе. Приходится постоянно задавать вопрос: "Что надо предпринять (процесс), чтобы получить (данную компоненту), что нужно, чтобы смог запуститься, "в свою очередь", этот процесс-поставщик и т.д. " Конечный результат совместной работы этих "методом обращённого во времени хода мысли" обычно восхищает предметника: "Как это всё просто и быстро получилось!"

В качестве другой иллюстрации "обращённого во времени хода мысли" уместно привлечь построение дерева целей по проблеме, когда ветвление начинается с описания главной цели вплоть до построения задач (причин) нижнего уровня. Нечто аналогичное можно усмотреть в процессе построении функциональной схемы программного комплекса.

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

Элементарный акт запараллеливания конструктивно подготавливается ответом на два вопроса:

"какие процессы могут обеспечить компоненты входа данного процесса?"

"какие процессы могут поглотить данную компоненту выхода процесса?".

То есть:

В качестве запараллеливания с целью поглощения нежелательной компоненты можно привести пример создания на поверхности сильно шумящих механизмов дополнительного волнового фронта в противофазе (с использованием специальных излучателей); в результате получается исключительно мало шумящий механизм.

Если имеет место только сильное следование процессов, запараллеливание теряет смысл (неприменимо).

Дата добавления: 2014-01-07