Лекция: Конец если
итерация:
| для<условие> выполнитьфункция конец для | или | пока<условие> выполнитьфункция конец пока |
При использовании структурированного естественного языка приняты следующие соглашения:
— Логика процесса выражается в виде комбинации последовательных конструкций, конструкций выбора и итераций.
— Ключевые слова ЕСЛИ, ВЫПОЛНИТЬ, ИНАЧЕи т.д. должны быть написаны заглавными буквами.
— Слова и фразы, определенные в словаре данных, должны быть написаны заглавными буквами.
— Глаголы должны быть активными, недвусмысленными и ориентированными на целевое действие (заложить, вычислить, извлечь, а не модернизировать, обработать).
— Логика процесса должна быть выражена четко и недвусмысленно.
Ниже приведен пример спецификации процесса 1 (ПОЛУЧИТЬ ПАРОЛЬ) для диаграммы, изображенной на рис. 2.8.
@ВХОД = ВВЕДЕННЫЙ ПАРОЛЬ @ВХОД = ПАРОЛЬ
@ВЫХОД = СООБЩЕНИЕ
@ВЫХОД= КОРРЕКТИРУЮЩИЙ ПАРОЛЬ
@СПЕЦПРОЦ1.1 ПОЛУЧИТЬ ПАРОЛЬ
ВЫПОЛНИТЬвыдать сообщение клиенту, запрашивающее ввод пароля
принять ВВЕДЕННЫЙ ПАРОЛЬ=ПАРОЛЬ
ДОТЕХПОРПОКАВВЕДЕННЫЙ ПАРОЛЬ=ПАРОЛЬ или были сделаны три попытки ввода
КОНЕЦВЫПОЛНИТЬ
ВЫПОЛНИТЬустановить флаг КОРРЕКТНЫЙ ПАРОЛЬ в случае равенства @КОНЕЦ СПЕЦИФИКАЦИИ ПРОЦЕССА1.1