摘要: 针对Web服务组合流程资源的表达及组合流程正确性验证问题,提出一个基于层次颜色Petri网的Web服务组合描述模型,该模型在描述组合流程控制流的同时还能描述流程中的数据流,能较全面地刻画Web服务组合流程,并且支持对组合流程正确性的验证分析、实例化流程的仿真运行。建模实例验证了该模型的有效性和实用性。
关键词:
层次颜色Petri网,
模型驱动架构,
Web服务组合
Abstract: 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.
Key words:
hierarchical colored Petri net,
model driven architecture,
Web service composition
中图分类号:
李景霞;程久军. Web服务组合的层次颜色Petri网描述模型[J]. 计算机工程, 2009, 35(24): 39-40.
LI Jing-xia; CHENG Jiu-jun. Hierarchical Colored Petri Net Description Model for Web Service Composition[J]. Computer Engineering, 2009, 35(24): 39-40.