面向Multi-agent的商務(wù)過(guò)程模型研究.pdf

1、該文首先提出了面向agnet、基于組織的商務(wù)過(guò)程建模方法(AOO_BPM).從而將整個(gè)商務(wù)過(guò)程看成是由多個(gè)agent組成的分布式系統(tǒng),從而避免了單點(diǎn)失敗.此外,AOO-BPM方法將建模過(guò)程在分析階段,主要是以角色為中心的分析模型.而到設(shè)計(jì)階段.才將角色分配到agent,從而可以重用分析模型,達(dá)到軟件重用的目的.隨著電子商務(wù)的普及,商務(wù)過(guò)程不僅涉及企業(yè)內(nèi)部業(yè)務(wù)部門,還跨越多個(gè)生產(chǎn)制造、銷售企業(yè).隨著商務(wù)過(guò)程變得越來(lái)越復(fù)雜,保證過(guò)程模型的正

2、確性變得日益重要.目前主要采用仿真和Petri網(wǎng)的方法來(lái)校驗(yàn)?zāi)Ｐ偷恼_性.采用仿真方法并不能保證所建立模型100％的正確.而Petir網(wǎng)方法也只能驗(yàn)證過(guò)程模型一些通用的結(jié)構(gòu)屬性,如避免死鎖、過(guò)程的正常終止,它并不能驗(yàn)證與任務(wù)特定語(yǔ)義相關(guān)的屬性.論文中提出了采用pi演算和模態(tài)Mu算子來(lái)形式化工作流模型的方法,它不僅能夠驗(yàn)證通用屬性,而且能夠驗(yàn)證與任務(wù)語(yǔ)義相關(guān)的特定屬性,從而克服了Petri網(wǎng)方法的局限.此外,pi演算作為一種進(jìn)程代數(shù),提供

3、了一種由低層子系統(tǒng)而復(fù)合高層系統(tǒng)的方法,因而允許復(fù)合驗(yàn)證,可以降低驗(yàn)證的復(fù)雜程度.目前,已存在通用的pi演算驗(yàn)證工具(如MWB),從而利用自動(dòng)工具來(lái)驗(yàn)證商務(wù)過(guò)程模型.這也使開(kāi)發(fā)商務(wù)過(guò)程建模系統(tǒng)更為容易.企業(yè)業(yè)務(wù)重組、商務(wù)環(huán)境的動(dòng)態(tài)變化,都要求企業(yè)不斷的對(duì)商務(wù)過(guò)程進(jìn)行調(diào)整.基于pi演算的互模擬性質(zhì),論文識(shí)別了更改前后的過(guò)程模型之間的約束關(guān)系以及模型正確更改的規(guī)則.最后,敘述了基于BDI agent的工作流管理系統(tǒng)的實(shí)現(xiàn)以及相應(yīng)的應(yīng)用實(shí)例.