| Web服务的Pi演算描述 |
| |
| 引用本文： | 郭小群,郝克刚.Web服务的Pi演算描述[J].计算机科学,2006,33(3):261-262. |
| |
| 作者姓名： | 郭小群 郝克刚 |
| |
| 作者单位： | 西北大学计算机科学系,西安,710069 |
| |
| 基金项目： | 陕西省西安市科技攻关项目;西北大学校科研和教改项目 |
| |
| 摘 要： | 如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代数的角度出发,用 Pi 演算来描述 Web 服务以及 Web 服务的组合。
|
| 关 键 词： | Pi演算 Web服务 Web服务组合 |
Pi Calcula-Based Model for Web Services |
| |
| GUO Xiao-Qun,HAO Ke-Gang.Pi Calcula-Based Model for Web Services[J].Computer Science,2006,33(3):261-262. |
| |
| Authors: | GUO Xiao-Qun HAO Ke-Gang |
| |
| Abstract: | The problem that researchers of Web services field focuses on is how to integrate existed Web services to cre- ate 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. |
| |
| Keywords: | Pi calculas Web service Web service composition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
