<На страницу назад | На страницу вперед>
А.4.3 Отношения базовой теории ситуаций
Теория ситуаций в высшей степени типизирована в том смысле, что мир,
который она описывает, делится на определенное число различных семантических
категорий; наиболее важными являются объекты, свойства и отношения первого
порядка, инфоны, ситуации, развития событий, типы объектов, типы ситуаций, процессы
и временные интервалы. Для фиксации этих различий в теории ситуаций,
разработанной в рамках языка детального описания, определяются термы, обозначающие
каждую из этих категорий. Кроме того, определены различные термы, обозначающие
класс специальных отношений, вместе с аксиомами, точно выражающими, какие категории
объектов могут находиться в этих отношениях. Располагая такими термами, пользователь
может точно выразить любую дополнительную информацию или ограничения, не поддающиеся
выражению в терминах языка схематик IDEF3.
В частности, отношения "поддерживает" (supports) и "отрицает" (denies) между ситуациями и инфонами рассматривались выше. Отношение "вхождение" (occurrence-of) устанавливается между ситуацией s и UOB U только в том случае, если s является экземпляром U. Отношение "активация" (activation-of) устанавливается между развитием событий c и процессом P только в том случае, если c является активацией P. Отношение "входит в" (occurs-in) устанавливается между ситуацией s и развитиями событий c только в том случае, если s входит в c. Отношение "действие в" (activity-in) отображает это отношение на уровне типов - это отношение устанавливается между UOB U и процессом P только в том случае, если U относится к типам ситуаций, составляющих P. Отношение "относится к типу" (of-type) устанавливается между ситуацией s и UOB U только в том случае, если s является экземпляром U. Отношение "объект в" (object-in) устанавливается между объектом b и ситуацией s или UOB U только в том случае, если b входит в s или в экземпляры U.
Для описания временной структуры сложных процессов нужны различные временные отношения. Единственным требуемым примитивным отношением является отношение "соединяется" (meets), когда интуитивно один интервал i соединяется с другим интервалом j только в том случае, если конечная точка i является начальной точкой j. Другие отношения (например, "предшествует" (precedes), "начинается" (starts), "заканчивается" (finishes), "совмещается" (overlap), "в течение" (during)) могут быть определены посредством соединения (meet), как показано в разделе A.5.4. Обратите внимание: интервалы рассматриваются как объекты первого порядка, следовательно, все временные отношения являются отношениями первого порядка. Временные отношения используются для определения различных соответствующих временных отношений между ситуациями.