摘要
对象作为面向对象方法的核心概念，具有静态结构和动态行为两方面的特征．本文基于时序的观点，利用时序逻辑系统形式化地描述对象的行为，进而可以通过逻辑演算对对象的行为进行推理．
s the basic concept of object-oriented approach,an object must satisfy a set of invariant constraints,including static constraints for attribute values and temporal constraints for object behavior. Expressing constraints by logic formulae,we can reason the other constraints of system through logic calculus.
基金
国家自然科学青年基金
中国科技大学青年基金
关键词
行为约束
时序逻辑
约束推理
面向对象
object
behavior constraints
temporal logic
constraint reasoning
