基于着色Petri网的Web合成服务会话协议

摘要：

基于着色Petri网的会话协议不仅能准确地描述Web服务的业务流程特征,而且具备强大的数据承载能力.该文以BPELAWS语言为例,在对Web服务特性进行分析的基础上,给出了基于着色Petri网的会话协议以及相应的Web合成服务设计方法.通过这种框架,可以运用成熟的Petri网技术,对Web服务模型进行进一步的分析和验证,以提高服务的正确性和可靠性.

关键词：Web服务、BPEL4WS、着色Petri网、会话协议

所属期刊栏目：41

分类号：TP391(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划

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

页数：共4页

页码：143-145,181