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