Анатолий Левенчук - Системное мышление

Описания очень сложных систем (от микропроцессоров с их диаграммами состояний до предприятий с их регламентами работы) часто опираются на связанную с ними событийную структуру. Проще всего выяснить что-то про незнакомую систему – это спросить, какие с ней связаны события. В разработке информационных систем предприятия этот метод называется «событийный штурм» 61 61 https://en.wikipedia.org/wiki/Event_Storming (event storming, по аналогии с «мозговым штурмом»).

В онтологии 4D экстенсионализма мышление про объект-событие не отличается чем-то особенным: о событиях говорится просто как о частях системы, разве что событие не просто полная темпоральная часть (состояние) системы, но и имеет нулевую длину во времени. Более того, любые события являются сами по себе границами темпоральных частей индивидов – эти 3D-срезы разрезают индивиды на состояния, которые были до события и состояния, которые наступили после события.

Можно говорить и о сложных событиях, которые занимают некоторое ненулевое время, если их рассматривать «в лупу». Когда говорят о таких сложных событиях, то рассматривают их в контексте таких больших отрезков времени, на которых длительностью самого сложного события можно пренебречь. Так, говоря о созревании помидоров, можно выделить сам помидор как целое, и три его полных темпоральных части – зелёный помидор, событие покраснения (превращения зелёного помидора в красный) и красный помидор. В большинстве случаев при разговоре про помидор можно пренебречь временем события покраснения помидора и всеми промежуточными при этом состояниями, оно тут просто не принимается в расчёт: нас интересует зелёное и красное состояния помидора, объекты «зелёный помидор» и «красный помидор», а вот «промежуточный помидор» нас не интересует, поэтому мы считаем это просто событием.

Вот диаграмма пространства-времени(space-time map) из книги Chris Partridge «Business Objects: Re-Engineering for Re-Use» 62 62 http://www.brunel.ac.uk/~cssrcsp/BusObj.pdf , которая это иллюстрирует:

Все три измерения пространства на этой диаграмме показывают на одной оси, а время на другой оси. Помидор (экземпляр помидора #91, речь ведь идёт об индивидах) занимает какое-то пространство-время, а внутри его находятся индивиды-состояния зелёного помидора, красного помидора и сложное событие изменения цвета помидора.

Событие «вторая мировая война» тоже длилось много лет, но при рассмотрении «предвоенного мира» и «послевоенного мира» это событие считается прошедшим «мгновенно» – это просто «фотография мира» в тот момент, когда там шла война.

4D экстенсионализм позволяет легко договариваться и о тех объектах, которые вызывают трудности в их определении. Так, объект «отверстие» в языке определяется как нечто несуществующее, «дырка». В бублике дырка – то место, где нет теста. Но в инженерном мире дырка вполне себе существует как отдельный объект-индивид: её можно сделать (просверлить), её можно облицевать каким-нибудь покрытием. Скважина – это отверстие в земле, нефтяники на сленге её часто называют «дыркой»: она ценна именно тем, что в скважине ничего нет, поэтому по ней можно качать нефть или газ. «Проходка» – это отверстие в сплошной стене, через которое можно пропустить трубу (часто это отверстие чем-то облицовывают).

Если вспомнить, что отверстие занимает определённый объём, определённое место в пространстве-времени, то дальше ему можно дать имя (инженеры так и делают), и обсуждать какие-то технологические операции с ним – изготовление, учёт, проверку, ремонт, «настройку».

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

Так же можно обходиться и со странными объектами, которые нужно учитывать поимённо, но которые трудно выделить как отдельные – например, сварные швы. Сварной шов нужно запроектировать, потом сделать, потом его регулярно нужно проверять. Это означает, что у сварного шва должно быть индивидуальное имя, это индивид. Если понимать, что сварной шов – это просто место в пространстве (и времени!), то никаких проблем в мышлении о таком объекте не появляется: это такая же часть системы как собственно труба, или шестерёнка, или отверстие.

В 4D экстенсионализме всевозможные «изменения», «действия», «процессы»(activities) оказываются составными четырёхмерными индивидами, состоящими из всех четырёхмерных индивидов, принимающих в них участие.

Тем самым задать «процесс» – это просто перечислить все индивиды 63 63 Индивиды, как и роботы, склоняются в русском языке как одушевлённые или неодушевлённые существительные в зависимости от контекста. У нас «индивид» явно не личность. , которые взаимодействуют в его ходе, «участвуют» в процессе. Это взаимодействие меняет эти индивиды, меняет их состояния. А «участие»(participation) – это просто специализация отношения состава(composition, part_of).

Во многих графических языках моделирования стрелочки с ромбиками на концекак раз означают отношение состава, причём целое там, где ромбик, а часть – где ромбика нет. Жёлтый «шеврон вбок» это стилизованная стрелка, означает, что что-то меняется во времени, им обозначен «процесс». А голубые кружочки означают четырёхмерные объекты, участвующие в этом процессе.

Так, «танец» как индивид в какой-то момент времени начинает существовать, а в какой-то момент времени прекращает существование – процессы не вечны, как и любые другие индивиды. Танец является целым и включает в себя всех участвующих в нём индивидов как части (отношение участия как специализация отношения состава). Танец – это не только четырёхмерные танцоры, его исполняющие (танцоры – это темпоральные части каких-то людей, существующие от начала до конца танца), но и поддерживающий их фрагмент четырёхмерного пола, и ещё четырёхмерный объем воздуха с колебаниями в нём, ибо в этих колебаниях – музыка для танца. Танец – это индивид особого типа, «действие», но мы можем думать о нём примерно так же, как о «станке», «автомобиле», «отверстии». Сила системного мышления в том, что о самых разных предметах (включая процессы!) можно думать более-менее одинаково, и это сильно экономит мышление.