SDL 的一阶谓词表示法及其应用

摘要

SDL 是 CCITT 推荐的一种用于描适时实系统软件的功能和行为的标准化语言.它有两种具体语法形式,图形表示法 SDL/GR 和本文表示法 SDL/PR.本文提出 SDL 的一阶谓词表示法,称之为 SDL/FOP.它可以用于 SDL/GR 输入后的内部表示形式.本文还给出一些例子,描述如何运用谓词演算构造处理 SDL/FOP 的工具.