Специфікація процесів, вимоги, засоби та мови опису специфікації процесу.
Специфікація процесу (СП) використовується для опису функціонування процесу у разі відсутності необхідності деталізувати його за допомогою DFD (тобто якщо він досить невеликий, і його опис може займати до однієї сторінки тексту). Фактично СП представляють собою алгоритми опису завдань, що виконуються процесами: безліч всіх СП є повною специфікацією системи. СП містять номер і / або ім'я процесу, списки вхідних і вихідних даних і тіло (опис) процесу, що є специфікацією алгоритму або операції, трансформирующей вхідні потоки даних у вихідні. Відомо велика кількість різноманітних методів, що дозволяють задати тіло процесу, відповідну мову може варіюватися від структурованого природної мови або псевдокоду до візуальних мов проектування (типу FLOW-форм і діаграм Насс-Шнейдермана) і формальних комп'ютерних мов.
Незалежно від використовуваної нотації специфікація процесу повинна починатися з ключового слова (наприклад, @ СПЕЦПРОЦ). Необхідні вхідні та вихідні дані повинні бути специфіковані наступним чином: @ ВХІД = <ім'я символу даних> @ ВИХІД = <ім'я символу даних> @ Входвиход = <ім'я символу даних>, де <ім'я символу даних> - відповідне ім'я зі словника даних. Ці ключові слова повинні використовуватися перед визначенням СП, наприклад, @ ВХІД = СЛОВА ПАМ'ЯТІ @ ВИХІД = збереженої ЗНАЧЕННЯ @ СПЕЦПРОЦ Для всіх СЛІВ ПАМ'ЯТІ виконати: Роздрукувати збереженої ЗНАЧЕННЯ @ Ситуація, коли символ даних є одночасно вхідним і вихідним, може бути описана двома способами: або символ описується два рази за допомогою @ ВХІД і @ ВИХІД, або один раз за допомогою @ входвиход. Іноді в СП задаються перед-і пост-умови виконання даного процесу. У перед-умови записуються об'єкти, значення яких повинні бути щирі перед початком виконання процесу, що забезпечує певні гарантії безпеки для користувача. Аналогічно, у разі наявності пост-умови гарантується, що значення всіх вхідних у нього об'єктів будуть істинні при завершенні процесу.
Правила використання структурованої мови:
Логіка процесу відображається у вигляді комбінацій запропонованих конструкцій.
Ключові слова ( наприклад, ДЛЯ, ВИКОНАТИ ,КІНЕЦЬДЛЯ), слова або фрази, що визначені в словнику даних, повинні бути написані великими буквами
Дієслова повинні бути активними та цілеспрямованими : визначити, розрахувати, але ні удосконалити, обробити)
ПРИКЛАД
@ВХІД = РОБОТА СІТЬОВОЇ МОДЕЛІ
@ВИХІД=ЛІНІЙНИЙ ГРАФІК БУДІВНИЦТВА
@СПЕЦПРОЦЕС 2.1.1 ПОБУДОВА ЛНІЙНОГО ГРАФІКУ
@ ДЛЯ i=1 до n
ВИКОНАТИ визначити ЧАСОВІ ПАРАМЕТРИ РОБОТИ ЛІНІЙНОГО ГРАФІКУ *
@ КІНЕЦЬДЛЯ
@ КІНЕЦЬ СПЕЦИФІКАЦІЇ ПРОЦЕСА 2.1.1.
Словник даних:
@ІМЯ = РОБОТА СІТЬОВОЇ МОДЕЛІ
@ТИП = дискретний потік
@ВНФ = РОБОТА +НОМЕР ПОЧАТКОВОЇ ПОДІЇ+ НОМЕР КІНЦЕВОЇ ПОДІЇ+ТРИВАЛІСТЬ РОБОТИ +ТЕРМІН РАННЬГО ПОЧАТКУ+ ТЕРМІН РАННЬОГО ЗАВЕРШЕННЯ
@ІМЯ = ЛІНІЙНИЙ ГРАФІК БУДІВНИЦТВА
@ТИП = дискретний потік
@ВНФ = РОБОТА +ДАТА ПОЧАТКУ+ДАТА ЗАВЕРШЕННЯ+ ЗАПАС ЧАСУ
Специфікації повинні задовольняти наступним вимогам: для кожного процесу нижнього рівня повинна існувати одна і тільки одна специфікація; специфікація повинна визначати спосіб перетворення вхідних потоків у вихідні; немає необхідності (на даному етапі) визначати метод реалізації цього перетворення; специфікація повинна прагнути до обмеження надмірності - не слід перевизначати те, що вже було визначено на діаграмі або в словнику данн; набір конструкцій для побудови специфікації повинен бути простим і стандартним. Нижче розглядаються деякі найбільш часто використовувані методи завдання специфікацій процесів.
Приклад специфікації процесу 1 (ОТРИМАТИ ПАРОЛЬ) для діаграми. @ ВХІД = Введений пароль @ ВХІД = ПАРОЛЬ @ ВИХІД = ПОВІДОМЛЕННЯ @ ВИХІД = коректними ПАРОЛЬ @ СПЕЦПРОЦ 1.1 ОТРИМАТИ ПАРОЛЬ ВИКОНАТИ видати ПОВІДОМЛЕННЯ клієнту, запитуюча введення пароля прийняти введені паролі ДОТЕХПОРПОКА введені паролі = ПАРОЛЬ або були зроблені три спроби введення КОНЕЦВИПОЛНІТЬ ВИКОНАТИ встановити прапор коректними ПАРОЛЬ в разі рівності @ КІНЕЦЬ СПЕЦИФІКАЦІЇ ПРОЦЕСУ 1.1
СПЕЦИФІКАЦІЯ ПРОЦЕСУ (СП) – опис функціонування процесу нижчого рівня декомпозиції.
СП включає:
Назва, код (номер) процесу;
ВХОД
ВИХІД
ТІЛО (ОПИС) процесу
Пред- та пост- умови
вимоги до специфікацій:
Для кожного процесу нижчого рівня повинна існувати одна специфікація;
Специфікація повинна визначати (формалізована або на першому етапі - декларативно, на другому формалізовано) засіб перетворення вхідних потоків в вихідні.
ЕКЗАМЕНАЦІЙНИЙ БІЛЕТ № ___18_______