节点文献

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

Deadlock Checking of BPEL4WS Based on Mobility Workbench

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 SONG Yan, GAO Chunming(College of Mathematics and Computer Science, Hunan Normal University, Changsha 410081)

【机构】湖南师范大学数学与计算机科学学院；湖南师范大学数学与计算机科学学院长沙410081；长沙410081；

【摘要】描述了将Web服务业务流程执行语言(BPEL4WS)映射到π-演算的自动映射方法,对得到的π-演算表达式利用移动工作台(MWB)进行死锁验证,并给出一个具体示例。更多还原

【Abstract】 The paper presents an auto-mapping method from business process execution language for Web Services (BPEL4WS) to it-calculus, checks the deadlocks property of the system expressing by it-calculus using the mobility workbench (MWB) and illustrates the approach.更多还原

【关键词】 Web服务的业务流程执行语言； π-演算；移动工作台；死锁验证；
【Key words】 Business process execution language for Web services (BPEL4WS)； ir-calculus； Mobility workbench (MWB)； Deadlock checking；

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

【文献出处】计算机工程 ,Computer Engineering , 编辑部邮箱 ,2007年01期

【分类号】TP309
【被引频次】13
【下载频次】124

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献