论文研究 中的随机化研究.pdf

Web服务组合需要可靠的事务处理机制，而目前仅依赖传统的ACID机制进行组合事务处理无法满足需要。为此提出一种基于配对Petri网的结构化补偿方法，该方法基于配对Petri网描述基本聚合结构的Web服务组合及其补偿行为。借助配对Petri网的动态执行推演技术分析了聚合结构补偿的执行语义，分析表明该方法可用于可靠业务流程组合、聚合补偿和组合流程优化等方面。