Web服务的Pi演算描述

摘要：

如何从已有的Web服务构造新的增值性的正确的Web服务,已成为研究Web服务的群体关注的一个焦点.因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在Web服务投入使用之前,对其进行分析和验证.本文主要从过程代数的角度出发,用Hi演算来描述Web服务以及Web服务的组合.

关键词：Pi演算、Web服务、Web服务组合

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：陕西省西安市科技攻关项目GG200220;西北大学校科研和教改项目02NW11

在线出版日期：2006-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：261-262