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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• коментарі. Керуючі структури мови мають один вхід і один вихід. До них відносяться: 1) послідовна конструкція: ВИКОНАТИ функція1 ВИКОНАТИ функція2 ВИКОНАТИ функція3 2) конструкція вибору: ЯКЩО <умова> ТО ВИКОНАТИ функція1 ІНАКШЕ ВИКОНАТИ функція2 КонецЕсли 3) ітерація: ДЛЯ <умова> ВИКОНАТИ функція КОНЕЦДЛЯ або ПОКИ <умова> ВИКОНАТИ функція КОНЕЦПОКА

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

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

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

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

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

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

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

ЕКЗАМЕНАЦІЙНИЙ БІЛЕТ № _____11_____