事件驱动对象

本文对基本符号进行形式化考察，以刻画在问题域中被区分的对象。被区分的对象由另一个理想化对象表示，这是一种示意元素。当某个元素的存在具有意义时，则将这些部分元素的类引入实际、潜在和虚拟对象。潜在对象被整合到可变域中，这些域是未绑定变量的扩展范围。实际对象的族显示地随类型和事件的参数化。事件之间的转换显示地由脚本驱动。由此产生一种计算框架，其由交换图描述。