Основные ограничения на порождаемые асинхронные процессы. Протокол асинхронного процесса.

Эффективность

" s_i Î S \ ( I È R ) не $ s_j Î S \ ( I È R ) [ s_i F⁺ s_j & s_j F⁺ s_i ] – нет циклов во внутренних вершинах

" s_i Î S не $ s_j Î S [ s_i F⁺ s_j & s_j F⁺ s_i ] – эффективность на всём множестве (строгая)

Корректность

1) Наличие «висячих» вершин – некорректность

2) " s Î S " i Î S [ s F⁺ i => s Î I ] – из внутренних состояний низя вернуться в инициаторы

3) " s Î S " r Î R [ r F⁺ s => s Î R ] – из результантов низя обратно во внутренние

Детерминизм

" i Î I $! r Î R [ i F⁺ r ] – глобальный детерминизм

" s Î S \ R $! s’ Î S \ I [ s F s’ ] – локальный детерминизм

Протоколом простого асинхронного процесса называется отношение . Протокол простого АП можно рассматривать как простой АП, в котором за каждым инициатором непосредственно следует результант. То есть протокол является удобной формой описания асинхронного процесса с позиции вход-выход. Здесь инициаторам (входы) ставятся в соответствие результанты (выходы).

Протокол асинхронного процесса. Свойства эффективности и корректности. Детерминизм.

Протокол простого АП – отношение Q Í I x R. Протокол простого АП можно рассм-ть как простой АП, в котором за каждым иниц-ром непосредственно следует результант.

Простой АП – АП, каждая траектория которого содержит ровно 1 иниц-р и ровно 1 результант.

Эффективность

" s_i Î S \ ( I È R ) не $ s_j Î S \ ( I È R ) [ s_i F⁺ s_j & s_j F⁺ s_i ] – нет циклов во внутренних вершинах

" s_i Î S не $ s_j Î S [ s_i F⁺ s_j & s_j F⁺ s_i ] – эффективность на всём множестве (строгая)