计算机科学 ›› 2006, Vol. 33 ›› Issue (3): 261-262.

• • 上一篇    下一篇

Web服务的Pi演算描述

郭小群 郝克刚   

  1. 西北大学计算机科学系,西安710069
  • 出版日期:2018-11-17 发布日期:2018-11-17
  • 基金资助:
    本文得到西安市科技攻关基金项目(GG200220)及西北大学科研基金项目(02NW11)的支持.

GUO Xiao-Qun , HAO Ke-Gang (Department of Computer Science, Northwest University, Xi'an 710069)   

  • Online:2018-11-17 Published:2018-11-17

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

关键词: Pi演算 Web服务 Web服务组合

Abstract: 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,

Key words: Pi calculas, Web service, Web service composition

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!