基于Petri网的Web服务合成模式分析

摘要：

本文通过分析Web服务及其合成语言BPEL4WS的面向服务性质,提出一种基于Petri网的Web服务合成的形式化模拟与分析技术--Web服务工作流网(BPWS-Net).并基于Web服务工作流网分析了Web服务的两种合成模式,层次合成和会话合成的健壮性.为Web服务合成的分析和验证提供了一种理论方法.

关键词： Petri网 BPEL4WS Web服务 服务合成 健壮性

作者: 孙健

作者单位: 同济大学计算机科学与工程系,上海,200092

会议类型: 国内会议

会议名称: 中国科学院计算技术研究所第八届计算机科学与技术研究生学术讨论会

会议地点: 大连

会议语种:中文

页码: 75

在线出版日期: 2004-07-01（万方平台首次上网日期，不代表论文的发表时间）