摘要
以分布、异构、多自治域的互联网环境为背景,提出利用有色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.
出处
《巢湖学院学报》
2013年第6期22-25,共4页
Journal of Chaohu University
基金
安徽省高等学校优秀青年人才基金项目(项目编号:2012SQRL247)
安徽省质量工程软件技术特色专业建设项目(皖教高[2011]5号174)