摘要
我们使用一阶谓词逻辑公式表示对象的语义约束，即对象结构特征和操作行为特征约束，这些逻辑公式必须保证是一致的，并且对象在其演变的历史过程中必须满足对象约束。本文介绍一个对象语义约束检验系统。
Object semantics constraints, including object structure and operation behavior constraints, can be specified by the many-sorted first order logic. These logic formulae must be consistent, and the object states must satisfy its constraints when it evolves. This paper introduces an object semantics constraints checker.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1996年第8期561-565,共5页
Journal of Computer Research and Development
基金
国家"八五"攻关项目
"863"项目
中国科技大学青年基金
