并行程序的正确性确认

本课题主要研究PVM程序的通讯正确性验证，PVM程序自动转换成Petri网模型以及基于petri网模型的正确性验证系统，系统特点创新之处是：给出建立验证系统的理论模型；自动将PVM程序转换成Petri网模型；对并行程序中经常出现的缺发消息，孤n信息，死锁、活锁等异常现象给出其各自的网络特点，并给出相应验证算法；验证系统具有验证过程可视化特点。在研制系统过程中写出了一批高水平学术论文。此研究课题马国内外专家研讨时，引起同行们的极大兴趣。系统将作为国家863项目曙光2000的软件环境中一部分参加国家鉴定。验证系统是对该工具中较难的一个，目前的系统还只是原型。还有许多理论与关键技术需进一步研究。本项目是强—强全作的良好开端。