基于移动工作台的BPEL4WS死锁验证  

Deadlock Checking of BPEL4WS Based on Mobility Workbench

作　　者：宋艳[1] 高春鸣[1] 

机构地区：[1]湖南师范大学数学与计算机科学学院,长沙410081

出　　处：《计算机工程》2007年第1期92-94,97,共4页Computer Engineering

基　　金：湖南省重点科技攻关基金资助项目(05GK2002);湖南省自然科学基金资助项目(03JJY6023)

摘　　要：描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台(MWB)进行死锁验证,并给出一个具体示例。The paper presents an auto-mapping method from business process execution language for Web Services （BPEL4WS） to π-calculus checks the deadlocks property of the system expressing by π-calculus using the mobility workbench （MWB） and illustrates the approach.

关 键 词：Web服务的业务流程执行语言 Π-演算 移动工作台 死锁验证 

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