Общие замечания по семантике:
- существует сходство между приведенным выше способом описания
семантических свойств, связанных с синтаксическими единицами, и атрибутами
Кнута;
- отдельно от этой "атрибутной" семантики существует семантика, присущая
примитивным конструкциям, и способ ее использования в модели. Отчасти она
уже более или менее неформально рассмотрена в предыдущих разделах и
дальше будет только упоминаться. К ней относится понятие имени, например,
"имя-notol" или "имя-роли". Например, "имя" - терм, ссылающийся на отдельную
сущность в проблемной области и использующийся для обозначения единичной
сущности. Он является лексическим по существу, т.е. существует соответствие
один к одному с какой-либо строкой данного алфавита. Тем не менее следует
подчеркнуть,чтоподходынаоснове бинарных отношенийполностью
поддерживают как синонимы, так и омонимы;
- терминальные элементы, такие как NOTOL или IDEA (которые называют
"ключевыми словами"), также являются экземплярами имен (или примитивных
понятий), но на метаконцептуальном уровне. Во избежание путаницы в
синтаксисе и соответствующем языке эти имена не берутся в кавычки;
множество
на этом
- описание семантики (S1-S23) можно рассматривать как
статическихидинамическихограничений,действующих
метаконцептуальном уровне.
Ничто не препятствует рассматривать в этих подходах сами концептуальные
схемы или любой другой "абстрактный" язык как проблемную область. Этим
путем можно ввести несколько уровней описания. Но на каждом уровне описания
и в каждом состоянии концептуальной схемы и информационной базы
концептуальная схема и та часть проблемной области, которую она описывает,
различимы средой. Причина очевидна, так как концептуальная схема должна
быть известна для того, чтобы служить единственным "посредником", под
контролем которого возможно манипулирование и доступ к информационной
базе.
Д.4 Моделирование
Не существует единственного алгоритма разработки концептуальной схемы.
Один из способов проектирования концептуальной схемы в подходах на
основе бинарных отношений - взять в качестве отправного пункта неформальное
восприятие проблемной области. Нужно выбрать необходимые высказывания о
проблемной области и идентифицировать свободные переменные. Интуитивно
(S22)Множество ограничений подразумевает, что допустимы
любые изменения в информационной базе, которые не
нарушают объявленных ограничений
(R20)(S23)Идентифицирующие имена должны быть уникальными в
пределах концептуальной схемы, за исключением имен-
ролей, которые имеют более ограниченную область
уникальности (S10, S11, S15)