计算反射与面向对象程序设计(Ⅱ)

Computational Reflection and Object-Oriented Programming(Ⅱ)

我们在第一部分讨论了计算反射的一般模型。一般说来,一个系统是计算反射的,当且仅当它能对自身进行操作,据此一个反射的计算机软件系统有三个条件:a)系统有关于自己(一部分)本身的描述。b)系统有对自己的描述进行推理、操作和修改的能力。c)这种描述的改变能直接导致系统的行为和状态的改变,反之亦然。条件 a 是物理符号系统假设和知识表示假设的必然结果。在现有的计算机计算模型中要讨论或建立一个计算反射系统,必须首先确定是哪一个(子)

This paper first discusses the information carried by an object and some relating problems.Then we present some reflective object-oriented models and their characteristics.These models are different from each other with respect to the self's concept and information.We give an effient model which extends Mayes'by the introducing of implicit meta objects.