| 基于着色Petri网的Web合成服务会话协议 |
| |
| 引用本文： | 黄超白,黄上腾.基于着色Petri网的Web合成服务会话协议[J].计算机工程与应用,2005,41(4):143-145,181. |
| |
| 作者姓名： | 黄超白 黄上腾 |
| |
| 作者单位： | 上海交通大学计算机与信息技术系,上海,200030;上海交通大学计算机与信息技术系,上海,200030 |
| |
| 基金项目： | 国家863高科技研究发展计划项目基金资助 |
| |
| 摘 要： | 基于着色Petri网的会话协议不仅能准确地描述Web服务的业务流程特征,而且具备强大的数据承载能力。该文以BPEL4WS语言为例,在对Web服务特性进行分析的基础上,给出了基于着色Petri网的会话协议以及相应的Web合成服务设计方法。通过这种框架,可以运用成熟的Petri网技术,对Web服务模型进行进一步的分析和验证,以提高服务的正确性和可靠性。
|
| 关 键 词： | Web服务 BPEL4WS 着色Petri网 会话协议 |
| 文章编号： | 1002-8331-(2005)04-0143-03 |
Conversation Protocol of Web Composition Service Based on Colored Petri Net |
| |
| Huang Chaobai,Huang Shangteng.Conversation Protocol of Web Composition Service Based on Colored Petri Net[J].Computer Engineering and Applications,2005,41(4):143-145,181. |
| |
| Authors: | Huang Chaobai Huang Shangteng |
| |
| Abstract: | 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. |
| |
| Keywords: | Web service BPEL4WS colored Petri net conversation protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
