- •Черновик системотехническое проектирование
- •Компоненты проектирования иус Исходные данные для проектирования иус
- •Риск проекта иус
- •Компоненты проектирования. Стадии разработки, модели представления, уровни детализации Функциональные спецификации (фс) в проектировании систем
- •Компоненты проектирования ис
- •Информационно-логическая модель иус Общая схема информационно-логической модели. Определение структуры иус
- •Модели представления иус
- •Функциональная модель иус Описание функциональной модели (фм) Основные виды элементов фм
- •Диаграммы потоков действий-данных (модель деМарко)
- •Стратегии построения схем требований действий
- •Основные схемы декомпозиции действий и данных фм
- •Общая схема разработки функциональной модели
- •Функциональная модель области деятельности Модели данных Иерархия моделей данных
- •Некоторые концептуальные модели данных
- •Модель с классификацией информационных объектов
- •Нормализация концептуальной модели данных и целостность данных. Нормальные формы модели данных
- •Параметризация модели данных.
- •Пример нормализации реляционной модели
- •Пример нормализации функциональной модели данных.
- •Ссылочная целостность
- •Агрегирование объектов в предметные базы данных.
- •Концептуальные модели предметной области на основе логики предикатов
- •Сравнение различных моделей данных концептуального уровня.
- •Методики конструирования моделей данных Методика построения локальных моделей данных на основе выделения баэовых действий.
- •Методика построения локальных моделей данных на основе выделения баэовых объектов.
- •Методика раэработки типов данных на основе синтаксиса языка управления эаданиями.
- •Определение объекта.
- •Определение атрибута
- •Спецификация атрибутов
- •Объекты модели представления
- •События
- •Различные подходы к событийному управлению
- •Генераторы событий и процедуры формирования событий
- •Внешние события
- •Спецификация использования события
- •Спецификация предоставления события
- •Состояния
- •Спецификация автоматов с использованием механизма событий
- •Структура модулей Описание структуры модулей
- •Область видимости и время жизни переменных и констант
- •Процедуры
- •Пакеты, модуль (Unit)
- •Задачи и обмены Вэаимодействия задач
- •Пользовательский интерфейс
- •Конструирование последовательных управляющих структур
- •Приемы структурирования для последовательных управляющих структур
- •Логика модулей
- •Методика раэработки логики модулей на основе автоматной модели
- •Таблицы решений
- •Проектирование логики на основе асинхронных взаимодействий Базовые варианты обработки точек входа
- •1. Фиксированный порядок обработки входов.
- •2. Селективный выбор входов.
- •3. Селективный выбор с механизмом защиты.
- •4. Селективный выбор с выделением лимита времени.
- •5. Ответ всем запросившим.
- •6. Фиксированный порядок с использованием атрибута входа "count.
- •Логика асинхронных взаимодействий.Доступ к переменн-
- •Примеры конструирования логики с использованием асинхронных взаимодействий
- •Прочность и сцепление компонентов иус
- •Анализ информационной связности действий
- •Анализ функциональной связности систем
- •Анализ функциональной связности данных
- •Анализ информационной связности систем
- •Распределение обработки данных на основе анализа структур иус Формы распределенных данных
- •Синхронные и несинхронные данные Обеспечение синхронности данных
- •Регламент
- •Компоновка распределенной обработки
- •Анализ функциональных потребностей пользователей.
- •Анализ информационных потребностей пользователей.
- •Компоновка функциональных возможностей арм
- •Распределение данных по арм
- •Доступ к данным в локальной сети
1. Фиксированный порядок обработки входов.
Обозначчение:
accept w(...) do...end
w_ proc
accept r(...) do...end
r_ proc
Первоначально принимается вызов по входу "w", если его нет задача В ожидает его появления. Если вызов по входу "w" имеется, то выполняется его обработка в критической секции "do ...end", после чего задачи А и В продолжают независимое выполнение.Для задачи В выполняются действия обозначенные w_proc, а затем принимается вызов по входу "r" аналогично предыдущему описанию.
Достоинства: простота организации взаимодействия задач, нет необходимости в соответствующей организации структур данных в задаче В для хранения передаваемой информации.
Недостаток: возможны длительные простои задачи В при отсутствии вызовов по входам "w" и "r".
2. Селективный выбор входов.
Обозначение - select
accept w(...) do...end
w- proc
or
accept r(...) do...end
r- proc
end select
Принимается вызов по любому готовому входу "w" или "r", т.е. по входу вызов которого уже произошел. Если имеются вызовы одновременно по входу "w" и "r" то выбирается любой вход.
Достоинства: простои задачи В из-за отсутствия обращений ко входам уменьшается, задача простаивает только в том случае, если нет обращений ни ко входу "w" ни ко входу "r".
Недостаток: необходима соответствующая оргагизация структур данных для хранения полученной информации для избежания ее потерь.
3. Селективный выбор с механизмом защиты.
Обозначение- select
when fw(D)
accept w(...) do...end
w- proc
or
when fr(D)
accept r(...) do...end
r- proc
end select
Функции fw(D) и fr(D) (логические) не позволяют обработать вызов по соответствующему входу до тех пор по их значение не будет TRUE. Обработка соответствующего вызова входа может быть выполнена только тогда, когда значение соответствующей логической переменной TRUE и имеется вызов соответствующего входа.
Достоинства: за счет блокировок входов можно обеспечить сохранность передаваемой информации, простои задачи В возможны только в случае блокировок
входов и отсутствия вызовов.
Недостаток: более сложная организация логики взаимодействий.
4. Селективный выбор с выделением лимита времени.
Обозначение: select
accept w(...) do...end
w-proc
or
accept r(...) do...end
r-proc
or
delay T
delay_proc
end select
Задача В находится в состоянии ожидания обращений ко входу "w" или "r" не более времени Т. Если за это время не будет ни одного обращения ко входам, то задача В выходит из состояния ожидания.
Достоинства: длительность ожидания вызовов входов для задачи В ограничено временем Т.
Недостаток: вызывающая задача, которая обращается ко входам задачи В может ждать обработки своих обращений более дрлго чем в других вариантах, т.к. она может обратиться к задаче В в момент времени t>Т.