- •Черновик системотехническое проектирование
- •Компоненты проектирования иус Исходные данные для проектирования иус
- •Риск проекта иус
- •Компоненты проектирования. Стадии разработки, модели представления, уровни детализации Функциональные спецификации (фс) в проектировании систем
- •Компоненты проектирования ис
- •Информационно-логическая модель иус Общая схема информационно-логической модели. Определение структуры иус
- •Модели представления иус
- •Функциональная модель иус Описание функциональной модели (фм) Основные виды элементов фм
- •Диаграммы потоков действий-данных (модель деМарко)
- •Стратегии построения схем требований действий
- •Основные схемы декомпозиции действий и данных фм
- •Общая схема разработки функциональной модели
- •Функциональная модель области деятельности Модели данных Иерархия моделей данных
- •Некоторые концептуальные модели данных
- •Модель с классификацией информационных объектов
- •Нормализация концептуальной модели данных и целостность данных. Нормальные формы модели данных
- •Параметризация модели данных.
- •Пример нормализации реляционной модели
- •Пример нормализации функциональной модели данных.
- •Ссылочная целостность
- •Агрегирование объектов в предметные базы данных.
- •Концептуальные модели предметной области на основе логики предикатов
- •Сравнение различных моделей данных концептуального уровня.
- •Методики конструирования моделей данных Методика построения локальных моделей данных на основе выделения баэовых действий.
- •Методика построения локальных моделей данных на основе выделения баэовых объектов.
- •Методика раэработки типов данных на основе синтаксиса языка управления эаданиями.
- •Определение объекта.
- •Определение атрибута
- •Спецификация атрибутов
- •Объекты модели представления
- •События
- •Различные подходы к событийному управлению
- •Генераторы событий и процедуры формирования событий
- •Внешние события
- •Спецификация использования события
- •Спецификация предоставления события
- •Состояния
- •Спецификация автоматов с использованием механизма событий
- •Структура модулей Описание структуры модулей
- •Область видимости и время жизни переменных и констант
- •Процедуры
- •Пакеты, модуль (Unit)
- •Задачи и обмены Вэаимодействия задач
- •Пользовательский интерфейс
- •Конструирование последовательных управляющих структур
- •Приемы структурирования для последовательных управляющих структур
- •Логика модулей
- •Методика раэработки логики модулей на основе автоматной модели
- •Таблицы решений
- •Проектирование логики на основе асинхронных взаимодействий Базовые варианты обработки точек входа
- •1. Фиксированный порядок обработки входов.
- •2. Селективный выбор входов.
- •3. Селективный выбор с механизмом защиты.
- •4. Селективный выбор с выделением лимита времени.
- •5. Ответ всем запросившим.
- •6. Фиксированный порядок с использованием атрибута входа "count.
- •Логика асинхронных взаимодействий.Доступ к переменн-
- •Примеры конструирования логики с использованием асинхронных взаимодействий
- •Прочность и сцепление компонентов иус
- •Анализ информационной связности действий
- •Анализ функциональной связности систем
- •Анализ функциональной связности данных
- •Анализ информационной связности систем
- •Распределение обработки данных на основе анализа структур иус Формы распределенных данных
- •Синхронные и несинхронные данные Обеспечение синхронности данных
- •Регламент
- •Компоновка распределенной обработки
- •Анализ функциональных потребностей пользователей.
- •Анализ информационных потребностей пользователей.
- •Компоновка функциональных возможностей арм
- •Распределение данных по арм
- •Доступ к данным в локальной сети
Модель с классификацией информационных объектов
(модель Смиттов)
Данную модель можно назвать моделью с атрибутами-категориями. Семантическая схема данной модели представлена на рис.4.6.
Рис.4.6.
Варианты представления схемы данных с атрибутами-категориями.
1. Представление с внешней отметкой атрибутов-категорий
(рис.4.9.)
Рис.4.9.
2. Представление в виде схемы классификации изображено на рис.4.7.
Рис.4.7.
3. Представление с детализацией атрибутов-категорий изображено на рис.4.8.
Рис.4.8.
Функциональная модель данных, дополненная атрибутами -
категориями
Семантическая схема данной модели представлена на рис.4.9.
Рис.4.9.
В модель вводится специальный объект перечислимого типа, значениями которого являются имена объектов - экземпляров классификации.
Модель КОДАСИЛ (CODASYL, июнь 1978 год)
Элемент данных- экземпляр наименьшей единицы поименованных данных; он представляется в базе данных значением.
Агрегат данных- является экземпляром поименованной совокупности элементов данных внутри некоторой записи.
Запись- экземпляр поименованной совокупности данных, состоящей из нуля, одного лил нескольких элементов или агрегатов данных; эта совокупность пределяется посредством статьи записи (типа записи).
Ключ базы данных- представляет собой уникальное значение, которое дентифицирует запись в базе данных.
Набор- экземпляр поименованной совокупности записей; эта совокупность определяется посредством статьи набора (типа набора). В каждом типе набора один тип записи может быть объявлен как тип записи - владелец, а один или более типов записей - как типы записей - члены набора.
Каждый экземпляр набора должен содержать один экземпляр объявленного для него типа записи - владельца.
Схема- полное описание базы данных.
База данныхпредставляет собой совокупность всех записей, наборов и областей.
Семантическая схема данной модели представлена на рис.4.10.
Рис.4.10.
На рис.4.11. представлен пример модели данного вида.
Рис.4.11.
Нормализация концептуальной модели данных и целостность данных. Нормальные формы модели данных
Первая нормальная форма предполагает, что все элементы имеют единственное значение (уникальны). Соответствие первой нормальной форме обеспечивается контролем словаря конструируемых объектов и атрибутов. Имена всех объектов и атрибутов должны быть уникальны.
Вторая нормальная форма предполагает, что каждый атрибут однозначно определяется одним ключом (простым или составным).
Вторая нормальная форма обеспечивается разделением всех атрибутов на группы, в каждой из которых имеется один ключ.
Третья нормальная форма предполагает отсутствие в структуре данных ранзиривных замыканий. Транзитивное замыкание в структуре данных присутствует, если между двумя объектами существует несколько путей по цепочке атрибутов, приводящих к одинаковым результатам поиска. Для приведения к третьей нормальной форме необходимо удалить избыточные атрибуты.
Четвертая нормальная форма предполагает или освобождение от связей 1->М, или выделение их в отдельные схемы.