基于π演算的BPEL组合服务的形式化描述及验证  

Formal description and verification of π-calculus based BPEL service composition

作　　者：夏红星 

机构地区：[1]江苏靖江教师进修学校,江苏泰州214500

出　　处：《微型机与应用》2010年第22期62-64,共3页Microcomputer & Its Applications

摘　　要：BPEL是实现SOA组合服务和服务编制的重要技术。重点论述了π演算的语法定义和Π演算建模Web服务的算法,然后以一个典型的银行借贷服务系统为例,利用π演算进行了形式化描述和验证。BPEL is an important technology to achieve SOA service composition and service orchestration.This paper mainly discussed the syntax definition of π-calculus and the algorithm using π-calculus to model web service,then took a typical bank loan service system for example,used π-calculus for formal description and verification.

关 键 词：BPEL服务 Π演算 形式化描述 验证 

分 类 号：TP393.02[自动化与计算机技术—计算机应用技术]