基于实例分解的工作流授权合理性验证

摘要：

为提高工作流授权合理性验证的效率,增强对执行时任务指派的支持,提出了基于问题分解的工作流授权合理性验证方法.通过基于业务实例的工作流模型分解,将工作流授权合理性问题分解为业务实例、业务实例的并发任务集合、并发任务集合中任务的授权合理性问题,得到工作流授权合理性问题的与/或树表示.利用定义的合理指派路径及其串联操作,分析了工作流授权合理性问题与/或树节点的可解性.给出了基于与/或树搜索实现工作流授权合理性验证的算法,并分析了算法的复杂度及其输出的合理指派路径对工作流执行时任务指派的支持.在与/或树基础上,通过选择合适的启发函数,可以进一步提高验证效率,或快速生成适合问题需求的最佳解树.

关键词：工作流、授权约束、与/或树、任务指派、合理性、验证

所属期刊栏目：12

分类号：TP309(计算技术、计算机技术)

资助基金：国家科技攻关项目2001BA105A1006

在线出版日期：2006-06-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：697-701