Конец если

итерация:

для<условие> выполнитьфункция конец для

или

пока<условие> выполнитьфункция конец пока

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

- Логика процесса выражается в виде комбинации последовательных конструкций, конструкций выбора и итераций.

- Ключевые слова ЕСЛИ, ВЫПОЛНИТЬ, ИНАЧЕ и т.д. должны быть написаны заглавными буквами.

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

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

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

Ниже приведен пример спецификации процесса 1 (ПОЛУЧИТЬ ПАРОЛЬ) для диаграммы, изображенной на рис. 2.8.

@ВХОД = ВВЕДЕННЫЙ ПАРОЛЬ @ВХОД = ПАРОЛЬ

@ВЫХОД = СООБЩЕНИЕ

@ВЫХОД = КОРРЕКТИРУЮЩИЙ ПАРОЛЬ

@СПЕЦПРОЦ 1.1 ПОЛУЧИТЬ ПАРОЛЬ

ВЫПОЛНИТЬ выдать сообщение клиенту, запрашивающее ввод пароля

принять ВВЕДЕННЫЙ ПАРОЛЬ=ПАРОЛЬ

ДОТЕХПОРПОКА ВВЕДЕННЫЙ ПАРОЛЬ=ПАРОЛЬ или были сделаны три попытки ввода

КОНЕЦВЫПОЛНИТЬ

ВЫПОЛНИТЬ установить флаг КОРРЕКТНЫЙ ПАРОЛЬ в случае равенства @КОНЕЦ СПЕЦИФИКАЦИИ ПРОЦЕССА 1.1