Z.齐亚特苏利斯。;Cotronis，J.Y。 测试和调试消息传递程序及其规范。 （英语） Zbl 0954.68111号 芬丹。通知。 41，第3期，341-366（2000）. 摘要：我们概述了集成，这是一种从脚本指导的程序组件组成消息传递（MP）应用程序的设计和实现方法。我们定义了与程序组件相对应的规范组件，并通过相同的脚本来组合它们，从而获得组合应用程序的正式规范。我们使用Petri网形式来表示组件和应用程序规范。Petri网的组成是通过接口输入弧和输出弧上的铭文适当耦合来建模的，这些铭文往返于一个统一的环境场所。基于Petri网仿真工具与监控程序执行工具的协同作用，我们详细阐述了MP应用程序的测试和调试。 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：消息传递;Petri网模拟 软件：设计/CPN;SYROCO公司 PDF格式BibTeX公司 XML格式引用 \textit{Z.Tsiatsoulis}和\textit{J.Y.Cotronis}，Fundam。通知。41，第3号，341--366（2000；Zbl 0954.68111）