计算机与数字工程2011，Vol.39Issue(7)：12-16,174,6.
基于Pi演算的Web服务组合过程框架
A Pi-calculus Based Process Framework for Web Service Composition
摘要
Abstract
Based on discussing the orchestration, verification and deployment of Web services, a Pi-calculus based process framework is proposed and every step's theories and tools are explicated. Also on the basis of the existing research, an improvement methods aiming at realizing automation and visualization of manual participation in many formal verifications is proposed.关键词
Web服务组合/过程框架/Pi演算/BPELKey words
Web service composition/ process framework/ Pi-calculus/ BPEL分类
信息技术与安全科学引用本文复制引用
毛瑞雪..基于Pi演算的Web服务组合过程框架[J].计算机与数字工程,2011,39(7):12-16,174,6.
