针对工作流模式执行约束的解决方案-计算机应用研究.pdf

第２９卷第７期 计 算 机 应 用 研 究 Ｖｏｌ．２９Ｎｏ．７ ２０１２年７月　 ＡｐｐｌｉｃａｔｉｏｎＲｅｓｅａｒｃｈｏｆＣｏｍｐｕｔｅｒｓ Ｊｕｌ．２０１２ 针对工作流模式执行约束的解决方案 付丽娜，郝克刚 （西北大学信息学院计算机系，西安７１０１２７） 摘　要：在对新版工作流模式进行深入分析后发现其中有八种模式虽然可以被现有的扩展信牌驱动模型所支 持，但却不完全满足模式在执行环境下的约束，即不能保证模式所对应的模型区域安全执行，为此提出了形式化 的解决方案旨在使信牌驱动模型实现对模式执行约束的支持。首先需要对模式所对应的模型区域进行形式化 定义并提供识别该模型区域的算法，提出了通过保证区域内信牌箱的安全进而保证对应模型区域安全执行的 策略。 关键词：工作流模式；执行约束；信牌驱动模型；安全；并发 中图分类号：ＴＰ３１１　　　文献标志码：Ａ　　　文章编号：１００１