补充资料：OBJ语言

OBJ语言
OBJ language

　　O印yuyan0班语言(0政IlangUage)用于书写和测试代数规约的可执行的形式语言。它采用抽象数据类型的始代数的方法刻画其语义，用重写规则系统实现。01汀由美国加州大学洛杉矶分校J.A.G嗯uen等人于1977年提出。 用OBJ书写的代数规约由若干对象组成，对象以(〕RJ开始，以J3〕结束。每个对象由名、类别、操作、变量、等式五部分组成。名是标识该对象的唯一标识符。类别部分给出该对象引人及使用的类别，一个对象可以没有引人的类别。操作部分给出该对象定义的操作符的型构，即其参量类别和结果类别，等式部分刻画了这些操作符满足的性质。变量部分定义了等式中使用的变量的类别。 OBJ除提供正常操作符外，还提供了异常操作符和恢复操作符，这三类操作符分别在OK一(〕PS，ERR一C甲S，FIX一OPS中描述，共同构成操作符部分。异常操作符用于检测出错情况和形成出错信息，恢复操作符用于将异常出错值转换为正常值。 等式部分由OK一EQNS，ERR一EQNS和EQNS三类等式组成。OK一EQNS刻画结果为正常值的等式，ERR一EQNS刻画产生异常值(异常操作符)条件的等式，EQNS中等式的结果可为正常值也可为异常值，用于刻画恢复操作符的性质。(〕刊解释系统中把等式看成自左到右的重写规则。 0团允许用户定义操作符的语法，进行类别强制转换，允许操作符的重载。在对象的描述中，可以定义隐蔽操作符，它只在对象内可见，而对外不可见。此外，还可指定操作符满足结合律、交换律。对出错情况的处理是以习的独到之处，通过提供异常操作符，可以比较精确地刻画出错条件及对错误进行定位。 在(〕RJ的基础上，J.A.仪林犯n等人于1987年提出了(〕RJZ。在(卫习2中，对一个己有的抽象数据类型，可定义新的操作和公理，对其模型进行扩充。此外，()印2还提供了模块化机制。它们已用于书写机场调度的数据库系统等小规模的实例。
　　

说明：补充资料仅用于学习参考，请勿用于其它任何用途。