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

Conversation Protocol of Web Composition Service Based on Colored Petri Net

作　　者：黄超白[1] 黄上腾[1] 

机构地区：[1]上海交通大学计算机与信息技术系,上海200030

出　　处：《计算机工程与应用》2005年第4期143-145,181,共4页Computer Engineering and Applications

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

摘　　要：基于着色Petri网的会话协议不仅能准确地描述Web服务的业务流程特征,而且具备强大的数据承载能力。该文以BPEL4WS语言为例,在对Web服务特性进行分析的基础上,给出了基于着色Petri网的会话协议以及相应的Web合成服务设计方法。通过这种框架,可以运用成熟的Petri网技术,对Web服务模型进行进一步的分析和验证,以提高服务的正确性和可靠性。Conversation protocol based on colored Petri net not only describes features of the workflow of Web service,but also has strong capability of data containing.On the basis of analysis of features of Web service,this paper takes the example of BPEL4WS language to introduce the conversation protocol based on colored Petri net and corresponding method for Web composition service designing.By this framework,mature technology of Petri net can be applied to analyze and verify the functionality and reliability of Web service.

关 键 词：WEB服务 BPEL4WS 着色PETRI网 会话协议 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]