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

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

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