20. Методы задания спецификаций процесса. Структурированный естественный язык.

21. Методы задания спецификаций процесса. Таблицы решений.

22. Методы задания спецификаций процесса. Визуальный язык проектирования спецификаций.

СП используется для описания функционирования процесса в случае отсутствия необходимости детализировать сего с помощью DFD, т.е. если процесс небольшой, а занимает до 1 страницы текста. Фактически СП представляет собой алгоритм описания задач, выполняемых процессами.

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

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

@СП

@вход=<имя символьных данных>

@выход =< имя символьных данных >, где имя символьных данных соответствует имени из словаря данных.

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

СП удовлетворяет требованиям:

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

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

3. Спецификация должна стремиться к ограничению избыточности.

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

20. Задания спецификаций структурированным естественным языком.

Применяется для читабельного и структурного описания процессов. Является комбинацией строгости языка и программирования. Состоит из подмножества слов, организованных в определенные логические структуры, арифметические выражения и диаграммы. В состав языка входят: глаголы, ориентированные на действия и связанные с объектом; термины, определяющиеся на любой стадии проекта ПО, - это существительные, задачи, процедуры, символы данных и т.д., существительные как научные данные, предлоги и союзы в логических отношениях, общеупотребительные математические и физические термины, арифметические уравнения, таблицы, диаграммы, графы, комментарии.

При использовании структурированного естественного языка приняты соглашения:

1. Логика процесса выражается в виде последовательной конструкции ввода и итераций

2. Ключевые слова: если, выполнить, иначе, то – должны быть написаны заглавными буквами

3. Слова, определяемые в словаре данных, должны быть написаны заглавными буквами

4. Глаголы должны быть активными, недвусмысленными и ориентированными на целевое действие (заполнить, вычислить и т.д.)

5. Логика процесса должна быть четко и недвусмысленно выражена.

21. Таблицы решений.

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

С помощью таблиц решений задают матрицы, отражающие множество входных условий по множеству действий.

Таблицы решений описывает условия и действия, которые имеют конструкцию ЕСЛИ, ТО. Для условий используется ЕСЛИ и требуется ответ «да» или «нет». Для определения действий используется ТО.

Построение таблиц осуществляется пошагово:

1. Идентифицируются все условия и переменные, а также их значения, которые может иметь каждая переменная в СП.

2. Вычисляется число комбинаций условий. Если все условия бинарные, то существует 2ⁿ комбинаций, где n-переменная.

3. Идентифицируется каждое из возможных действий, которые могут вызываться СП

4. Строится пустая таблица, включающая все возможные условия и действия, а также номера комбинаций условий.

5. Редуцируют (уменьшают) комбинации условий, заменяя «-» обобщенные комбинации «да» и «нет»

6. Проверяют каждую комбинацию условий и идентифицируют соответствующие действия

7. Выделяют комбинации условий, которые не влекут никаких действий

8. Обсуждают, осмысливают и отлаживают таблицу

Таблицы решений являются диаграммами Венна.

Дерево решений позволяет представить процесс схематично и является разновидностью таблицы решений, применяется при малом числе действий и небольшом количестве комбинаций.