面向服务工作流补偿机制的研究与实现-东南大学学报.pdfVIP

第３９卷第１期 东南大学学报（自然科 学版 ） Ｖｏｌ３９ Ｎｏ１ 　 ２００９年１月 ＪＯＵＲＮＡＬＯＦＳＯＵＴＨＥＡＳＴＵＮＩＶＥＲＳＩＴＹ（ＮａｔｕｒａｌＳｃｉｅｎｃｅＥｄｉｔｉｏｎ） 　 Ｊａｎ．２００９ 　　　　　　 面向服务工作流补偿机制的研究与实现 张　华　　王　茜 （东南大学计算机科学与工程学院，南京２１００９６） （东南大学计算机网络与信息集成教育部重点实验室，南京２１００９６） 摘要：为了解决面向服务工作流中异常的动态补偿问题，在传统工作流异常处理理论的基础上， 结合ＷｅｂＳｅｒｖｉｃｅｓ的事务处理的特点，提出了基于工作流执行日志实施补偿的策略．补偿过程包 括补偿判断、补偿路线产生和补偿行为调用，异常管理器控制补偿的执行过程．因为服务具有动 态调用、动态执行特点，异常管理器需要在业务运行时依据工作流基本模式和事务依赖关系确定 补偿范围，动态生成补偿路线并调用相应的补偿操作．为了验证补偿策略的可行性和正确性，实 现了基于ＷｅｂＳｅｒｖｉｃｅｓ的原型系统ＷＦＣＦ．实验表明，该机制在失效补偿范围和补偿行为调用２ 个方面提高了工作流异常恢复的效率． 关键词：工作流异常；补偿机制；执行日志；回滚；Ｗｅｂ服务 中图分类号：ＴＰ３９１　　文献标识码：Ａ　　文章编号：１００１－０５０５（２００９）０１００４００７ Ｉｍｐｌｅｍｅｎｔｉｎｇｍｅｃｈａｎｉｓｍｏｆｓｅｒｖｉｃｅｏｒｉｅｎｔｅｄｗｏｒｋｆｌｏｗｃｏｍｐｅｎｓａｔｉｏｎ ＺｈａｎｇＨｕａ　　 ＷａｎｇＱｉａｎ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１００９６，Ｃｈｉｎａ） （ＫｅｙＬａｂｏｒａｔｏｒｙｏｆＣｏｍｐｕｔｅｒＮｅｔｗｏｒｋａｎｄＩｎｆｏｒｍａｔｉｏｎＩｎｔｅｇｒａｔｉｏｎｏｆＭｉｎｉｓｔｒｙｏｆＥｄｕｃａｔｉｏｎ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１００９６，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ：Ｔｏｓｏｌｖｅｔｈｅｐｒｏｂｌｅｍｏｆｄｙｎａｍｉｃｃｏｍｐｅｎｓａｔｉｏｎｏｆｅｘｃｅｐｔｉｏｎｓｉｎｓｅｒｖｉｃｅｏｒｉｅｎｔｅｄｗｏｒｋｆｌｏｗ ｓｙｓｔｅｍ，ａｃｏｍｐｅｎｓａｔｉｏｎｍｅｃｈａｎｉｓｍｕｔｉｌｉｚｉｎｇｔｈｅｅｘｅｃｕｔｉｎｇｌｏｇｒｅｃｏｒｄｓｉｓｐｒｏｐｏｓｅｄｉｎｔｈｉｓｐａｐｅｒ．Ｔｈｉｓ ｍｅｃｈａｎｉｓｍｉｓｂａｓｅｄｏｎｔｒａｄｉｔｉｏｎａｌｅｘｃｅｐｔｉｏｎｈａｎｄｌｉｎｇｍｅｔｈｏｄｓ，ａｎｄＷｅｂＳｅｒｖｉｃｅｔｒａｎｓａｃｔｉｏｎｉｓａｌｓｏ ｔａｋｅｎｉｎｔｏｃｏｎｓｉｄｅｒａｔｉｏｎ．Ｔｈｅｃｏｍｐｅｎｓａｔｉｏｎｐｒｏｃｅｓｓｉｓｃｏｍｐｏｓｅｄｏｆｔｈｒｅｅｐａｒｔｓ：ｊｕｄｇｉｎｇ，ｇｅｎｅｒａｔｉｎｇ ｃｏｍｐｅｎｓａｔｉｏｎｒｏｕｔｅａｎｄｉｎｖｏｋｉｎｇｃｏｍｐｅｎｓａｔｉｏｎｏｐｅｒａｔｉｏｎｓ．Ｔｈｅｆａｉｌｕｒｅｈａｎｄｌｉｎｇａｎｄｔｈｅｆａｉｌｕｒｅｒｅ ｃｏｖｅｒｙａｒｅｃｏｎｔｒｏｌｌｅｄｂｙｅｘｃｅｐｔｉｏｎｍａｎａｇｅｒ．ＤｕｅｔｏｔｈｅｄｙｎａｍｉｃｃｈａｒａｃｔｅｒｉｓｔｉｃｓｏｆＷｅｂＳｅｒｖｉｃｅｓ，ｔｈｅ ｅｘｃｅｐｔｉｏｎｍａｎａｇｅｒｃａｎｓｐｅｃｉｆｙｔｈｅｃｏｍｐｅｎｓａｔｉｏｎｓｃｏｐｅａｃｃｏｒｄｉｎｇｔｏｂａｓｉｃｗｏｒｋｆｌｏｗｐａｔｔｅｒｎａｎｄｔｒａｎｓ ａｃｔｉｏｎｄｅｐｅｎｄｅｎｃｉｅｓｕｎｔｉｌｔｈｅｒｕｎｎｉｎｇｔｉｍｅ．Ｉｔｈａｓｔｏｇｅｎｅｒａｔｅｔｈｅｃｏｍｐｅｎｓａｔｉｏｎｍｏｄｅｌｄｙｎａｍｉｃａｌｌｙ ａｎｄｔｈｅｎｉｎｖｏｋｅｓｃｏｒｒｅｓｐｏｎｄｉｎｇｃｏｍｐｅｎｓａｔｉｏｎｏｐｅｒａｔｉｏｎｓ．Ｉｎｏｒｄｅｒｔｏｖｅｒｉｆｙｔｈｅｆｅａｓｉｂｉｌｉｔｙａｎｄｃｏｒ ｒｅｃｔｎｅｓｓｏｆｔｈｅｆｏｒｅｍｅｎｔｉｏｎｅｄｃｏｍｐｅｎｓａｔｉｏｎｓｃｈｅｍｅ，ａＷｅｂＳｅｒｖｉｃｅｓｂａｓｅ