摘要
针对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.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第24期39-40,44,共3页
Computer Engineering
基金
国家"863"计划基金资助项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136)
上海市重点攻关基金资助项目(08251203403)
