基于約束有向圖建模的工作流管理系統(tǒng)構(gòu)建.pdf

1、本文首先給出了工作流技術(shù)的一些基本概念，然后對傳統(tǒng)的建模方法進行了介紹和比較，這些方法在業(yè)務(wù)過程的描述能力或模型本身的靈活性等方面存在著一定的不足。針對上述問題，本文提出一個基于約束有向圖的工作流建模方法，該方法通過對有向圖的節(jié)點和連接弧進行約束，解決了有向圖在業(yè)務(wù)過程建模中描述能力不足的問題，同時保留了有向圖的建模直觀性和靈活性。 該建模方法將整個工作流模型劃分為組織模型、過程模型和數(shù)據(jù)模型三部分。在文中詳細給出了各部分模型的

2、形式化定義、組成元素及其相互關(guān)系，并利用面向?qū)ο蟮某绦蛟O(shè)計方法將模型實現(xiàn)。在組織模型中對RBAC模型進行改進，解決了RBAC模型在細粒度信息控制和權(quán)限時間約束上的不足。在數(shù)據(jù)模型中對工作流管理系統(tǒng)中的數(shù)據(jù)進行了分類和刻畫。對工作流管理系統(tǒng)中最主要的數(shù)據(jù)載體——表單，設(shè)計了表單模板，通過模板定義，自動生成表單，利用組織模型中改進的RBAC模型對表單進行權(quán)限控制。 本文在提出和設(shè)計了上述建模方法的基礎(chǔ)上同時完成了以下工作：