<На страницу назад | На страницу вперед >

5. Документирование и верификация

5.1. Введение

Целью IDEF1X-методологии является выработка непротиворечивого интегрированного определения семантических характеристик данных, которые могут использоваться для организации потоков данных и управления при создании распределенных баз данных и интеграции информационных систем. Это означает, что модели должны быть снабжены подробной документацией и тщательно проверены специалистами как по бизнесу, так и по теории систем. После построения и проверки исходной модели на первый план, по мере создания новых моделей и объединения их с существующими спецификациями, выходят соображения, связанные с управлением конфигурацией моделей данных.

С помощью средств программного обеспечения можно намного облегчить работу по созданию документации и конфигурации модели. В качестве простейшей системы поддержки для обслуживания определений сущностей, отношений и атрибутов может использоваться система обработки текстов. Для создания диаграмм могут использоваться стандартные интерактивные графические пакеты. Польза от этих средств, однако, ограничена, поскольку они не учитывают содержания модели. Большинство коммерческих систем словарей данных не поддерживают определений семантических моделей данных. Однако некоторые из этих словарей данных содержат разделы, определяемые пользователем. Они могут применяться для хранения определений и составления различных отчетов. Другой возможностью является построение простой базы данных для хранения описания модели и использование средств СУБД для генерирования различных отчетов. Активный трехсхемный словарь к проекту "Поддержка интегрированных информационных систем" (IISS) ВВС США снабжен системой управления реляционной базой данных. Кроме того, недавно стали коммерчески доступны специальные программные средства моделирования. Для программных средств моделирования важны следующие свойства:

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

<На страницу назад | На страницу вперед >