论文研究-基于DTMA的web服务组合分析与建模方法 .pdf

时间:2022-09-12 02:27:40
【文件属性】:

文件名称:论文研究-基于DTMA的web服务组合分析与建模方法 .pdf

文件大小:392KB

文件格式:PDF

更新时间:2022-09-12 02:27:40

BPEL4WS ambient演算 DTMA

基于DTMA的web服务组合分析与建模方法,李勇,李津,本文基于离散时间的移动ambient演算(DTMA)编码了进程代数中的一些基本进程结构,并系统地给出BPEL4WS基本活动的编码,重点分析和建模了B


网友评论