论文部分内容阅读
在程序设计语言中，如果能将主动切换计算方法或调度算法、主动适时提出警告、主动实现动态修改或自适应的动作等需求和功能用一种简单而统一的方法和机制来实现，这将是十分理想的。在程序设计语言中定义这些行为的规则是主动规则，ECA规则是公认的主动规则形式。 本文在一个源语言系统和一个面向对象语言的对象模型基础上，研究了主动机制系统的体系结构。该系统分为两个子系统：编译子系统和执行子系统。在每个子系统中，本文分别从支持面向对象和主动机制技术的角度，分析了子系统的组成、工作流程、用户使用模式和典型算法等。 在主动机制系统中，本文提出了内部过程和外部过程的概念，并对规则终止性分析的方法进行了研究。