基于Petri网的Web服务BPEL4WS建模与分析

• 作者: 孙健 陶晓峰
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: Petri网 BPEL4WS Web Service 验证 完整性
• 年，卷（期）: 2004,（22）
• 所属期刊栏目: 博士论文
• 页码范围: 14-16
• 页数: 3页
• 分类号: TP301
• 字数: 2160字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.22.006

摘要

描述了Web服务业务流程执行语言(BPEL4WS或BPEL)的Petri网建模方法,利用网结构描述基于Web服务业务流程的行为特性.在对BPEL4WS的结构性活动和故障补偿处理机制进行逐层分析的基础上,提出了一个利用Petri网的逐步求精技术对流程进行建模的算法.然后结合具体实例阐述了利用该算法建模的详细过程,并对所生成的Petri网模型进行了完整性(soundness)验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙健	同济大学计算机科学与工程系	37	168	7.0	12.0
2	陶晓峰	同济大学计算机科学与工程系	11	116	6.0	10.0