论文部分内容阅读
以业务流程执行语言(BPEL)为基础,选取无状态的Web服务,采用有色Petri网模型描述业务流程,设计一种多输入多输出、引擎集中式的流程执行结构,使用关联矩阵和消息的双向传递实现应用级的状态保存。当流程异常中断时,提供恢复执行所需的最小状态集合,保证基于Web服务BPEL的面向服务架构应用的正确性和连续性。实例分析表明,该方法实用性强、可靠性高