Kľúčové slová pre špecifikáciu štruktúry systému v jazyku SDL/PR :
SYSTEM Vymedzuje oblasť špecifikácie systému; ENDSYSTEM BLOCK Vymedzuje oblasť špecifikácie bloku; ENDBLOCK PROCESS Vymedzuje oblasť špecifikácie procesu. ENDPROCESS
Kľúčové slová pre definície a deklarácie :
DCL označuje deklaráciu; REVEALED označuje v rámci príkazu DCL premenn, ktoré sú prístupné pre operáciu VIEW; SIGNAL vyznačuje definíciu signálu; CHANNEL vyznačuje definíciu kanálu; FROM v rámci definície kanálu označuje blok, z ktorého kanál vystupuje; TO v rámci definície kanálu označuje blok, do ktorého kanál vstupuje; ENV označuje okolie systému; WITH uvádza zoznam signálov prenášaných kanálom; FPAR uvádza deklaráciu formálnych parametrov.
DURATION TIME TIMER NATURAL INTEGER REAL CHARSTRING CHARACTER BOOLEAN PId ARRAY
Kľúčové slová pre špecifikáciu funkčného chovania procesu :
Špecifikácia funkčného chovania procesu je vlasne textovým popisom vývojového diagramu procesu. Sématicky sú jednotlivé prvky zhodné s SDL/GR.
START predstavuje počiatočný bod procesu. Ak nie je použitý, je za počiatočný bod procesu považované prvé kľúčové slovo STATE po kľúčovom slove PROCESS; STATE predstavuje jeden alebo viac stavov procesu; SAVE predstavuje uloženie; INPUT predstavuje jeden alebo viac vstupných signálov; TASK predstavuje úlohu; OUTPUT predstavuje jeden alebo viac výstupov; TO spolu s pripojeným identifikátorom procesu identifikuje cielový proces. Používa sa nepovinne iba v prípadoch, kedy nie je možné z kontextu cieľový proces jednoznačne určiť;
Kľúčové slová pre špecifikáciu funkčného chovania procesu (pokračovanie):
DECISION ENDDECISION dvojica kľúčových slov vymedzujúca prvok rozhodnutia; ELSE v rámci príkazu DECISION predstavuje všetky alternatívy, ktoré nie sú explicitne uvedené; CREATE predstavuje žiadosť o vytvorenie procesu; STOP predstavuje koniec procesu; JOIN predstavuje spojnicu so šipkou medzi prvkami diagramu, ktoré však nemôžu byť stavy. Prvý prvok sa uvádza pred kľúčové slovo JOIN, druhý musí byť vždy identifikovaný rovnakým identifikátorom návestia ako JOIN. Ak druhým prvkom je opäť JOIN, vedie spojnica k prvku, ku ktorému smeruje druhý prvok JOIN. Ak kľúčové slovo uvedené pred kľúčovým slovom JOIN je NEXTSTATE, bude druhé kľúčové slovo STATE s rovnakým menom; NEXTSTATE predstavuje spojnicu so šipkou. Prvý prvok je roprezentovaný kľúčovým slovom bezprostredne pred kľúčovým slovom NEXTSTATE, druhým prvkom je stav s rovnakým menom; VIEW uvádza zápis operácie VIEW.