Перевірка вільного місця, вільного місце є
M + W-Z + MZ-D-FS + ZZ-
- Запис
+ W + Z + MZ-D-FS + ZZ-
Вектори ситуацій
Опис моделі
Побудуємо асинхронний процес
Безліч ситуацій:
В
Безліч ініціаторів:
В
Ситуація S1 була обрана в якості ініціатора з причини ініціювання їй всього процесу, тому що саме за наявності запиту на запис процес підготовки запису на дискету ініціюється.
Ситуація S2 була обрана в якості ініціатора, тому що вона ініціює продовження процесу за наявності заголовка дискети.
Ситуація S5 була обрана в якості ініціатора, тому що вона ініціює продовження процесу за відсутності захисту.
Безліч Результант:
В
Ситуація S3 була обрана в якості Результант, тому що вона є фінальною ситуацією при відсутності заголовка у дискети.
Ситуація S4 була обрана в якості Результант, тому що вона є фінальною ситуацією за наявності захисту.
Ситуація S6 була обрана в якості Результант, тому що вона є фінальною ситуацією при відсутності на дискеті вільного місця.
Ситуації S7 і S8 були обрані в якості Результант, тому що вони є фінальними ситуаціями процесу.
Траєкторії виконання процесу:
. p>. p>. p>. p>. p>. p>. p>. p>. br/>
Траєкторія 1 відображає хід процесу за відсутності заголовка дискети. Траєкторії 2-4 відображають всі варіанти ходу процесу за наявності заголовка дискети. Траєкторія 5 відображає хід процесу за наявності захисту. Траєкторії 6, 7 відображають хід процесу за відсутності захисту. Траєкторія 8 відображає хід процесу за відсутності вільного місця. Траєкторія 9 відображає хід процесу при наявності вільного місця. br/>
Граф процесу
В
Властивості процесу:
Перевіримо процес на ефективність:
1. p>. p>. br/>
Для даного асинхронного процесу всі ці умови виконуються, => даний асинхронний процес є ефективним, тобто з його ініціаторів всі траєкторії ведуть в результанти, а кожна з траєкторій, що ведуть до Результант, починається в будь-якому ініціатора.
Розіб'ємо процес на класи еквівалентності:
Для деякого підмножини множини ситуацій S можна визначити ставлення E, таке що:
. p>. br/>
Для даного асинхронного процесу ні одна з цих умов не виконується, => жодна пара ситуацій ні знаходиться у відношенні еквівалентності, => класи еквівалентності для даного процесу збігаються з ситуаціями, => всі початкові класи збігаються з ініціаторами, а всі кінцеві класи збігаються з Результант.
Перевіримо процес на керованість:
Якщо в ефективному процесі кожна допустима послідовність класів веде з початкового класу в один і тільки один заключний клас, то такий процес називається керованим. У даному процесі припустимі послідовності, що ведуть у різні заключні класи, => даний процес не є керованим. p> Перевіримо процес на простоту:
. p>. p> Т.к. жодне з цих умов для даного процесу не виконується, => даний процес не є простим.
Висновок: В якості процесу було взято процес підготовки запису на дискету. Для даного процесу була побудована метамодель Асинхронний процес: були виявлені компоненти процесу, ситуації, що виникають в ході виконання процесу. Серед ситуацій даного процесу були виявлені ініціатори, тобто ситуації, ініціюють процес, і результанти, тобто ситуації, завершальні процес. Також були визначені траєкторії переходів процесу від ініціаторів до Результант і побудований граф процесу. Було виявлено, що даний процес є ефективним, але не є ні простим, ні керованим. br/>
4.Операція над процесами
.1 Репозиція
Побудуємо репозицію
/,,
В В В В
В
Ознакою повноти репозиції є умова. Т.к. в даному випадку, то репозиція є частковою, і частково наведений процес збігається з вихідним.
Репозиція дозволяє ініціювати процес повторно після його виконання. Для даної моделі це означає, що після запису запит на запис може бути повторно. p align="justify"> 4.2 Редукція
Операція редукції полягає в зведенні процесу до простішого. Ця операція необхідна, коли з повного опису процесу хочеться виділити деяку його частину, розгляд якої цікаво з тих чи інших причин. p align="justify"> Виділимо з вихідного процесу ту його частину, яка відображає хід процесу при наявності заголовка у дискети.
В В В
Виберемо як вхідний компоненти елементи 3 (наявність заголовка), 5 (наявність захисту), 6 (наявність вільного місця) векторів ситуацій, тому що саме ці компоненти визначають, чи буде процес триватиме.
В
виберемо так, щоб подивитись поведінку процесу при незмінній 3 компоненті, рівної 1, тобто за наявності за...
