Спецификация процесса (СП) используется для описания процессов. Фактически СП представляют собой алгоритмы описания задач, выполняемых процессами. Множество всех СП является полной спецификацией системы. Спецификации процесса содержат номер и/или имя процесса, списки входных и выходных данных и тело (описание) процесса, являющееся спецификацией алгоритма или операции, трансформирующей входные потоки данных в выходные. Существует много разнообразных методов, позволяющих задать тело процесса. Соответствующий язык может варьироваться от структурированного естественного языка или псевдокода до визуальных языков программирования (типа FLOW-форм и диаграмм Насси-Шнейдермана) и формальных компьютерных языков.
Структурированный естественный язык. Такой язык применяют для читабельного, строгого описания спецификаций процессов. Он состоит из подмножества слов, организованных в определенные логические структуры, арифметических выражений и диаграмм.
К логическим структурам относятся:
а) последовательная конструкция:
ВЫПОЛНИТЬ функция1
ВЫПОЛНИТЬ функция2
ВЫПОЛНИТЬ функция3
б) конструкция выбора:
ЕСЛИ <условие> ТО
ВЫПОЛНИТЬ функция1
ИНАЧЕ
ВЫПОЛНИТЬ функция2
КОНЕЦ ЕСЛИ
в) итерация.
ДЛЯ <условие>
ВЫПОЛНИТЬ функция
КОНЕЦ ДЛЯ
или
ПОКА<условие>
ВЫПОЛНИТЬ функция
КОНЕЦ ПОКА
Пример. При разработке диаграммы потоков данных была включена функция «Анализ котировок ЦБ и принятие решений об их продаже». Ниже приведены спецификации этой задачи в терминах структурированного естественного языка.
@СПЕЦ.ПРОЦ. 1.3.1. Анализ котировок ЦБ за последнюю декаду
@ВХОД – нет
@ВЫХОД – таблица изменения котировок
ВЫПОЛНИТЬ Описать курсор: найти в базе данных «БДЗ. Ценные бумаги»
наименование ЦБ, дату торгов, котировку ЦБ за последнюю декаду
ВЫПОЛНИТЬ открыть курсор
ДЛЯ всех записей курсора
ЕСЛИ ЦБ с другим именем
ВЫПОЛНИТЬ Перейти к следующей строке выходной таблицы, включить в выходную таблицу код эмиссии ЦБ, наименование ЦБ, дату начала декады, котировку ЦБ на начало декады (переменная $)
ИНАЧЕ
ВЫПОЛНИТЬ d = котировка ЦБ – $
ЕСЛИ d > некоторое критическое значение
ВЫПОЛНИТЬ Отметить, что d необходимо выводить
красным цветом
ИНАЧЕ
ВЫПОЛНИТЬ Отметить, что d необходимо выводить
синим цветом
КОНЕЦ ЕСЛИ
ВЫПОЛНИТЬ Вывести дату торгов и d в текущую строку
выходной таблицы
КОНЕЦ ЕСЛИ
КОНЕЦ ДЛЯ
@КОНЕЦ СПЕЦ.ПРОЦ 1.3.1
Недостатком этого способа описания является отсутствие инструментальных средств, позволяющих автоматически генерировать код программы по их спецификациям.
Таблицы решений. Проектирование спецификаций процессов с помощью таблиц решений заключается в задании матрицы, отражающей множество условий и возможные действия программы или пользователя. В табл. 11.5 приведен пример настройки таблицы решений для отображения кода эмиссии ЦБ, наименования ЦБ, даты торгов и котировки ЦБ. Описание, приведенное в табл. 11.5, означает, что после генерации модуля на экране будут отображаться по два атрибута таблиц «Эмиссия ЦБ» и «Курс продажи».
Все атрибуты сущностей являются отображаемыми (поля в колонке Display? установлены в Y). По атрибутам можно выполнять поиск (поля в колонке Select? установлены в Y). Все указанные в табл. 11.5 атрибуты нельзя включать и модифицировать, а поэтому нельзя и задавать пустые значения. В колонке «Длина» указаны размеры соответствующих полей на экране. Пустая последняя колонка означает, что имя поля на экране совпадает с именем соответствующего атрибута в БД.
Таблица 11.5. Пример настройки таблицы решений
Приведенный выше подход к описанию спецификаций программ используется в Oracle. По таблице решений ORACLE*Generator автоматически генерирует текст программы.
Визуальные языки проектирования спецификаций. Такие языки представляют относительно новую оригинальную методику описания процесса. Они базируются на основных идеях структурного программирования и позволяют определять потоки управления с помощью специальных иерархически организованных схем.
Рис. 11.3. Символы FLOW-формы
Одним из известных подходов к визуальному проектированию спецификаций является подход с использованием FLOW-форм. Каждый символ FLOW-формы имеет вид прямоугольника и может быть вписан в любой прямоугольник любого другого символа (рис. 11.3). Символы формы помечаются с помощью предложений на естественном языке или с использованием математической нотации.
Рис. 11.4. Пример описания спецификаций на визуальном языке проектирования
Дальнейшее развитие FLOW-формы получили в диаграммах Насси-Шнейдермана. Эти диаграммы отличаются от FLOW-форм обозначениями символов условного выбора и Case-выбора.
На рис. 11.4 приведен пример описания спецификаций задачи «Анализ котировок ЦБ и принятие решений об их продаже».
Контрольные вопросы
1. Почему важен этап концептуального проектирования систем распределенной обработки данных?
2. Опишите последовательность действий при синтезе КС.
3. Приведите пример описания КС средствами CASE*Designer.
4. Перечислите способы описания спецификаций процессов.
5. Приведите пример описания КС с помощью пакета Erwin.