CAJ | 학술논문

在工作流管理系统中,数据在工作流任务中流动,执行任务的用户在变化,用户的权限也在变化,现有的授权方法不能很好地描述上述这种职责分离的状态.为此,提出了一个工作流授权约束模型.该模型在工作流应用语境中定义了角色层次函数、任务偏序关系和互斥任务,在此基础上给出了一个基于角色的工作流授权约束语言,它可以准确描述工作流系统的职责分离要求,表达静态、动态授权约束和授权的历史信息,同时,所得到的约束规则集规模相对较小,保证了一致性验证在时间和空间上的可行性.
재공작류관리계통중,수거재공작류임무중류동,집행임무적용호재변화,용호적권한야재변화,현유적수권방법불능흔호지묘술상술저충직책분리적상태.위차,제출료일개공작류수권약속모형.해모형재공작류응용어경중정의료각색층차함수、임무편서관계화호척임무,재차기출상급출료일개기우각색적공작류수권약속어언,타가이준학묘술공작류계통적직책분리요구,표체정태、동태수권약속화수권적역사신식,동시,소득도적약속규칙집규모상대교소,보증료일치성험증재시간화공간상적가행성.