JBPM到Petri nets的模型轉(zhuǎn)化分析研究.pdf

1、近年來(lái)信息技術(shù)迅猛發(fā)展,很多的信息管理領(lǐng)域得到發(fā)展并不斷壯大.電子商務(wù)、電子政務(wù)、辦公自動(dòng)化和企業(yè)信息系統(tǒng)的應(yīng)用成為了當(dāng)今管理信息系統(tǒng)應(yīng)用的熱點(diǎn).在這些領(lǐng)域中,業(yè)務(wù)流程管理(Business Process Management,簡(jiǎn)稱BPM)是它們共同關(guān)心的問(wèn)題.當(dāng)前,BPM主要依賴于工作流管理系統(tǒng),但是當(dāng)前的工作流管理系統(tǒng)在流程模型的驗(yàn)證方面還存在著較大的不足,也沒(méi)有統(tǒng)一的標(biāo)準(zhǔn). 為了構(gòu)建與JBPM(Java Business

2、 Process Management)工作流流程定義結(jié)構(gòu)等價(jià)的Petfi net模型,把工作流模型的屬性分為隱性的和顯性的,去除了那些與運(yùn)行結(jié)構(gòu)無(wú)關(guān)的因素,為模型轉(zhuǎn)化提供了便利.為了滿足對(duì)應(yīng)的WF-net的soundness屬性,修正了JBPM中負(fù)責(zé)工作流運(yùn)行的模塊.以JBPM的流程模型定義為基礎(chǔ),給出了在運(yùn)行結(jié)構(gòu)等價(jià)的前提下,將JBPM流程模型轉(zhuǎn)化為wF-nets的轉(zhuǎn)化規(guī)則.這其中涉及到對(duì)JBPM流程模型的子結(jié)構(gòu)抽取、結(jié)構(gòu)分類和子結(jié)