10.3969/j.issn.1000-3428.2004.22.006
基于Petri网的Web服务BPEL4WS建模与分析
描述了Web服务业务流程执行语言(BPEL4WS或BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性.在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法.然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性(soundness)验证.
Petri网、BPEL4WS、Web Service、验证、完整性
30
TP301(计算技术、计算机技术)
国家高技术研究发展计划863计划2001AA413020
2004-12-16(万方平台首次上网日期,不代表论文的发表时间)
共3页
14-16