基于回溯树分解的互斥约束工作流可满足性计数

摘要：

工作流可满足性(WS)研究一定访问控制策略下的资源分配问题,其计数问题有利于判断工作流对资源异常情况的顽健性.本文研究互斥约束下的WS计数问题,通过多项式计数归约为约束可满足性计数问题,将经典的回溯树分解方法用于#WS(≠)求解.实验表明,改进后的算法降低了执行时间,相对于现有#WS(≠)算法,提出的算法对低密度约束下的工作流具有一定的综合性能优势.

关键词：工作流、授权、约束、资源分配、可满足性

所属期刊栏目：32

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

资助基金：浙江省教育厅科研基金资助项目Y201533771;浙江省自然科学基金资助项目LY16F020027;国家自然科学基金资助项目No.61302112 Zhejiang Provincial Education Department Research Foundation of ChinaY201533771;Zhejiang Provincial Natural Science Foundation of ChinaLY16F020027;The National Natural Science Foundation of China61302112

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

页数：共9页

页码：101-109