计算机集成制造系统
計算機集成製造繫統
계산궤집성제조계통
COMPUTER INTEGRATED MANUFACTURING SYSTEMS
2009年
5期
925-931
,共7页
图%图变换%访问控制%工作流
圖%圖變換%訪問控製%工作流
도%도변환%방문공제%공작류
为了直观和准确地描述工作流访问控制,提出了一个基于图的工作流访问控制模型.使用图和图变换对模型进行形式化描述,并给出了模型应用的相关算法.在该模型中,使用类型图表示访问控制中各元素的类型信息,使用带变量规则表示系统授权状态转换,使用肯定、否定约束限制图结构,并建立了基于图的工作流访问控制授权约束和图变换规则模板.提出了基于图变换的约束一致性验证算法和使用图终止性对授权合理性验证的方法.最后,通过一个实例对模型进行了验证.
為瞭直觀和準確地描述工作流訪問控製,提齣瞭一箇基于圖的工作流訪問控製模型.使用圖和圖變換對模型進行形式化描述,併給齣瞭模型應用的相關算法.在該模型中,使用類型圖錶示訪問控製中各元素的類型信息,使用帶變量規則錶示繫統授權狀態轉換,使用肯定、否定約束限製圖結構,併建立瞭基于圖的工作流訪問控製授權約束和圖變換規則模闆.提齣瞭基于圖變換的約束一緻性驗證算法和使用圖終止性對授權閤理性驗證的方法.最後,通過一箇實例對模型進行瞭驗證.
위료직관화준학지묘술공작류방문공제,제출료일개기우도적공작류방문공제모형.사용도화도변환대모형진행형식화묘술,병급출료모형응용적상관산법.재해모형중,사용류형도표시방문공제중각원소적류형신식,사용대변량규칙표시계통수권상태전환,사용긍정、부정약속한제도결구,병건립료기우도적공작류방문공제수권약속화도변환규칙모판.제출료기우도변환적약속일치성험증산법화사용도종지성대수권합이성험증적방법.최후,통과일개실례대모형진행료험증.
