论文部分内容阅读
Web服务技术日趋成熟，它提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术，能够快速、灵活地满足复杂多变的业务需求。随着web服务组合流程日趋复杂，组合流程设计越来越容易出错。给出了一个描述Web服务组合流程的扩展层次颜色Petri网模型，它独立于具体的流程描述语言，支持流程的层次表达且能较全面地刻画Web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法，从3个层面确保了web服务组合流程的正确性。