基于ECA规则的主动机制的研究
| 第一章 绪论 | 第1-14页 |
| ·主动机制系统 | 第7-10页 |
| ·主动机制系统的应用与需求 | 第7-8页 |
| ·主动机制系统概念及其特征 | 第8-9页 |
| ·主动机制系统的研究与应用状况 | 第9-10页 |
| ·主动机制在数据库中的应用 | 第10-12页 |
| ·本文工作及组织 | 第12-14页 |
| 第二章 主动机制系统模型 | 第14-22页 |
| ·主动程序设计语言 | 第14-15页 |
| ·本文主动面向对象系统的体系结构 | 第15-21页 |
| ·主动面向对象编译子系统模型 | 第15-17页 |
| ·主动面向对象执行子系统模型 | 第17-19页 |
| ·系统模型中的内部过程、外部过程 | 第19-20页 |
| ·系统模型的特点 | 第20-21页 |
| ·小结 | 第21-22页 |
| 第三章 ECA规则及表示 | 第22-30页 |
| ·ECA规则的知识模型 | 第22-25页 |
| ·ECA规则的执行模型 | 第25-26页 |
| ·主动面向对象系统中的事件 | 第26-27页 |
| ·本文对事件、规则的形式定义 | 第27-29页 |
| ·事件的定义 | 第27页 |
| ·规则的定义 | 第27-29页 |
| ·小结 | 第29-30页 |
| 第四章 编译子系统的对象技术和主动技术 | 第30-42页 |
| ·编译子系统的对象技术 | 第30-39页 |
| ·对象的引入 | 第30-31页 |
| ·建立对象支撑环境 | 第31-34页 |
| ·典型算法分析 | 第34-36页 |
| ·生成外部过程调用的中间代码 | 第36-37页 |
| ·用例分析 | 第37-39页 |
| ·编译子系统对主动机制的处理 | 第39-41页 |
| ·主动机制的引入 | 第39-40页 |
| ·主动编译器 | 第40-41页 |
| ·规则预处理器 | 第41页 |
| ·小结 | 第41-42页 |
| 第五章 执行子系统的外部过程执行技术和主动技术 | 第42-57页 |
| ·执行子系统的外部过程执行技术 | 第42-52页 |
| ·外部过程执行技术概述 | 第42-43页 |
| ·建立外部过程支撑环境 | 第43-46页 |
| ·外部过程执行的形式化描述 | 第46页 |
| ·外部过程执行器 | 第46-48页 |
| ·典型算法分析 | 第48-51页 |
| ·用例分析 | 第51-52页 |
| ·执行子系统对主动机制的处理 | 第52-56页 |
| ·主动机制处理概述 | 第53页 |
| ·事件的产生、检测与参数传递 | 第53-54页 |
| ·规则的执行模型 | 第54-56页 |
| ·小结 | 第56-57页 |
| 第六章 规则终止性分析 | 第57-61页 |
| ·基于规则触发图的终止性分析 | 第57页 |
| ·基于过程触发图的终止性分析 | 第57-58页 |
| ·基于激活过程图的终止性分析 | 第58-60页 |
| ·小结 | 第60-61页 |
| 第七章 总结与展望 | 第61-62页 |
| ·总结 | 第61页 |
| ·展望 | 第61-62页 |
| 附录 目标语言中与外部过程执行器有关的技术 | 第62-65页 |
| 参考文献 | 第65-67页 |
| 致谢 | 第67页 |
