论文研究-基于行为描述的Web服务组合兼容性检查.pdf

【文件属性】：

文件名称：论文研究-基于行为描述的Web服务组合兼容性检查.pdf

文件大小：655KB

文件格式：PDF

更新时间：2022-08-11 16:54:37

Web服务,接口,行为视图,兼容性,π演算

定义了服务的基调视图和行为视图，设计了将Web服务行为转换为π演算进程表达的建模方法，并给出了实现服务视图向π演算进程自动转换的算法；最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。