<На страницу назад | На страницу вперед>
А.4.2 Типы, UOB и процессы
В большинстве физических систем можно наблюдать многократные вхождения ситуаций,
которые в некотором отношении подобны. В таких случаях можно сказать,
что подобные ситуации относятся к одному типу. Например, одна ситуация,
в которой Билл Клинтон бегает по вторникам, и другая ситуация, в которой он
бегает по средам, подобны, поскольку в обеих ситуациях Клинтон бегает, следовательно,
они являются экземплярами ситуации одного типа, хотя могут иметь различия по
многим аспектам. Таким образом, типы ситуаций представляют общие повторяющиеся
шаблоны, характерные для многих разных конкретных ситуаций. Однако, это точно
отражает характер UOB в IDEF3; следовательно, UOB идентифицируются по типам
ситуаций. В теории ситуаций тип ситуации специфицируется оператором, который
абстрагируется от подобных ситуаций и соответствующей переменной абстракции;
в данном случае используется оператор "тип" (type-of). (В самой теории
ситуаций переменные семантически соответствуют фактическим "переменным
объектам" реального мира, которые иногда называются "параметрами"
или "неопределимыми". В данном случае эти сущности можно исключить,
хотя в них может возникнуть некоторая репрезентативная потребность). Следовательно,
указанное выше действие можно представить как "(type-of ?sit (supports
?sit (running Clinton)))". Подобным образом, разные объекты могут представлять
одно и то же в определенных аспектах; их можно считать экземплярами одного типа
объектов. Так, Билл Клинтон и Джимми Картер подобны, поскольку оба являются
политиками-мужчинами, т.е. оба относятся к типу "политик-мужчина".
Следовательно, "политик-мужчина" может считаться свойством,
которое является общим для Клинтона и Картера, и может быть обозначено в языке
детального описания следующим образом: "(type-of ?x (and (politician ?x)
(male ?x)))". В IDEF3 и типы ситуаций, и типы объектов можно идентифицировать
по свойствам - ситуаций и индивидов, соответственно. Оператор "тип"
(type-of) можно рассматривать просто как вариант обозначения оператора абстракции
свойства "kappa" (раздел A.1.3).
Большое значение типов в контексте сбора данных о процессах и моделирования процессов (а также в контексте моделирования вообще) объясняется тем, что семантическое содержание практически всех описаний процессов связано с типами. Точнее говоря, типичный процесс можно наилучшим образом представить как структурированную совокупность UOB, связанных между собой таким образом, что обеспечивается отражение потока процессов в данной активации процесса, т.е. временные отношения между экземплярами этих типов в определенной активации. Например, рассмотрим процесс крашения, представленный на рис. A-1. В этой диаграмме представлен общий процесс, который начинается с экземпляра UOB "Покрасить деталь" (представлена блоком "Покрасить деталь" без какого-либо предшествующего элемента), после которого следует экземпляр "Проверить покрытие". В этой точке, в зависимости от результате проверки, возможно закольцовывание экземпляра процесса на другой экземпляр "Покрасить деталь" или продолжение процесса для получения высушенной детали. Таким образом, в принципе существует бесконечное число способов реализации этого одного процесса посредством определенного развития событий, в зависимости от того, сколько раз закольцовывается такое развитие событий для повторения действия "Покрасить деталь".
Рис. A-1
Сценарий "Покрасить/Проверить/Высушить"
В общем плане тип ситуации (т.е. UOB) определяется в терминах переменной "?sit", лежащей в диапазоне произвольных ситуаций, и формулы j, специфицирующей условия, являющиеся общими для ситуаций данного типа. В частности, для ссылки на действие используются термы, имеющие форму "(type-of ?sit j)", которые читаются следующим образом: "тип ситуации такой, что действует j". Таким образом, если вернуться к приведенному выше примеру, то "(type-of ?sit (supports ?sit (running Clinton)))" читается следующим образом: "тип ситуации такой, что поддерживается бег Клинтона" или "тип ситуации, в которой Клинтон бегает", что в данном случае звучит более естественно. Ситуация s относится к типу "T = (type-of ?sit j)" только в том случае, если j является истинной, когда "?sit" делает ссылку на s. Если j имеет форму "(supports ?sit i)", где i представляет терм инфона, то можно сказать, что данное действие имеет внутреннюю спецификацию; в противном случае оно имеет внешнюю спецификацию. Разница заключается в том, что внутренняя спецификация описывает действие в терминах инфонов, которые поддерживают вхождения, тогда как внешняя спецификация может делать ссылку на свойства действия за рамками инфонов, которые поддерживают вхождения, например, причины вхождений или издержки, связанные с их сопровождением.