- •–Лек1----Тема 4: Методология функционального моделирования sadt
- •1. Классификация языков системного проектирования Комплекс языков системного проектирования в настоящее время включает такие классы языков и инструментальных средств поддержки:
- •2. Назначение и общие возможности
- •3. Состав функциональной модели
- •4. Иерархия диаграмм
- •5. Типы связей между функциями
- •5) Тип коммуникационной связности.
- •6. Процесс моделирования в sadt
- •1. Получение знаний в процессе опроса
- •2. Документирование полученных знаний
- •3. Корректность модели проверяется в процессе итеративного рецензирования
- •4. Координация процесса рецензирования
- •5. Модели используются после их одобрения
- •7. Типы и назначения диаграмм в sadt
- •1. Общее назначение idef3
- •2. Типы диаграмм в idef3
- •2.1. Диаграммы типа pfdd
- •2.2. Диаграммы типа ostn
- •Тема 5. Интерфейс sadt с системой имитационного моделирования Arena
- •1) Характеристика системы Arena
- •2) Интеграция Bpwin с системой Arena
- •1) Порядок создания моделей idef0.
- •2) Порядок создания моделей idef3.
- •1) Описание стандарта idef1.
- •1) Общая характеристика процесса проектирования баз данных с eRwin
- •2. Введение в реляционную диаграмму сущности
- •3. Определение типов сущностей
- •3.1. Стержневые сущности.
- •3.2. Кодовые сущности
- •3.3. Характеристические сущности
5. Типы связей между функциями
На SADT-диаграммах явно не указаны ни последовательность, ни время. Однако, обратные связи, итерации, продолжающиеся процессы и перекрывающиеся (по времени) функции могут быть изображены с помощью дуг.
Различают семь типов связывания.
1) Тип случайной связности. Связь между функциями мала или полностью отсутствует.
Рис. 8. Случайная связность
2) Тип логической связности. Данные и функции попадают в общий класс или набор элементов, но функциональных отношений между ними нет.
3) Тип временной связности. Функции связанны во времени, когда их данные используются одновременно или функции включаются параллельно, а не последовательно.
4) Тип процедурной связности. Функции выполняются в течение одной и той же части цикла или процесса.
Рис. 9. Процедурная связность
5) Тип коммуникационной связности.
Блоки используют одни и те же входные данные и/или производят одни и те же выходные данные.
Рис.10. Коммуникационная связность
6) Тип последовательной связности. Выход одной функции служит входными данными для следующей функции. Моделирует причинно-следственные зависимости.
Рис. 11. Последовательная связность
7) Тип функциональной связности. Отражает наличие полной зависимости одной функции от другой.
Рис. 12. Функциональная связность
Функциональная связь, показанная на рисунке 12, в математических терминах может иметь вид:
C = g(B) = g(f(A))
6. Процесс моделирования в sadt
Процесс моделирования в SADT является итеративной последовательностью шагов, приводящих к точному описанию системы.
Высокая эффективность SADT обусловлена разделением функций, выполняемых участниками создания SADT-проектов:
- эксперты являются источниками информации,
- авторы создают диаграммы и модели,
- библиотекарь координирует обмен письменной информацией,
- читатели рецензируют и утверждают модели,
- Комитет технического контроля принимает и утверждает модель.
Рис. 1. Процесс создания SADT-модели, описанный с помощью SADT-диаграммы.
Рассмотрим процесс детальнее.
1. Получение знаний в процессе опроса
Сведения об изучаемой системе получают с помощью методики сбора информации - опросов или интервью экспертов. Независимо от конкретного источника информации SADT рекомендует руководствоваться определенной целью при его использовании. Это означает, что вы должны определить свои потребности в информации прежде, чем выбрать очередной источник.
2. Документирование полученных знаний
Это этап создания модели, на котором автор-аналитик документирует полученные им знания о данной проблемной области, представляя их в виде одной или нескольких SADT-диаграмм.
3. Корректность модели проверяется в процессе итеративного рецензирования
Итеративное рецензирование предполагает, что в процессе работы автор и эксперт многократно совещаются (устно и письменно) относительно достоверности создаваемой модели. Итеративное рецензирование называется циклом автор/читатель.
Цикл автор/читатель начинается, когда автор принимает решение распространить информацию о своей работе с целью получения отзыва о ней. Материал для распространения оформляется в виде "папок" - пакетов с результатами работы, которые обсуждаются другими специалистами- читателями.
Письменные замечания помещаются в папку в виде нумерованных комментариев. Папки с замечаниями являются обратной связью, которую авторы получают на свою работу. –лек3---