Вимоги до побудови специфікації процесу. Опис специфікації на основі структурованої натуральної мови

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

Незалежно від використовуваної нотації специфікація процесу повинна починатися з ключового слова (наприклад, @ СПЕЦПРОЦ). Необхідні вхідні та вихідні дані повинні бути специфіковані наступним чином:
@ ВХІД = <ім'я символу даних>
@ ВИХІД = <ім'я символу даних>
@ Входвиход = <ім'я символу даних>,
де <ім'я символу даних> - відповідне ім'я зі словника даних.
Ці ключові слова повинні використовуватися перед визначенням СП, наприклад:
@ ВХІД = СЛОВА ПАМ'ЯТІ
@ ВИХІД = збереженої ЗНАЧЕННЯ
@ СПЕЦПРОЦ
Для всіх СЛІВ ПАМ'ЯТІ виконати:

Роздрукувати збереженої ЗНАЧЕННЯ @

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

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

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

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

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

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

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

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

Структурована натуральна мова

Структурована натуральна мова застосовується для читабельною, суворого опису специфікацій процесів. Він є розумною комбінацією строгості мови програмування і читабельності природної мови і складається з підмножини слів, організованих в певні логічні структури, арифметичних виразів і діаграм.

У склад мови входять такі основні символи:

· дієслова, орієнтовані на дію і застосовуються до об'єктів;

· терміни, визначені на будь-якій стадії проекту ПЗ (наприклад, завдання, процедури, символи даних тощо);

· прийменники та спілки, використовувані в логічних відносинах;

· загальновживані математичні, фізичні та технічні терміни;

· арифметичні рівняння;

· таблиці, діаграми, графи тощо;

· коментарі.

Керуючі структури мови мають один вхід і один вихід. До них відносяться:

1) послідовна конструкція:
ВИКОНАТИ функція1
ВИКОНАТИ функція2
ВИКОНАТИ функція3

2) конструкція вибору:
ЯКЩО <умова> ТО
ВИКОНАТИ функція1
ІНАКШЕ
ВИКОНАТИ функція2
КонецЕсли

3) ітерація:
ДЛЯ <умова>
ВИКОНАТИ функція
КОНЕЦДЛЯ
або
ПОКИ <умова>
ВИКОНАТИ функція
КОНЕЦПОКА

При використанні структурованої натуральної мови прийняті наступні угоди:

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

· Ключові слова ЯКЩО, ВИКОНАТИ, ІНАКШЕ і т.д. повинні бути написані великими літерами.

· Слова або фрази, визначені в словнику даних, повинні бути написані великими літерами.

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

· Логіка процесу повинна бути виражена чітко і недвозначно.

Нижче наведено приклад специфікації процесу 1 (ОТРИМАТИ ПАРОЛЬ)

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