面向Multi-agent的商務過程模型研究.pdf

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

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

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