彭格利，A.D。;哥伦比亚特区因斯。 商机器、接口方程和协议转换。 （英语） Zbl 0953.68009号 计算。J。 43，第1期，24-39（2000）. 概要：协议工程中的一个主要问题是推导在两个不同协议之间进行调解的转换器的规范。本文描述了一种将自动机理论和拓扑结合在一起的技术，与当前的自动转换器综合方法相比，该技术取得了很大的效率提高，因为它能够处理比以前工作中处理的协议更大的协议。该技术基于称为界面方程的过程代数方程，并利用拓扑图理论对其进行求解。我们提供了界面方程的简化视图，并说明了如何将其解转换为导出商图的过程。本文最后讨论了我们工作的工业意义，并分析了我们的算法。 MSC公司： 68个M12 网络协议 68M10个 计算机系统中的网络设计和通信 关键词：协议工程;进程代数;界面方程 软件：并发工作台 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Pengelly}和\textit{D.C.Ince}，计算。J.43，第1号，24-39（2000；Zbl 0953.68009） 全文： 内政部