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

第35卷 第24期 计 算 机 工 程 2009年 12月 VoL35 No．24 ComputerEngineering December2009 · 博士论文 · 文章编号：1000--3428(2009)244)03902 文献标识码：A 中图分类号：TP393 Web服务组合的层次颜色Petri网描述模型 李景霞，程久军 (同济大学计算机科学与工程系，上海 201804) 摘 要：针对Web服务组合流程资源的表达及组合流程正确性验证问题，提出一个基于层次颜色Petri网的Web服务组合描述模型，该模 型在描述组合流程控制流的同时还能描述流程中的数据流，能较全面地刻画Web服务组合流程 ，并且支持对组合流程正确性的验证分析、 实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。 关键词 ：层次颜色Petri网；模型驱动架构；Web服务组合 HierarchicalColoredPetriNetDescriptionM odel forW ebServiceComposition LIJing-xia，CHENGJiu-jun (DepartmentofComputerScienceEngineering，Tong3iUniversity，Shanghai201804) [Abstract]AimingatresourceexpressionandcorrectnessvalidationproblemofWebservicecomposition，thispaperputsforwardaformal descriptionmodelforWebservicecompositionprocessbasedonhierarchicalcoloredPetrinetThemodelcandescribecontrolflow anddataflow of Webservicecompositioncontemporraily，SOitcandescribecompositionprocesscomprehensively．Itsupportscorrectnessanalysisandvalidationof compositionprocess，andcansimulateprocessinstancerun．Modelinginstancedemonstratestheeffectivenessandpracticalityofthemode1． [Keywords]hierarchicalcoloredPetrinet；modeldrivenarchitecture；Webservicecomposition 1 概述 数据概念与无层次概念。本文利用层次颜色 Petri网 对Web Web服务提供一种分布的、自描述的、模块化的组件， 服务组合进行形式化建模，使得模型支持流程的层次化定义， 为面向 Internet的应用提供统一的服务注册、发现、绑定和 支持流程中资源的表达。 集成机制。Web服务为基于组件的系统开发提供了一种平台 一 个描述Web服务的组合层次颜色Petri网模型定义为 独立的组件，但单个Web服务能提供的功能有限，有必要将 WSC— HCPN：(HCPN， ，ST，PA) Web服务组合起来，提供功能更为强大的服务。当前出现