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.