基于π演算的Web Services接口扩展与描述  

Research on Web Service Interface Extending and Description

作　　者：张驰[1] 

机构地区：[1]江西财经大学软件学院,江西南昌330013

出　　处：《微电子学与计算机》2009年第11期9-12,共4页Microelectronics & Computer

基　　金：江西省自然科学基金项目(2008GZS0017)

摘　　要：定义了服务的基调视图和行为视图,接着设计了将Web服务行为转化为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法,形成了基于π演算理论的Web服务组合推理的基础.The paper first defined the signature view and behavior protocol of service, then designed the modeling approach for transferring Web service behavior to acalculus process expression, and proposed the algorithm to implement service view transformation to.calculus proess automatically, constructed the basis of deducing Web service composition based on.calculus.

关 键 词：WEB SERVICES 接口 行为视图 Π演算 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]