span align="justify"> 4 , s 5 і s 6 . Припустимо проходження як однієї ітерації циклу, так і великої кількості ітерацій, проте вихід з циклу рано чи пізно відбудеться.
Аналіз властивостей метамоделі "асинхронний процес"
Асинхронний процес P є ефективним , якщо виконуються умови:
. " ситуації s ГЋ S R знайдеться ситуація r ГЋ R/s M r;
. " ситуації s ГЋ S I знайдеться ситуація i ГЋ I/i M s;
3. Чи не ситуацій si і sj/(si ГЏ R) & (sj ГЏ R) & (si M sj) & (sj M si). p> Розглянутий асинхронний процес не є ефективним, тому що не виконується умова 3: ситуації s4 і s5/(s4 ГЏ R) & (s5 ГЏ R) & (s4 M s5) & (s5 M s4).
Асинхронний процес за визначенням називається простим , якщо
1. він є ефективним,
2. " i ГЋ I, s ГЋ S: (i F s) Гћ (s ГЏ I),
. " s ГЋ < span align = "justify"> S, r ГЋ R: (s F r) Гћ (s ГЏ R),
Розглянутий асинхронний процес не є простим, тому що не виконується умова 1.
Для оцінки керованості асинхронного процесу, безліч ситуацій необхідно розбити на класи еквівалентності. Для деякогопідмножини ситуацій вводиться відношення еквівалентності E:
1. s i , s j ГЋ S: (s i E s j
