安全工作流管理系統(tǒng)的約束機(jī)制研究.pdf

1、在該系統(tǒng)中,用戶可用形式化的約束描述語言描述系統(tǒng)約束規(guī)則,并可自行定制工作流模板及其任務(wù)環(huán)節(jié).系統(tǒng)還提供對任務(wù)、約束規(guī)則和權(quán)限的靈活管理.在流程執(zhí)行過程中,系統(tǒng)提供適當(dāng)?shù)氖軝?quán)機(jī)制來保證權(quán)限的授予與撤消和工作流的運(yùn)行狀態(tài)同步.約束子系統(tǒng)作為該系統(tǒng)一個重要組成部分,提供約束的描述和管理功能.該子系統(tǒng)主要包括約束配置器、約束分析模塊和約束處理模塊三個部分.約束配置器提供定義各種沖突集合、實(shí)時(shí)管理以及形式化描述約束規(guī)則的圖形界面,以及不定時(shí)檢測

2、系統(tǒng)約束規(guī)則的功能.約束分析模塊是TCL編譯器,負(fù)責(zé)分析執(zhí)行TCL語句.約束處理模塊負(fù)責(zé)處理各種約束檢測請求.在約束子系統(tǒng)的形式化描述中,提出了基于任務(wù)的約束描述語言(TCL2000).TCL2000是在RCL2000語言的基礎(chǔ)上,結(jié)合工作流管理系統(tǒng)自身的特點(diǎn)而設(shè)計(jì)的.與以前的約束描述語言相比,TCL20000是基于任務(wù),而不是基于角色.TCL2000具有很強(qiáng)的表達(dá)能力,不僅能描述已存在的約束,而且還能描述新形式的約束,尤其有利于對動態(tài)