Research of a Parallel Object Oriented Architecture for Knowledge Engineering Assistance

本文研究了面向知识工程的编程语言、编程环境和面向对象的并行体系结构。我们的创意包括以下六个部分。基于单赋值的并行面向对象语言.程序中使用姓名数据库的编程环境.程序中类型和名称的对应关系.基于上下文粒度的面向对象并行体系结构，基于消息传递进行参数传递.使用Petri网模型进行并行程序调试.浏览工具，用于检查对象之间的全局关系。我们通过一种称为“连接”的消息传递机制为面向对象语言引入了非确定性。该语言对多种并行程序有足够的表达能力。通过对该并行体系结构的仿真，验证了上下文驱动的执行模型和面向对象的负载分配机制的有效性。构建并测试了编程环境原型。

In this research, we studied programming language, programming environment, and object oriented parallel architecture for knowledge engineering. Our originality consistsd 6 parts as follow.1. Parallel object oriented language based on single assignment.2. Programming environment using database of names in programs.3. Corespondence of types and names in programs.4. Object oriented parallel architecture based on context granularity, which is based on message passings for an argument transfer.5. Parallel program debugging using Petri-net model.6. Browsing tools for inspecting global relationship among objects.We introduced non-determinism for the object oriented language by a messsage randevouz mechanism called "join". This language has enough expressive power for many kinds of parallel programs. Through the simulation of the parallel architecture, we convinced the mechanism of context-driven execution model and object oriented load-distribution mechanism works well. The prototype of programming environment was built and tested.