有色Petri网在web服务组合建模中的应用

摘要

以分布、异构、多自治域的互联网环境为背景，提出利用有色Petri网对web服务组合进行建模的方法，给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN-tools中测试，有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。%Based on the distributed, heterogeneous, autonomous domain Internet environment as the background, this paper puts forward the modeling method of web service composition by using colored Petri net and gives a graphical formal description of the web service composition net and common structures. The case model in the paper can be tested in CPN-tools, and the effective modeling is the basis of model analysis and validation and the use of model. This research has the certain reference value in solving the problem of web service composition of e-business and enterprise application integration.