%0 Journal Article
%T 基于权限和任务的工作流授权合理性验证
%A 魏永合
%A 舒启林
%J 计算机集成制造系统
%P 0-0
%D 2008
%X 为提高工作流授权合理性验证的效率，提出了基于权限和任务的工作流授权合理性验证方法。通过对工作流授权约束的分析，将授权约束分为针对任务和权限分派关系的权限约束，以及针对任务间职责冲突关系的任务约束和授权约束间约束传递，并在此基础上构建了授权约束规则集对授权合理性进行验证，给出了实现工作流授权合理性验证的算法。最后，通过一个流程实例，证明了该验证方法的实用性。授权约束规则集可以验证约束的完整性和一致性，使满足此规则集的授权工作流既具有必须和足够的授权约束，又保证其每个任务都有合法的用户执行，同时该验证算法可以提高验证的效率。
%K 工作流
%K 授权约束
%K 任务
%K 权限
%K 合理性
%K 验证算法
%U http://www.cims-journal.cn/CN/abstract/abstract2002.shtml