Функциональное моделирование на примере sadt.

Функциональные модели отражают взаимосвязи функций системы (ПО). Structured Analysts Design Technique.

SADT - это совокупность методов правил и процедур, предназначенных для построения модели объекта.

Принципы SADT – это блочное моделирование, которое включает:

1. Отображение моделируемых функций в виде блоков

2. Отображение взаимодействия блоков друг с другом посредством дуг или стрел

3. Отображение интерфейса системы в виде дуг

Типы моделей SADT:

1. Функциональные (активностные)

2. Модели данных

IDF0 – функциональный вариант SADT методологий.

Принципы IDF0 моделирования:

1. Функциональная декомпозиция. Разбиение сложных действий операций и функций на более простые.

2. Принцип ограничения сложности. Использование блочного моделирования и ограничение кол-ва блоков на каждой диаграмме.

3. Принцип контекстной диаграммы (контекста). Моделирование системы начинают с ее контекстной диаграммы, представляющей в виде одного единственного блока главную функцию моделирования системы и определяющие границу этой системы.

Контекст

- абстрактный уровень описания системы.

Состав контекста:

1. Предмет (объект моделирования) – моделируемая система

2. Область моделирования (границы моделирования). Ширина (границы модели) и глубина (на каком уровне детализации модель является завершенной).

3. Цель моделирования – вопросы, на которые построенная модель должна дать ответ. Почему этот процесс должен быть смоделирован? Что должна показывать модель?

4. Точка зрения. Модель должна строится с единой точки зрения. Точка зрения должна соответствовать цели моделирования.

Основные элементы нотации:

1. Работа или activity. Это некий поименованный процесс, функции или задачи. Именем должен быть глагол или глагольная форма

2. Дуга или стрелка. Описывает взаимодействие работ с внешним миром или между собой.

Типы дуг:

1. Вход или input. Это материал или информация, который используется или преобразовывается работой. Блок может не иметь ни одной входной дуги.

2. Управление или control. Правила, стратегии, процедуры или стандарты, которые влияют и управляют функциями или работами. Каждая работа должна иметь хотя бы одну дугу управления. Стрелка сверху

3. Выход или output. Результат выполнения функций. Работа должна иметь хотя бы одну выходную дугу.

4. Механизм или mechanism. Ресурсы для выполнения работы. Люди, механизмы. Стрелка снизу

5. Вызов или call. Указатель на другую модель работы. Стрелка выходит снизу из блока.

Для каждой работы должны быть определены исходные данные, результаты, управляющая информация, механизмы, которые помогают выполнять данную функцию.

Виды дуг:

1. Граничные. Показывают взаимодействие системы с внешним миром. Для их обозначения используют ICOM-код (I1, I2, C3….)

2. Внутренние. Описывают связи работ между собой. Они не касаются границ диаграммы. Обозначаются наименованием.

Иерархия.

Моделируя систему, строят иерархию диаграмм. Начинают моделирование с единственного блока. Каждая последующая диаграмма увеличивает уровень детализации. Каждая подфункция (детализирующая диаграмма) может использовать и продуцировать только данные родительской функции или диаграммы. При этом стрелки не должны теряться. Не должно появляться ничего нового.

На каждой диаграмме блоки размещаются по ступенчатой схеме - по диагонали, в соответствии с последовательностью их работы или доминирования, которое понимается, как влияние одного блока на другой. При этом каждые блоки нумеруются. Все блоки диаграммы связаны нумерацией.

Виды доминирования (связей):

1. Прямая связь по входу.

2. Прямая связь по управлению

3. Обратная связь по входу

4. Обратная связь по управлению

5. Связь выход-механизм

Характер декомпозиции или характер связи:

1. Случайная. Связь между функциями мала или полностью отсутствует.

2. Логическая. Функции сгруппированы вместе, но функциональных взаимоотношений нет.

3. Временная связь. Данные используются одновременно несколькими функциями, или функции выполняются одновременно.

4. Процедурная связь. Функции выполняются в рамках одного процесса.

5. Коммуникационная. Функции используют одни и те же данные, но не обязательно одновременно.

6. Последовательная. Прямая или обратная связь по входу.

7. Функциональная. Одна функция полностью зависит от другой. Прямая и обратная связь по управлению.

Ветвление дуг.

Дуги могут разветвляться и соединяться. Ветвление означает, что вся информация или её часть может использоваться в каждом ответвлении. Дуга помещается до и после ветвления, если необходимо конкретизировать передаваемый набор данных.

Туннелирование стрелок:

[↓] – не в дочерней работе;

(↓) – не в родительской.

Туннелирование применяется для изображения малозначимых стрелок.

Основные правила IDEF0 моделирования:

1. Ограничение количество блоков на каждом уровне декомпозиции (2-8)

2. Наличие номеров блоков

3. Уникальность наименований

4. Разделение входов и управлений (правила применения роли данных)

Виды IDEF0 диаграмм:

- диаграммы как есть AS-IS – функциональная модель существующих процессов; анализ этой модели позволяет обнаружить слабые места и недостатки.

- как должно быть TO-BE – функциональная модель, описывающая новую организацию процессов учетом исправленных недостатков, выявленных в AS-ISмодели. (ничем не отличаются)

Стоимостной анализABC (ActivityBasedCosting) определение затрат на основе деятельности – методика для количественной оценки затрат, связанной как с определенными работами, так и с общей стоимостью процесса.

Рекомендации по построению IDEF0 диаграмм:

1. Диагональное расположение работ

2. Максимальное расстояние между стрелками на одной грани работы

3. Максимальное расстояние между работами, поворотами и пересечениями стрелок

4. Объединение похожих информационных стрелок.

Отчеты BPWin:

1. Modelreport (отчет по модели) – цель моделирования, точка зрения, область моделирования, имя автора

2. DiagramReport (отчет по диаграмме)

3. DiagramObjectReport (отчет обо всехобъектах)

4. ActivityBasedCostingReport (отчет о результатах стоимостного анализа)

5. ArrowReport(отчет о стрелках)

6. DataUsageReport (отчет о результатах связывания моделей процессов и моделей данных)

7. Model Consistency Report (отчетобошибкахмодели)

Типы ошибок: