СПЕЦПРОЦ

Іноді в СП задаються пред- і після-умови виконання даного процесу. У предумовах записуються об'єкти, значення яких повинні бути істинні перед початком виконання процесу, що забезпечує певні гарантії безпеки для користувача. Аналогічно, у разі наявності після-умов гарантується, що значення всіх вхідних в нього об'єктів будуть істинні при завершенні процесу.

Специфікації повинні задовольняти наступним вимогам:

• для кожного процесу нижнього рівня повинна існувати одна і лише одна специфікація;

• специфікація повинна визначати спосіб перетворення вхідних потоків у вихідні;

• немає необхідності (на даному етапі) визначати метод реалізації цього перетворення;

• специфікація повинна прагнути до обмеження надмірності - не слід перевизначати те, що вже було визначене на діаграмі або в словнику даних;

• набір конструкцій для побудови специфікації повинен бути простим і стандартним.

При структурному програмуванні розрізняють три види обчислювального процесу: лінійний, розгалужений і циклічний.

Лінійна структура – виконання операторів послідовно.

Розгалужена структура – в залежності від виконання деякої умови, виконується та чи інша послідовність операцій.

Циклічна структура – багатократне виконання однакової послідовності операцій.

Для зображення схеми алгоритмів розроблений ГОСТ 19.701-90.

Не залежно від складності, алгоритм можна представити, використовуючи три основні конструкції, які отримали назву базових:

· слідування, означає послідовне виконання дій (рис.8.3, а).

· розгалуження, відповідає вибору одного із двох варіантів дій (рис.8.3, б).

· цикл - доки, визначає повторну дію, доки не буде порушена деяка умова, виконання якої перевіряється на початку циклу (рис.8.3, в).

Рисунок 8.3 – Базові структури алгоритмів

Окрім базових структур є ще три конструкції, які можна скласти із базових: вибір, цикл-до, цикл з заданим числом повторень. Перераховані шість конструкцій були покладені в основу структурного програмування.