2.2.5 Методы задания спецификаций процессов

Спецификация процесса (СП)является конечной вершиной иерархии DFD. Решение о завершении детализации процесса и использовании миниспецификации принимается аналитиком исходя из следующих критериев:

• наличия у процесса относительно небольшого количества входных и выходных потоков данных (2-3 потока);

• возможности описания преобразования данных процессом в виде последовательного алгоритма;

• выполнения процессом единственной логической функции преобразования входной информации в выходную;

• описание процесса занимает не более одной страницы текста.

Фактически СП представляют собой алгоритмы описания задач, выполняемых процессами: множество всех СП является полной спецификацией системы. СП содержат номер и/или имя процесса, списки входных и выходных данных и тело (описание): алгоритм или операции, трансформирующие входные потоки данных в выходные. Тело процесса может быть задано при помощи структурированного естественного языка, псевдокода, визуальных языков проектирования или формальных компьютерных языков.

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

Спецификации должны удовлетворять следующим требованиям:

• для каждого процесса нижнего уровня должна существовать одна и только одна спецификация;

• спецификация должна определять способ преобразования входных потоков в выходные;

• нет необходимости (на данном этапе) определять метод реализации этого преобразования;

• спецификация должна стремиться к ограничению избыточности - не следует переопределять то, что уже было определено на диаграмме или в словаре данных;

• набор конструкций для построения спецификации должен быть простым и стандартным.

2.2.6 Словарь данных

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

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

2.2.7 Представление данных в форме Бэкуса-Наура

БНФ-нотация позволяет формально описать расщепление/объединение потоков. Поток может расщепляться на собственные отдельные ветви, на компоненты потока-предка или на то и другое одновременно. При расщеплении/объединении потока существенно, чтобы каждый компонент потока-предка являлся именованным.

Если поток расщепляется на подпотоки, необходимо, чтобы все подпотоки являлись компонентами потока-предка. И, наоборот, при объединении потоков каждый компонент потока-предка должен по крайней мере однажды встречаться среди подпотоков. Отметим, что при объединении подпотоков нет необходимости осуществлять включение общих компонент, а при расщеплении подпотоки могут иметь такие общие (одинаковые) компоненты.

Описания компонент данных в потоках данных и в хранилищах хранятся в словаре данных в форме Бэкуса-Наура. Ее синтаксис имеет вид:

Элемент_данных = <БНФ-выражение>,

где <БНФ-выражение> есть выражение в форме Бэкуса-Наура, допускающее следующие операции отношений:

= - означает "композиция из",

+ - означает "И",

[|] - означает "ИЛИ",

( ) - означает, что компонент в скобках не обязателен,

{ } - означает итерацию компонента в скобках,

" " - означает литерал.

К примеру:

«Запись студент» = «ID студента» + «ФИО» + «Адрес» + «Дата рождения» + «Пол» + «Телефон» + («Мобильный телефон»)

«ФИО» = «Фамилия» + «Имя» + «Отчество»

«Пол» = {«м» | «ж»}