Web服务组合的层次颜色Petri网描述模型  

Hierarchical Colored Petri Net Description Model for Web Service Composition

作　　者：李景霞[1] 程久军[1] 

机构地区：[1]同济大学计算机科学与工程系,上海201804

出　　处：《计算机工程》2009年第24期39-40,44,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136);上海市重点攻关基金资助项目(08251203403)

摘　　要：针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。Aiming at resource expression and correctness validation problem of Web service composition,this paper puts forward a formal description model for Web service composition process based on hierarchical colored Petri net.The model can describe control flow and data flow of Web service composition contemporarily,so it can describe composition process comprehensively.It supports correctness analysis and validation of composition process,and can simulate process instance run.Modeling instance demonstrates the effectiveness and practicality of the model.

关 键 词：层次颜色PETRI网 模型驱动架构 WEB服务组合 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]