Web服务编排的并发事务逻辑模型

基金项目:

国家“九七三”重点基础研究发展规划项目基金资助项目(2007CB311100)

北京工业大学博士科研启动基金资助项目(52007013200704).

详细信息

Web Service Choreography Model Based on Concurrent Transaction Logic

1. School of Computer Science & Engineering, Beijing University of Technology, 100124 Beijing, China;
2. School of Computer Science, Communication University of China, 100024 Beijing, China

摘要: 为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.
- Web服务 /
- 并发事务逻辑 /
- 服务编排
Abstract: Web service choreography among organizations should be established on the basis of formal model.This paper establishes the model of web service choreography based on concurrent transaction logic and the translation rules from WSCDL to concurrent transaction logic are given.The concurrent transaction model of web service choreography is established on the basis of formal methods and is easy to verify properties of web service choreography.Finally, an actual web service choreography model based on concurrent transaction logic is illustrated.
- web services /
- concurrent transaction logic /
- service choreography

[1]	OASIS Web Services Business Process Execution Language(WSBPEL)TC.Business process execution language for webservices[S/OL].America:OASIS,2006[2007-10-01].http:∥docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.pdf.
[2]	PELZ C.Web services orchestration and choreography[J].IEEE Computer,2003,36(8):46-52.
[3]	PELZ C.Web services orchestration and choreography,a look at WSCI and WS-BPEL[S/OL].America:HP,2003[2007-10-01].http:∥devresource.hp.com/drc/technical-articles/wsOrchestration.pdf.
[4]	W3C.WSCI:web service choreography interface(WSCI)1.0[S/OL].America:W3C,2002[2007-10-01].http:∥www.w3.org/TR/wsci.
[5]	W3C.WS-CDL:web services choreography description language version 1.0[S/OL].America:W3C,2006[2007-10-01].http:∥www.w3.org/TR/ws-cdl-10/.
[6]	YANG H,ZHAO X P,QIU Z Y,et al.A formal model for web service choreography description language[C]∥Proc of theIEEE International Conference on Web Services 2006.Chicago,USA:IEEE,2006:192-198.
[7]	BROGI A,CANAL C,PIMENTEL E,et al.Formalizing web services choreographies[C]∥Proc of 1st InternationalWorkshop on Web Services and Formal Methods.Pisa Haly:IEEE Computer Society Press,2004:181-188.
[8]	BUSI N,GORRIERI R,GUIDI C,et al.Towards a formal framework for Choreography[R/OL].America:IEEEComputer Society Press,2003[2007-10-01].http:∥www.cs.unibo.it/lucchi/papers/dmc.pdf.