Vagy hasítás - feltételes elágazás

Első  Előző  Következő

A munkafolyamatban egy pont, ahol egy vezérlési szál döntést hoz arról, hogy melyik alternatív ágat választja.

 

 

 

 

Konkrétan

A tényleges feltétel az elágazott eljárás-egyedtípusokban fogalmazódik meg előfeltételként!

Megjegyzés: Ha az előfeltétel nem teljesül, a megfelelő eljárás példány lére sem jön.

 

Ha egy elágazott eljárás típus definíciójában nincs előfeltétel megadva, akkor a vezérlési ága automatikusan megnyílik, amikor az elágazó eljárás végrehajtódott.

 

Végrehajtás alatt a következő állapotot értjük:

Az eljárás példány Kész, vagy Megszakított állapotba kerül, és az Utófeltétel attribútuma "igaz" értékű. Ha nincs Utófeltétel definiáva, az egyenértékű az "igaz" értékkel.

 

A hasítást a Solidus munkafolyamat motorja  a következőképpen értékeli ki:

1.Létrejön az elágazó eljárás példány végrehajtott állapota.
2.Egyenként elemzi a végrehajtási ágak előfeltételeit. Amelyiké teljesül, arra létrehozza a megfelelő eljárás példányt.
3.Ha nem nyílik meg egyetlen ág sem, folyamatosan figyeli az az előfeltételeket, és ha bármelyik (esetleg egyidejűleg több is) teljesül, arra létrehozza a megfelelő eljárás példányt.
4.Ha már van elágazott eljárás példány a figyelést beszünteti: a hasítás műveletét befejezettnek tekinti.

 

Az elöbbiek szerit tehát a hasítás egyetlen oszthatatlan művelet: esemény

 

Az ÉS hasítás műveletét tulajdonképpen nem kellene külön szerepeltetni, hiszen a VAGY hasításnak egy speciális esete.