
- •Черновик системотехническое проектирование
- •Компоненты проектирования иус Исходные данные для проектирования иус
- •Риск проекта иус
- •Компоненты проектирования. Стадии разработки, модели представления, уровни детализации Функциональные спецификации (фс) в проектировании систем
- •Компоненты проектирования ис
- •Информационно-логическая модель иус Общая схема информационно-логической модели. Определение структуры иус
- •Модели представления иус
- •Функциональная модель иус Описание функциональной модели (фм) Основные виды элементов фм
- •Диаграммы потоков действий-данных (модель деМарко)
- •Стратегии построения схем требований действий
- •Основные схемы декомпозиции действий и данных фм
- •Общая схема разработки функциональной модели
- •Функциональная модель области деятельности Модели данных Иерархия моделей данных
- •Некоторые концептуальные модели данных
- •Модель с классификацией информационных объектов
- •Нормализация концептуальной модели данных и целостность данных. Нормальные формы модели данных
- •Параметризация модели данных.
- •Пример нормализации реляционной модели
- •Пример нормализации функциональной модели данных.
- •Ссылочная целостность
- •Агрегирование объектов в предметные базы данных.
- •Концептуальные модели предметной области на основе логики предикатов
- •Сравнение различных моделей данных концептуального уровня.
- •Методики конструирования моделей данных Методика построения локальных моделей данных на основе выделения баэовых действий.
- •Методика построения локальных моделей данных на основе выделения баэовых объектов.
- •Методика раэработки типов данных на основе синтаксиса языка управления эаданиями.
- •Определение объекта.
- •Определение атрибута
- •Спецификация атрибутов
- •Объекты модели представления
- •События
- •Различные подходы к событийному управлению
- •Генераторы событий и процедуры формирования событий
- •Внешние события
- •Спецификация использования события
- •Спецификация предоставления события
- •Состояния
- •Спецификация автоматов с использованием механизма событий
- •Структура модулей Описание структуры модулей
- •Область видимости и время жизни переменных и констант
- •Процедуры
- •Пакеты, модуль (Unit)
- •Задачи и обмены Вэаимодействия задач
- •Пользовательский интерфейс
- •Конструирование последовательных управляющих структур
- •Приемы структурирования для последовательных управляющих структур
- •Логика модулей
- •Методика раэработки логики модулей на основе автоматной модели
- •Таблицы решений
- •Проектирование логики на основе асинхронных взаимодействий Базовые варианты обработки точек входа
- •1. Фиксированный порядок обработки входов.
- •2. Селективный выбор входов.
- •3. Селективный выбор с механизмом защиты.
- •4. Селективный выбор с выделением лимита времени.
- •5. Ответ всем запросившим.
- •6. Фиксированный порядок с использованием атрибута входа "count.
- •Логика асинхронных взаимодействий.Доступ к переменн-
- •Примеры конструирования логики с использованием асинхронных взаимодействий
- •Прочность и сцепление компонентов иус
- •Анализ информационной связности действий
- •Анализ функциональной связности систем
- •Анализ функциональной связности данных
- •Анализ информационной связности систем
- •Распределение обработки данных на основе анализа структур иус Формы распределенных данных
- •Синхронные и несинхронные данные Обеспечение синхронности данных
- •Регламент
- •Компоновка распределенной обработки
- •Анализ функциональных потребностей пользователей.
- •Анализ информационных потребностей пользователей.
- •Компоновка функциональных возможностей арм
- •Распределение данных по арм
- •Доступ к данным в локальной сети
Функциональная модель иус Описание функциональной модели (фм) Основные виды элементов фм
Проектирование ИУС на ранних стадиях характеризуется, как правило, высокой неопределенностью исходных данных и представлений разработчиков о функциях создаваемой системы. В терминах функциональной модели представляется возможным с определенной степенью формализации фиксировать и анализировать проектные решения и ряд исходных данных в самом начале процесса проектирования.
При построении ФМ основополагающими являются три аспекта рассмотрения:
функциональный;
информационный;
организационный.
Функциональный аспектотражает то, что должна выполнять (выполняет) проектируемая система. Основным видом элементов в этом случае выступаетдействие.
Действиеопределяентся как деятельность, направленная на достижение определенного результата . Этот результат связан со значениями данных. В дальнейшем ограничимся рассмотрением лишь дискретных действий. Для каждого дискретного действия можно определить моменты времени его начала и завершения.
Действие предполагает наличие объектов действий, под которыми будем понимать данные. Будем считать, что всякий результат действия может быть выражен через соответствующее значение данных.
Информационный аспектхарактеризует состав и структуру данных как объектов действий, составляющих информационный фонд системы. Основным видом_элементов в данном случае являетсяданные.
Данныеопределяются как информация об объектах, которая хранится, перемещается и изменяется путем выполнения действий.
Организационный аспектхарактеризует структуру исполнительных элементов системы, которые способны выполнять заданные действия над заданными данными и поддерживают ее информационный фонд. Основным видом_элементов в этом случае являетсясистема.
Системаопределяется как исполнительный элемент, способный во взаимодействии с другими системами выполнять заданные действия над заданными данными и обеспечить их хранение.
Основные отношения (конфигурации) функциональной модели
Идентификатор каждой конфигурации будем образовывать следующим образом:
<имя вида элемента><пробел><имя вида отношения><пробел>
<имя вида элемента>.
В качестве основных видов отношений для описания ФМ предлагается использовать следующие:
требует (call);
состав (composition) (contain);
вход (in);
выход (out);
использует (use);
предоставляет (let);
класс (class).
Вид отношения требуетопределяет необходимость существования элементов одного вида для реализации элементов исходного вида. Строя схему требований конкретного элемента необходимо ответить на вопрос : 'Какие элементы необходимо иметь, чтобы реализовать заданный элемент? '.
Вид отношения составопределяет включение одних элементов в состав других. Каждый элемент может входить в состав только одного элемента.
Вид отношения входуказывает на то, что некоторый информационный элемент исползуется как аргумент без изменения его значения.
Вид отношения выходуказывает на то, что некоторый информационный элемент исползуется как результат с изменением его значения.
Вид отношения используетуказывает на элементы, которые требуются для заданного элемента, но не входят в его состав.
Вид отношения предоставляетуказывает на элементы, которые входят в состав заданного элемента, но предоставляются для использования другими элементами из его окружения.
Используя введенные виды отношений и виды элементов опишем следующие отношения для представления ФМ:
ДЕЙСТВИЕ требует ДЕЙСТВИЕ (W call W);
ДЕЙСТВИЕ вход ДАННЫЕ (W in D);
ДЕЙСТВИЕ выход ДАННЫЕ (W out D);
СИСТЕМА состав СИСТЕМА (S comp S);
СИСТЕМА состав ДЕЙСТВИЕ (S comp W);
СИСТЕМА состав ДАННЫЕ (S comp D);
СИСТЕМА вход ДАННЫЕ (S in D);
СИСТЕМА выход ДАННЫЕ (S out D);
СИСТЕМА предоставляет ДАННЫЕ (S let D);
СИСТЕМА предоставляет ДЕЙСТВИЕ (S let W);
СИСТЕМА использует ДЕЙСТВИЕ (S use W);
ДЕЙСТВИЕ класс ДЕЙСТВИЕ (W class W);
СИСТЕМА класс СИСТЕМА (S class S);
ДАННОЕ класс ДАННЫЕ (D class D).
Основным в функциональной модели является отношение ДЕЙСТВИЕ требует--ДЕЙСТВИЕ. Графическое представление этого отношения назовем СХЕМОЙ ТРЕБОВАНИЙ ДЕЙСТВИЙ. Схема требований действий для каждого действия показывает множество действий, которые необходимы для выполнения заданного действия.
Отношение ДЕЙСТВИЕ вход ДАННЫЕопределяет входные данные для каждого действия.
Отношение ДЕЙСТВИЕ выход ДАННЫЕопределяет выхордные данные для каждого действия.
Совместно эти два отношения задают информационные связи действий. Их графическое представление назовем ИНФОРМАЦИОННОЙ СХЕМОЙ. Для каждого отдельного действия указанные два отношения в графическом представлении задают схему внешних информационных связей. Если объединить схемы внешних информационных связей всех действий, которые непосредственно связаны с некоторым действием в схеме требований, то получим схему потоков данных действия.
Особое место занимают схемы классификации систем, действий и данных, задаваемые соответствующими отношениями. Схемы классификации уже на ранних стадиях проектирования позволяют зафиксировать информацию об общих свойствах компонентов проектируемой системы.
Состав видов элементов функциональной модели может расширяться. Обычно такое расширение осуществляется путем введения потомков уже имеющихся видов. Например, в [3] предлагается рассматривать три вида процедурных элементов (действий):
функциональная область;
процесс;
функция.
Для всех потомков сохраняется преемственность свойств родителя. Поэтому все виды связей, указанные для вида элемента - родителя справедливы и для видов элементов - потомков. Применительно к примеру справедливы , например, следующие отношения:
СИСТЕМА состав ПРОЦЕСС, ПРОЦЕСС вход ДАННЫЕи другие.