UM  > 科技學院  > 電腦及資訊科學系
The rely/guarantee approach to verifying concurrent BPEL programs
Zhu H.3; Xu Q.2; Ma C.5; Qin S.1; Qiu Z.4
2012-11-06
Source PublicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ISSN03029743 16113349
Volume7504 LNCSPages:172-187
Abstract

Web services have become more and more important in these years, and BPEL4WS (BPEL) is the OASIS standard for web services composition and orchestration. It contains several distinct features, including scope-based compensation and fault handling mechanism. This paper focuses on the verification of BPEL programs, especially the verification of concurrent BPEL programs. The rely/guarantee approach is applied. Firstly, we present the operational semantics for BPEL programs. Secondly we apply the rely/guarantee method in the design of the verification rules. The rules can handle the features of BPEL programs, including compensation, fault handling and concurrency. Finally, the whole proof system is proved to be sound based on our operational semantics. © 2012 Springer-Verlag.

DOI10.1007/978-3-642-33826-7_12
URLView the original
Language英语
全文获取链接
引用统计
Document TypeJournal article
专题DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
Affiliation1.University of Teesside
2.Universidade de Macau
3.East China Normal University
4.Peking University
5.Macau Polytechnic Institute
推荐引用方式
GB/T 7714
Zhu H.,Xu Q.,Ma C.,et al. The rely/guarantee approach to verifying concurrent BPEL programs[J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),2012,7504 LNCS:172-187.
APA Zhu H.,Xu Q.,Ma C.,Qin S.,&Qiu Z..(2012).The rely/guarantee approach to verifying concurrent BPEL programs.Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),7504 LNCS,172-187.
MLA Zhu H.,et al."The rely/guarantee approach to verifying concurrent BPEL programs".Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7504 LNCS(2012):172-187.
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
Google Scholar
中相似的文章 Google Scholar
[Zhu H.]的文章
[Xu Q.]的文章
[Ma C.]的文章
Baidu academic
中相似的文章 Baidu academic
[Zhu H.]的文章
[Xu Q.]的文章
[Ma C.]的文章
Bing Scholar
中相似的文章 Bing Scholar
[Zhu H.]的文章
[Xu Q.]的文章
[Ma C.]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。