Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
gos_pis.docx
Скачиваний:
1
Добавлен:
01.04.2025
Размер:
896.02 Кб
Скачать

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

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

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

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

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

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

@СП

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]