45、面向对象编程的语义与细化探索

面向对象编程的语义与细化探索

1. 动态变量

在程序执行过程中，有些变量的值是可以改变的，这些变量被称为动态变量。下面详细介绍几种不同类型的动态变量。

1.1 系统配置

引入变量 Π ，其值为到目前为止创建的对象集合，称为当前配置。在程序执行期间， Π 的取值需满足以下条件：
- 对象完整性：若 o ∈ Π 且 a ∈ Attr(type(o)) 为类类型，则 o.a 要么为 null ，要么存在对象 o1 ∈ Π 使得 ref(o.a) = ref(o1) 。
- 对象唯一标识：对于 Π 中的任意两个对象 o1 和 o2 ，若 ref(o1) = ref(o2) ，则 type(o1) = type(o2) 且 ref(state(o1)) = ref(state(o2)) 。

当创建新对象或修改现有对象的属性值时，系统配置 Π 会发生改变。对于每个类 C ，使用变量 Π(C) 表示类 C 的现有对象集合。

1.2 外部变量

在程序的主方法中声明了一组外部变量