加权工作流可满足性问题
数据结构与算法
2015-02-02 v1 计算复杂性
密码学与安全
摘要
工作流是为实现特定目标而必须按某种特定顺序执行的一系列步骤。计算机化的工作流管理系统可执行授权策略和约束，从而限制哪些用户可以执行工作流中的特定步骤。策略和约束的存在可能导致工作流不可满足，即无法为工作流中的每个步骤找到授权用户并满足所有约束。在本文中，我们通过为每个策略和约束违规分配权重，考虑寻找用户与工作流步骤的“最差程度最小”的分配问题。为此，我们引入了一个将成本与工作流策略和约束违规相关联的框架，并定义了加权工作流可满足性问题（Valued WSP），其解为成本最小的步骤到用户的分配。我们确立了具有用户独立约束的 Valued WSP 的计算复杂性，并证明其是固定参数易处理的。随后，我们描述了一种求解具有用户独立约束的 Valued WSP 的算法，并评估了其性能，将其与现成的混合整数规划软件包进行了比较。
引用
@article{arxiv.1501.07814,
title = {Valued Workflow Satisfiability Problem},
author = {Jason Crampton and Gregory Z. Gutin and Daniel Karapetyan},
journal= {arXiv preprint arXiv:1501.07814},
year = {2015}
}