基于工作流的計(jì)量業(yè)務(wù)管理系統(tǒng).pdf

1、近年來，工作流技術(shù)作為一種實(shí)現(xiàn)工作過程管理自動(dòng)化、智能化的技術(shù)，已被廣泛應(yīng)用于醫(yī)療、辦公、銀行和制造等各個(gè)領(lǐng)域中。Petri網(wǎng)作為一種圖形化和數(shù)學(xué)化的建模工具，可擴(kuò)展性強(qiáng)，適用于各個(gè)領(lǐng)域的系統(tǒng)建模、分析和控制。作為系統(tǒng)安全的第一道防線，訪問控制技術(shù)能夠有效地避免系統(tǒng)遭到非法使用。
　　本論文以計(jì)量業(yè)務(wù)管理系統(tǒng)為背景，所做的工作主要圍繞如何將基于Petri網(wǎng)的工作流建模技術(shù)運(yùn)用在計(jì)量業(yè)務(wù)管理系統(tǒng)的業(yè)務(wù)流程建模中以及如何使用訪問控制技

2、術(shù)來提高系統(tǒng)的安全性。本文的主要研究工作可以歸納為三個(gè)方面：⑴基于Petri網(wǎng)的工作流建模方法，給出了一個(gè)計(jì)量業(yè)務(wù)管理系統(tǒng)業(yè)務(wù)流程的建模，在對(duì)模型合理性驗(yàn)證的基礎(chǔ)上進(jìn)行實(shí)現(xiàn)。⑵結(jié)合基于角色的訪問控制和基于任務(wù)的訪問控制，給出了一個(gè)計(jì)量業(yè)務(wù)管理系統(tǒng)的可代理的訪問控制模型，該模型結(jié)合兩種訪問控制模型的優(yōu)點(diǎn)，可確保系統(tǒng)安全并實(shí)現(xiàn)事務(wù)代理。⑶基于Petri網(wǎng)的工作流建模方法和可代理的訪問控制模型，設(shè)計(jì)并實(shí)現(xiàn)了一個(gè)實(shí)際的計(jì)量業(yè)務(wù)管理系統(tǒng)的系統(tǒng)架構(gòu)