摘要: 如何从已有的Web服务构造新的增值性的正确的Web服务,已成为研究Web服务的群体关注的一个焦点.因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在Web服务投入使用之前,对其进行分析和验证.本文主要从过程代数的角度出发,用Hi演算来描述Web服务以及Web服务的组合.
郭小群 郝克刚. Web服务的Pi演算描述[J]. 计算机科学, 2006, 33(3): 261-262. https://doi.org/
GUO Xiao-Qun , HAO Ke-Gang (Department of Computer Science, Northwest University, Xi'an 710069). [J]. Computer Science, 2006, 33(3): 261-262. https://doi.org/