论文研究-Web服务相容性的形式化描述与分析.pdf

【文件属性】：

文件名称：论文研究-Web服务相容性的形式化描述与分析.pdf

文件大小：1.8MB

文件格式：PDF

更新时间：2022-09-27 10:32:50

论文研究

Web服务的相容性分析是为了保证多个Web服务之间的正确交互。基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义。同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义。