魔力平臺業(yè)務過程建模沖突消解的研究與實現(xiàn).pdf

1、隨著企業(yè)業(yè)務過程的復雜程度和參與者的規(guī)模急劇增長,各業(yè)務間的邏輯關系變得更為復雜。采用工作流管理技術建立工作流模型,描述復雜的業(yè)務過程信息,可以實現(xiàn)對復雜業(yè)務過程的有效管理。工作流技術是實現(xiàn)企業(yè)自動化和業(yè)務重組的重要技術。業(yè)務過程建模是整個工作流管理的基礎。工作流模型的正確性是工作流系統(tǒng)正確運行的保障,而模型結構正確是最重要的,因此在工作流執(zhí)行之前,需要對定制的工作流模型進行正確性驗證,分析和檢測復雜工作流模型中是否存在沖突:同時,對含

2、有沖突的模型進行沖突消解,即提出沖突消解方案,以協(xié)助建模人員修改工作流模型。
　　 本文重點討論的是沖突消解,即檢測沖突并處理沖突,保證工作流模型的結構正確性,使業(yè)務過程可以正常終止。首先,提出基于擴展UML活動圖的建模方法,對基本UML活動圖的元素進行擴展,使之適合描述復雜的業(yè)務過程。其次,提出了基于UML活動圖化簡的沖突檢測方法,該方法可以處理含有循環(huán)、重疊結構的復雜過程模型,實現(xiàn)對典型結構沖突(如死鎖、同步缺失、活鎖)的檢