Введение в формальные методы описания бизнес-процессов. Кулябов Д.С - 66 стр.

UptoLike

Составители:

Рубрика:

66 Глава 7. Методика DFD. Диаграммы потоков данных

с другими элементами, и диаграмма проверяется с точки зрения соот-

ветствия модели окружения.

7.1.2. Мини-спецификация

Мини-спецификация — это алгоритм описания задач, выполняемых про-

цессами, множество всех мини-спецификаций является полной спецификаци-

ей системы. Мини-спецификации содержат номер и/или имя процесса, спис-

ки входных и выходных данных и тело (описание) процесса, являющееся спе-

цификацией алгоритма или операции, трансформирующей входные потоки

данных в выходные.

Проектные спецификации строятся по DFD и их мини-спецификациям

автоматически. Наиболее часто для описания проектных спецификаций ис-

пользуется методика структурных карт Джексона, иллюстрирующая иерар-

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

(последовательность вызовов, итерацию). Существует ряд методов автомати-

ческого преобразования DFD в структурные карты.

7.2. Синтаксис и семантика моделей DFD

Диаграммы потоков данных применяются для графического представле-

ния (Flowchart) движения и обработки информации. Обычно диаграммы это-

го типа используются для проведения анализа организации информационных

потоков и для разработки информационных систем. Каждый блок в DFD мо-

жет развёртываться в диаграмму нижнего уровня, что позволяет на любом

уровне абстрагироваться от деталей.

DFD-диаграммы моделируют функции, которые система должна выпол-

нять, но почти ничего не сообщают об отношениях между данными, а также

о поведении системы в зависимости от времени — для этих целей использу-

ются диаграммы сущность-связь и диаграммы переходов состояний.