文件名称：论文研究-燃料电池温度模糊自适应控制.pdf
文件大小：724KB
文件格式：PDF
更新时间：2022-10-02 15:35:40
论文研究
Web服务通过组合基本服务为解决复杂问题提供了方法，于是近年来越来越受到关注。当前交互式下的Web服务在实际组合中还存在诸多问题，其中就包括Web服务组合验证问题。运用Pi演算对航空订票业务的Web服务进行形式化建模，改进基于Pi演算的推理，提供一种验证多个Web服务组合是否兼容的方法。为证实该验证方法，进一步采用MWB工具展示了Web服务组合兼容性的验证过程。