摘要
分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进。利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势。
Have analyzed inadequate of using general Petri nets to the Web services composition modeling, having put forward the improvement lay colored Petri net. Have given the formal definition of Web services based on colored Petri net theory, have described the Petri net model of five kinds of basic structure of Web services composition. Through an examplesschedule, have analyzed the different Web services of the schedule, have described colored Petri net model that were from a combination of different Web services formed a schedule service and demonstrated advantage of the colored Petri net in the Web services composition model methods.
出处
《计算机技术与发展》
2009年第4期128-130,共3页
Computer Technology and Development
基金
重庆市科技计划项目(KJ081109)
