摘要
Web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着Web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了Web服务组合流程的正确性。
The development of Web service technology provides us a kind of platform-independent, self-described, location-transparent software module. Utilizing Web service composition technology, business demand can be met quickly and flexibly. As Web service composition becomes more and more complexity, design of composition process became more and more error-prone. We put forward a model for Web service composition description based on extended colored Petri net. This model is independent of any process description languages, supports hierarchical process description and can describe a more comprehensive process. Moreover,we also presented methods to validate control flow correctness, data flow correctness and process instance correctness of the process, thus we can insure the process correctness from these three levels.
出处
《计算机科学》
CSCD
北大核心
2009年第10期146-149,共4页
Computer Science
基金
国家"八六三"高技术研究发展计划项目"可靠的服务组合方法及其验证技术研究"(2007AA01Z136)
国家"九七三"重点基础研究发展规划项目"语义网格的过程语义及其验证理论与服务集成技术"(2003CB316902)资助
