коллективной разработке проекта – при обсуждении модели с конечными
пользователями очень удобно каждому из них предоставлять только ту часть
модели, которая имеет для него интерес. Декомпозиция модели облегчает
процесс проектирования.
Еще одним критерием сравнения СASE-средств является степень
проверки правильности построенных моделей. Ни одна система
автоматизации проектирования не может гарантировать соответствия
построенной концептуальной модели реалиям предметной области. Это
определяется только квалификацией разработчиков, их пониманием
предметной области и умением отобразить ее в модели.
Наличие средств проверки моделей может помочь устранить ошибки,
связанные с невнимательностью – отсутствие идентификатора у сущности,
отсутствие связи объекта с другими объектами, неправильное задание имен,
отсутствие информации, необходимой при дальнейшем проектировании
(объемные характеристики для классов объектов и связей между ними и т.
п.), противоречия в модели (что особенно важно при коллективной
разработке) и др.
Многие CASE-средства этим позволяют задавать в модели ограничения
целостности и генерируют программы (триггеры, хранимые процедуры),
проверяющие эти ограничения при эксплуатации БД. Кроме того, CASE-
средства могут генерировать программы ведения БД.
Многие CASE-средства позволяют экспортировать модели в другие
системы и, наоборот, импортировать их из других систем.
4.2. Пример нотации ER-модели – метод IDEF1X
Методики представления ER-моделей, используемые в разных
литературных источниках, а также в разных CASE-системах, несколько
отличаются друг от друга. В ряде CASE-средств (ERwin, ERStudio)
реализован метод IDEF1X, входящий в семейство стандартов IDEF. Метод
разработан для армии США и широко используется в государственных
учреждениях, финансовых и промышленных корпорациях. Он прост в
изучении и обеспечивает возможность автоматизации. Позволяет построить
модель данных, эквивалентную РМД, приведенной к 3НФ.
Каждой сущности присваиваются уникальное имя и номер, разделяемые
косой чертой и помещаемые над блоком (рис. 27). Первичный ключ (Primary
Key) – это атрибут (атрибуты), однозначно идентифицирующий экземпляр
сущности. На диаграмме первичные ключи размещаются выше
горизонтальной линии.