工作流与访问控制

本书分七章，从工作流授权模型的表示、合理性验证、执行时指派、指派异常处理四个方面对基于授权约束的工作流任务指派进行了较为全面、系统的研究，并综合上述研究成果，给出了基于约束的工作流授权实现模型，研究了工作流授权模型的表示与化简问题。研究内容涉及工作流模型分解、步语义Petri网。研究了工作流授权模型的合理性（WAR）验证问题。研究内容涉及WAR验证问题的与/或树表示、基于与/或树搜索的工作流授权合理性验证算法WARV、工作流任务执行序列角色规划的解空间、角色规划算法、工作流任务执行序列角色规划CSP问题描述、角色规划CSP问题的修正算法。研究了基于授权约束的工作流任务指派等内容。