面向对象系统的一种系统定义方法

摘要

本文提出了一种面向时象系统的系统定义方法。这种方法借助状态谓词来指称类的方法，用一种三元组演算来描述系统，在系统框架设计后能进行系统合理性的自动验证。与其它面向对象系统的描述方法相比，这种方法较为形式化，也有一定的实用性。