CORC  > 北京大学  > 数学科学学院
Semantics of BPEL4WS-like fault and compensation handling
Qiu, ZY ; Wang, SL ; Pu, GG ; Zhao, XP
2005
关键词Business Process language semantics BPEL4WS compensation handling fault handling TRANSACTIONS
英文摘要BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which allows the user to specify the compensation behaviors of processes in application-specific manners. In this paper, we present a formal operational semantics to a simplified version of BPEL4WS, with some important concepts related to fault and compensation handling proposed and discussed, especially, the compensation closure and the compensation context. We also discuss some insights into the BPEL4WS language and its implementation obtained from this study.; http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000230881600023&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=8e1609b174ce4e31116a60747a720701 ; Computer Science, Software Engineering; Computer Science, Theory & Methods; SCI(E); CPCI-S(ISTP); 26
语种英语
出处SCI
内容类型其他
源URL[http://hdl.handle.net/20.500.11897/399707]  
专题数学科学学院
推荐引用方式
GB/T 7714
Qiu, ZY,Wang, SL,Pu, GG,et al. Semantics of BPEL4WS-like fault and compensation handling. 2005-01-01.
个性服务
查看访问统计
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

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


©版权所有 ©2017 CSpace - Powered by CSpace