| 注册
首页|期刊导航|计算机与数字工程|基于Pi演算的Web服务组合过程框架

基于Pi演算的Web服务组合过程框架

毛瑞雪

计算机与数字工程2011,Vol.39Issue(7):12-16,174,6.
计算机与数字工程2011,Vol.39Issue(7):12-16,174,6.

基于Pi演算的Web服务组合过程框架

A Pi-calculus Based Process Framework for Web Service Composition

毛瑞雪1

作者信息

  • 1. 武汉大学电子信息学院武汉430079
  • 折叠

摘要

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演算/BPEL

Key words

Web service composition/ process framework/ Pi-calculus/ BPEL

分类

信息技术与安全科学

引用本文复制引用

毛瑞雪..基于Pi演算的Web服务组合过程框架[J].计算机与数字工程,2011,39(7):12-16,174,6.

计算机与数字工程

OACSTPCD

1672-9722

访问量0
|
下载量0
段落导航相关论文