тії безпеки для користувача. Аналогічно, у разі наявності постумови гарантується, що значення всіх вхідних у нього об'єктів будуть істинні при завершенні процесу. p align="justify"> При описі миниспецификации на структурованому природній мові можуть бути використані:
В· дієслова, орієнтовані на дію і застосовуються до об'єктів;
В· терміни, визначені на будь-якій стадії проектування (наприклад, завдання, процедури, символи даних тощо);
В· прийменники та спілки, використовувані в логічних відносинах;
В· загальновживані математичні, фізичні та технічні терміни;
В· формули, таблиці, діаграми, графи тощо;
В· коментарі.
До керуючим структурам відносяться:
послідовна конструкція:
ВИКОНАТИ функція1
ВИКОНАТИ функція2
конструкція вибору:
ЯКЩО <умова> ТО
ВИКОНАТИ функція1
ІНАКШЕ
ВИКОНАТИ функція2
КонецЕсли
ітерація:
ДЛЯ <умова>
ВИКОНАТИ функція
КОНЕЦДЛЯ
або
ПОКИ <умова>
ВИКОНАТИ функція
КОНЕЦПОКА
В якості прикладів наведемо варіанти миниспецификации процесів Р2.1 В«Вибір замовником типової меблів з каталогуВ» і P2.3 В«Покупка меблів у замовникаВ» ..
Приклад 1.
@ P2.1_вибор_по_каталогу
@ ВХІД = побажання// номер меблів в каталозі
@ ВИХІД = обрана меблі// номер меблів і її вартість
ВИКОНАТИ відкрити вікно форми з каталогом меблів
ВИКОНАТИ зафіксувати вибір замовника
ЯКЩО вибір підтверджений ТО
ВИКОНАТИ передати номери меблів і її вартість процесу P2.2
ІНАКШЕ
ВИКОНАТИ скасувати вибір замовника
КонецЕсли
ВИКОНАТИ закрити вікно форми з каталогом
Приклад 2.
@ P2.3_покупка_старой_мебелі
предусловием замовник оформляє договір на виготовлення меблів
@ ВХІД = продавана меблі// опис старих меблів,
купується у замовника
@ ВХІД = вартість// вартість,
призначувана персоналом...
