SDL 规范说明与描述语言

SDL有图形表示法（GR）和文字短语表示法（PR）两种。GR用一系列的符号和图形来描述系统，非常直观；PR用语句来描述系统，便于计算机处理。这两种表示方法在语义上是等效的，它们之间可以互相转换。图中是SDL对系统行为描述的片断，其中GR和PR是等效的。