对象描述语言及其指称描述

摘要

在面向对象的软件构造中，对象被视为软件系统的基本构件。本文提出对象规范描述语言ＯＤＬ，并给出其主要结构的ＳＯＰ指称描述。ＳＯＰ演算的理论范集给出对象的形式描述。ＳＯＰ理论范集反映了对象的封装性，在这样的逻辑框架下，对象的属性和动作得以统一，聚鸽 提供了自己在对象描述构造复杂对象描术的机制。