Web服务的Pi演算描述  

Pi Calcula-Based Model for Web Services

作　　者：郭小群[1] 郝克刚[1] 

机构地区：[1]西北大学计算机科学系,西安710069

出　　处：《计算机科学》2006年第3期261-262,共2页Computer Science

基　　金：本文得到西安市科技攻关基金项目(GG200220);西北大学科研基金项目(02NW11)的支持

摘　　要：如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代数的角度出发,用 Pi 演算来描述 Web 服务以及 Web 服务的组合。The problem that researchers of Web services field focuses on is how to integrate existed Web services to ereate new add-valued and correct Web service. Therefore, there is a need for modeling techniques and tools for reliable Web service. In this paper, based on thinking that Web services are processes, we proposed using Pi to model Web service and Web service composition.

关 键 词：PI演算 WEB服务 WEB服务组合 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP301.6[自动化与计算机技术—计算机科学与技术]