基于颜色Petri网的服务组合建模与验证  

Colored Petri Net-Based Service Composition Modeling and Verification

作　　者：余晓[1] 吴剑章[2] 王巍[2] 

机构地区：[1]东南大学继续教育学院,南京210096 [2]东南大学计算机科学与工程学院,南京210096

出　　处：《计算机系统应用》2012年第9期108-112,63,共6页Computer Systems & Applications

摘　　要：Web服务组合技术能快速、灵活的满足复杂多变的业务需求,Web服务组合及其形式化描述和验证已经成为Web服务中一个非常重要的研究方向.给出了一个基于颜色Petri网(CPN)的Web服务和Web服务组合的形式化定义和描述,主要描述了4种组合结构:顺序、选择、并发和循环.给出了一个颜色Petri网建模Web服务组合的实例,并且对模型进行了简单的正确性分析.分析结果表明,该建模方法满足正确性要求.Using web service composition technology, business demand can be meet quickly and flexibly, formal description and verification of web services and their composition are very important research issues. A colored Petri net（CPN） based model is proposed to formally define and descript Web services and Web services composition, four structures of composition are mainly descript： sequence, choice, concurrent and loop, an example of web services composition modeled by Colored Petri net is proposed, the accuracy of the model is simply analyzed. The result shows that the demand of accuracy of the model is satisfied.

关 键 词：WEB服务组合 颜色Petri网(CPN) 建模 验证 

分 类 号：TP393.09[自动化与计算机技术—计算机应用技术] TP301.1[自动化与计算机技术—计算机科学与技术]