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

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

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