Комплексное определение для информационного моделирования (IDEF1X), страница 7

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

Каждый экземпляр домена имеет уникальное значение в определенном представлении – то есть, уникальные значения внутри домена. Домен Код штата может быть представлен по-разному: полное название (Алабама, Аляска, Аризона, …), аббревиатура (AL, AK, AZ) или номер штата (1,2,3). Каждый экземпляр домена должен быть уникальным в домене. Использование первой буквы в качестве представления является неверным (А, А, А).

Существует два основных типа доменов: основной домен и типизированный домен.

Основной домен может иметь следующий тип данных: буквенный, численный и логический. Другие типы данных: дата, время и т.д. могут также использоваться, но стандарт IDEF1X включает основные три типа по умолчанию.

Основные домены могут описываться правилом доменов. Правила доменов используются для того, чтобы определит допустимые значения доменов. Два наиболее общих правил доменов: список значений и перечень правил.

Правило списка значений домена определяет множество допустимых значений экземпляров доменов. Атрибуты домена с правилом списка значений домена допустимы только тогда, когда значения их экземпляров являются частью списка значений. Обычное использование этих правил определяет список закодированных значений, таких как Код штата или заголовки (Mr, MRS,…).

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

Наконец, для доменов, правила доменов могут быть неопределенны. В этом случае, домен ограничивается правилами, связные с типов данных или супер-типов, если они есть. Фамилия – это хороший пример домена без правила доменов, он может принимать любое допустимое значение из букв.

Экземпляр основного домена существует, когда он имеет специфический тип данных или когда он удовлетворяет правилам домена.

Рисунок 2. Пример иерархии доменов

Типизированный домен – это подтип основного домена или другого типизированного домена, который может в дальнейшем ограничить допустимые значения домена. Типизированный домен существует, когда он определенного типа данных и удовлетворяет правилам домена супертипа. В этом случае, иерархия домена может быть определена увеличивающей сложностью правил домена вниз по иерархии.

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

В примере на рис. 2, домен Частота может иметь числовой тип данных без правил домена. Домен аудио частота может быть представлен в герцах (Гц) с перечнем добавленных правил доменов, которые ограничивают допустимые значения экземпляров между 1 и 250 000 Гц.  Домен Сонник ограничивает дальнейший перечень по предельным возможностям человеческого уха между от 20 до 20 000 Гц с дополнительным перечнем правил. Радио частота доменов имеет правило от 1 до 300 000 000 Гц. Отметим то, что экземпляр домена должен соблюдать правила всех родительских доменов и собственных.

3.2.2. Синтаксис домена

Не существует определенного синтаксиса для доменов в IDEF1X. Информация о домене должна храниться в глоссарии как свободное описание типа данных для основных доменов, связи подтипов доменов, правила доменов и представлений для всех доменов.

3.2.3. Правила доменов

a)  Домен должен иметь уникальное имя, соответствующее его значению. Остальные названия являются псевдонимами домена.

b)  Домен бывает или основным или типизированным.

c)  Основной домен может быть следующего типа: текстовый, численный или логический.

d)  Домен может иметь правило домена.

e)  Правило домена может быть представлено либо в виде перечня, либо в виде списка значений.

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

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

h)  Типизированный домен – это подтип основного домена или другого типизированного домена.

i)  Типизированный домен, ссылающийся на другой домен – это его подтип.

j)  Ни один домен не может прямо или косвенно являться подтипом самого себя.

3.3. Представления

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

3.3.1. Семантика представления

В IDEF1X, сущности и домены определены в глоссарии и изображены на представлениях. В этом случае сущность, такая как СОТРУДНИК, может появиться в нескольких представлениях, моделях и иметь разные атрибуты в каждом. В каждом представлении требуется, чтобы одна и та же сущность обозначала одно и то же. Подразумевается, что  сущность СОТРУДНИК была классом всех сотрудников. То есть объекты реального мира классифицированы по принадлежности к классу СОТРУДНИК на базе некоторой схожести. В этом смысле то, что обозначает сотрудника, определено в глоссарии. Подобным образом, домен ИМЯ-СОТРУДНИКА определяется единожды и используется как атрибут в подходящем представлении.

У представления есть имя и выборочно описывается дополнительная информация. Дополнительная информация может включать имя автора, дату создания и последнего изменения, уровень (ER, с ключами, с атрибутами и т.д.), статус обзора и т.д.