Это поможет каждому рецензенту заменить их значения терминов на те, которые были выбраны разработчиками модели. Таким образом, значения терминов не окажутся непонятными для рецензентов. Изменение значений терминов может потребовать изменений в диаграмме.
c) Предоставьте обзор функций диаграммы для рецензирования.
Рисунок А4.4. Матричная форма
Процесс краткого обзора функций является организованным, пошаговым процессом, когда задаются вопросы, с помощью которых можно выявить потенциальные недостатки модели. Сквозной контроль разделяется на шесть шагов. На каждом шаге модель может быть исправлена. Эти исправления могут быть записаны для дальнейшей корректировки модели, а могут быть внесены сразу.
Шаг 1: Просмотр таблицы сущностей
Этот шаг позволяет рецензенту получить общее представление о содержании модели. Так как таблица сущностей содержит и те сущности, которые были вычеркнуты, рецензент получает более полное представление об изменении модели с первоначального вида до текущего состояния. На этом шаге рецензент должен изучить описания сущностей.
Критерии для приемки:
a) Выбранные сущности представляют информацию, необходимую для опоры на среду для которой разрабатывается модель.
b) Выбранные сущности, по мнению рецензента, соответствуют целям и сфере применения модели.
Если задача не очевидна, то критика должна быть отложена до 2 шага, приведенного ниже. Однако первые впечатления не должны теряться. Они должны быть помещены на доску или прикреплены к лекционным плакатам до тех пор, пока решение не будет найдено.
Шаг 2: Чтение диаграммы обзора функций
Как только рецензент разобрался в сущностях, можно приступить к прочтению диаграммы, чтобы определить, корректно ли представлены отношения.
Критерии для принятия диаграммы:
a) Множество отношений соответствует правилам обработки, определенным в руководстве по IDEF1X.
b) Все требуемые отношения показаны либо прямо, либо косвенно.
c) Диаграмма структурирована таким образом, что ее легко читать (минимальное пересечение линий, связанные сущности расположены близко друг к другу).
d) Утверждения зарегистрированы.
Шаг 3: Проверка ключевых атрибутов
Этот шаг служит для того, чтобы проверить действительно ли ключевой атрибут уникальным образом идентифицирует каждый экземпляр сущности. Рецензент проверяет, все ли элементы/атрибуты являются необходимыми.
Критерии для приемки:
a) Значения первичных ключей в группе атрибутов уникальным образом идентифицируют каждый экземпляр сущности.
b) Первичные ключи атрибутов не нарушают правила о недопустимости повторов, и ни один из ключей не может быть нулевым.
Шаг 4: Проверка перемещений ключевых атрибутов.
На этом шаге рассматриваются перемещения первичных ключей от родительских к дочерним сущностям.
Критерии приемки:
a) Перемещение первичного ключа соответствует правилам моделирования.
b) У всех внешних ключей есть сущности, от которых они зависят.
c) Перемещения первичных ключей соответствуют отношениям.
Шаг 5: Проверка неключевых атрибутов
Атрибуты, которые не входят в состав первичного ключа, анализируются для каждой сущности.
Критерии приемки:
a) Атрибуты не нарушают правило о недопустимости повторов.
b) Атрибуты служат для сбора информации, рассматриваемой в модели.
c) Каждый атрибут уникален.
Шаг 6: Установление статуса диаграммы
a) Рекомендована к принятию в его нынешнем виде.
b) Рекомендована к модифицированию.
c) Черновой вариант: Внесено слишком много изменений, необходимо построить заново, в будущем необходимо пересмотреть.
d) Не принимается: Требуется полностью пересмотреть диаграмму.
Приложение B Формализация
B1. Введение
B1.1. Цели
Цель формализации состоит в том, чтобы точно определить, что подразумевает конструкция моделирования IDEF1X, предусматривая для каждой конструкции построение эквивалентного множества высказываний на языке формализации. Графический язык можно рассматривать как практичный, краткий способ выражения эквивалентных формальных высказываний.
IDEF1X включает элементы реляционной модели, ER модели и генерализации. Добавлены понятия разреза данных, глоссарий и уровней моделей, чтобы решить проблему масштаба, которая возникает на практике. В результате IDEF1X не может быть формализована строго в терминах, например, реляционной модели. Вместо этого используется непосредственно логика первого порядка. В целях повышения доступности формализации, используется лишь ограниченное подмножество логики – по существу то, что описывается во вводной части. Часть формализации опирается на метамодель IDEF1X. Отношения, назначенные в формализме в режиме интерпретации, могут неформально рассматриваться как обычные примеры экземпляров таблиц, используемых в IDEF1X. Формальные предложения в конструкциях моделирования могут рассматриваться как элементарный язык запросов для экземпляров таблиц. Метамодель, экземпляры таблиц и язык запросов должны быть полезны сами по себе, независимо от детализованного формализма.
Формализация предназначена для того, чтобы сформировать прочную основу для построения конструкций, основанных на IDEF1X, в таких областях как SQL или других генераторов кода, преобразования в другие стили моделирования и наоборот, интеграции с другими видами моделей, включая динамические и также статистические свойства. Каждый из них требует точного определения семантики, основанного на формализации.
B1.2. Краткий обзор
Формализация разделяется на два этапа. Во-первых, процедура представлена таким образом, что действующая модель IDEF1X может быть переформулирована как теория первого порядка. Цель состоит в том, чтобы точно сформулировать семантику действующей модели IDEF1X. Квалификация «действующая» очень важна – если применять процедуру формализации к недействующей модели IDEF1X, результат будет бессмысленным. Во-вторых, процедура применяется к (действующей) метамодели IDEF1X для того, чтобы формально определить набор допустимых IDEF1X моделей.
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.