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

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