SDL有圖形表示法（GR）和文字短語(yǔ)表示法（PR）兩種。GR用一系列的符號(hào)和圖形來(lái)描述系統(tǒng)，非常直觀；PR用語(yǔ)句來(lái)描述系統(tǒng)，便于計(jì)算機(jī)處理。這兩種表示方法在語(yǔ)義上是等效的，它們之間可以互相轉(zhuǎn)換。圖中是SDL對(duì)系統(tǒng)行為描述的片斷，其中GR和PR是等效的。