文件名称:论文研究-基于DTMA的web服务组合分析与建模方法 .pdf
文件大小:392KB
文件格式:PDF
更新时间:2022-09-12 02:27:40
BPEL4WS ambient演算 DTMA
基于DTMA的web服务组合分析与建模方法,李勇,李津,本文基于离散时间的移动ambient演算(DTMA)编码了进程代数中的一些基本进程结构,并系统地给出BPEL4WS基本活动的编码,重点分析和建模了B
文件名称:论文研究-基于DTMA的web服务组合分析与建模方法 .pdf
文件大小:392KB
文件格式:PDF
更新时间:2022-09-12 02:27:40
BPEL4WS ambient演算 DTMA
基于DTMA的web服务组合分析与建模方法,李勇,李津,本文基于离散时间的移动ambient演算(DTMA)编码了进程代数中的一些基本进程结构,并系统地给出BPEL4WS基本活动的编码,重点分析和建模了B