基于DTMA的web服务组合分析与建模方法[EB/OL]
北京：中国科技论文在线
） 摘要： 本文基于离散时间的移动ambient演算（DTMA）编码了进程代数中的一些基本进程结构,并系统地给出BPEL4WS基本活动的编码,重点分析和建模了BPEL4WS多层上下文辖域scope的故障与补偿处理,为进一步的复杂Web服务组合结构的分析和验证奠定了基础． 关键词： BPEL4WS ambient演算 DTMA 形式化建模 Li Yong *
） Abstract： We present the encoding forms of some process structure and systemically encoding the basic activities and structured activities of BPEL4WS based on the Discrete Timed Mobile Ambient (DTMA) in this paper． It is stressed to modeling the fault handling and compensation handling of multi-layer scope． The work of encoding BPEL4WS establishes a foundation for the analysis and model checking of complex web service composition orchestration． Keywords： BPEL4WS, ambient calculus, DTMA ,formalized modeling 下载PDF阅读器 PDF全文下载： 初稿 （ 133 ） 作者简介： 通信联系人： 【收录情况】 中国科技论文在线： 李勇
李津
李津
高春鸣 （ 湖南师范大学数学与计算机科学学院
