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

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

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

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

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

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

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

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

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

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

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

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

ПРИКЛАД

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

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

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

@ ДЛЯ i =1 до n

ВИКОНАТИ визначитиЧАСОВІ ПАРАМЕТРИ РОБОТИ ЛІНІЙНОГО ГРАФІКУ *

@ КІНЕЦЬДЛЯ

@ КІНЕЦЬ СПЕЦИФІКАЦІЇ ПРОЦЕСА 2.1.1.

Словник даних:

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

@ТИП = дискретний потік

@ВНФ = РОБОТА +НОМЕР ПОЧАТКОВОЇ ПОДІЇ+ НОМЕР КІНЦЕВОЇ ПОДІЇ+ТРИВАЛІСТЬ РОБОТИ +ТЕРМІН РАННЬГО ПОЧАТКУ+ ТЕРМІН РАННЬОГО ЗАВЕРШЕННЯ

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

@ТИП = дискретний потік

@ВНФ = РОБОТА +ДАТА ПОЧАТКУ+ДАТА ЗАВЕРШЕННЯ+ ЗАПАС ЧАСУ

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

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

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

Приклад специфікації процесу 1 (ОТРИМАТИ ПАРОЛЬ) для діаграми.

@ ВХІД = Введений пароль
@ ВХІД = ПАРОЛЬ
@ ВИХІД = ПОВІДОМЛЕННЯ
@ ВИХІД = коректними ПАРОЛЬ
@ СПЕЦПРОЦ 1.1 ОТРИМАТИ ПАРОЛЬ
ВИКОНАТИ видати ПОВІДОМЛЕННЯ клієнту,
запитуюча введення пароля
прийняти введені паролі
ДОТЕХПОРПОКА введені паролі = ПАРОЛЬ
або були зроблені три спроби введення
КОНЕЦВИПОЛНІТЬ
ВИКОНАТИ встановити прапор коректними
ПАРОЛЬ в разі рівності
@ КІНЕЦЬ СПЕЦИФІКАЦІЇ ПРОЦЕСУ 1.1

Специфікація процесу 1

Специфікація процесу N

...

ПОВНА СПЕЦіфікація СИСТЕМИ

СПЕЦИФІКАЦІЯ ПРОЦЕСУ (СП) – опис функціонування процесу нижчого рівня декомпозиції.

СП включає:

• Назва, код (номер) процесу;
• ВХОД
• ВИХІД

ТІЛО (ОПИС) процесу

• Пред- та пост- умови

вимоги до специфікацій: