Specification and Definition Language (SDL) forrásának megtekintése

{{GlobalTemplate|Infoalap|THSDL}}

__TOC__

==Processek==

===A Process bejövő sora===
A processek rendelkeznek egy önálló, potenciálisan végtelen hosszú bemeneti FIFO sorral, melyben a beérkező jelek várakoznak a feldolgozásig. A process bemeneti sorából elemek a process állapotátmeneti szabályainak alkalmazásakor kerülnek kivételre. A sorból kivett értéket, típusegyezés esetén lehetőség van változóban tárolni, melynek nevét az input szimbólumban kell zárójelben megadni.

===A Save operátor===
A processek bemeneti sora azonban nem teljesen FIFO működésű. Lehetőség van megnevezni olyan jeleket, amelyeket nem szeretnénk, hogy az állapotátmeneti szabály alkalmazása kivegyen a sorból. Ekkor Az első olyan elem kerül feldolgozásra, ami nincs így elmentve.

Ennek azért van értelme, mert a mozgási szabályok, hogyha olyan elemet találnak a sor elején, amelyre nincs szabály akkor azt implicit módon eltávolítják. Azonban hogyha elmentjük az olyan jeleket, amelyeket nem kívánunk az adott pillanatban kezelni, pl. hibakazelés, akkor a működés folytatódhat tovább, és a megfelelő helyen megtörténhet a feldolgozás.

Hogyha a process állapotot vált, akkor az elmentett jelek felszabadulnak.

<center>{{InLineImageLink|Infoalap|THSDL|SDL_SAVE.JPG}}<br/></center> 




-- [[MadayPeterTamas|Maday Peter]] - 2007.06.06.


[[Category:Infoalap]]