Специфікація процесів, вимоги, засоби та мови опису специфікації процесу

Специфікація процесу (СП) використовується для опису функціонування процесу у разі відсутності необхідності деталізувати його за допомогою DFD (тобто якщо він досить невеликий, і його опис може займати до однієї сторінки тексту). Фактично СП представляють собою алгоритми опису завдань, що виконуються процесами: безліч всіх СП є повною специфікацією системи. СП містять номер і / або ім'я процесу, списки вхідних і вихідних даних і тіло (опис) процесу, що є специфікацією алгоритму або операції, трансформирующей вхідні потоки даних у вихідні. Відомо велика кількість різноманітних методів, що дозволяють задати тіло процесу, відповідну мову може варіюватися від структурованого природної мови або псевдокоду до візуальних мов проектування (типу FLOW-форм і діаграм Насс-Шнейдермана) і формальних комп'ютерних мов.

Незалежно від використовуваної нотації специфікація процесу повинна починатися з ключового слова (наприклад, @ СПЕЦПРОЦ). Необхідні вхідні та вихідні дані повинні бути специфіковані наступним чином:

@ ВХІД = <ім'я символу даних>
@ ВИХІД = <ім'я символу даних>
@ Входвиход = <ім'я символу даних>,
де <ім'я символу даних> - відповідне ім'я зі словника даних.

Ці ключові слова повинні використовуватися перед визначенням СП, наприклад,

@ ВХІД = СЛОВА ПАМ'ЯТІ
@ ВИХІД = збереженої ЗНАЧЕННЯ
@ СПЕЦПРОЦ
Для всіх СЛІВ ПАМ'ЯТІ виконати:
Роздрукувати збереженої ЗНАЧЕННЯ
@

Ситуація, коли символ даних є одночасно вхідним і вихідним, може бути описана двома способами: або символ описується два рази за допомогою @ ВХІД і @ ВИХІД, або один раз за допомогою @ входвиход.

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

Правила використання структурованої мови:

1. Логіка процесу відображається у вигляді комбінацій запропонованих конструкцій.

2. Ключові слова (наприклад, ДЛЯ, ВИКОНАТИ,КІНЕЦЬДЛЯ), слова або фрази, що визначені в словнику даних, повинні бути написані великими буквами

3. Дієслова повинні бути активними та цілеспрямованими: визначити, розрахувати, але ні удосконалити, обробити)

ПРИКЛАД

@ВХІД = РОБОТА СІТЬОВОЇ МОДЕЛІ

@ВИХІД =ЛІНІЙНИЙ ГРАФІК БУДІВНИЦТВА

@СПЕЦПРОЦЕС 2.1.1 ПОБУДОВА ЛНІЙНОГО ГРАФІКУ

@ ДЛЯ i =1 до n