工作流組織資源建模及其形式化配置方法
2009-03-02 03:49:24高新勤李宗斌杜軒閆利軍
西安交通大學學報 2009年1期
高新勤 李宗斌 杜 軒 閆利軍
摘要：提出了基于統一建模語言(UML)和多色集合(PS)的工作流組織資源模型及其形式化配置方法，建立了包含部門和工作組的工作流組織資源UML類圖模型．結合制造企業的工作流過程，對通用的組織資源UML類圖模型進行了實例化，建立了工作流組織資源的UML對象圖模型．基于PS理論，對工作流組織資源的類圖模型和對象圖模型進行了形式化描述，建立了工作流組織資源的PS層次結構模型。通過對PS圍道矩陣的遞階推理，完成了工作流過程活動的形式化資源配置，并將其表示為多色集合中體的形式，從而實現了制造企業工作流組織資源模型與工作流過程模型的良好連接。
關鍵詞：統一建模語言；多色集合理論；組織資源建模；形式化配置
中圖分類號：TH166文獻標志碼：A文章編號：0253—987X(2009)01—0052—05
