基于UML和Petri網(wǎng)的電子政務(wù)需求建模與驗(yàn)證方法研究.pdf

1、為了提取電子政務(wù)信息系統(tǒng)的關(guān)鍵性特征，如電子政務(wù)中的隨機(jī)性、動(dòng)態(tài)性、交互性和并發(fā)性，需要有一個(gè)行之有效的形式化方法來對(duì)電子政務(wù)各個(gè)模塊中工作流程進(jìn)行建模。雖然Petri網(wǎng)能夠很好的解決形式化問題，可是沒有完全模塊化方面的技術(shù)。雖然在形式化方向面向?qū)ο蠹夹g(shù)也起著重要作用，卻因在動(dòng)態(tài)特征上面的不足而受到制約。本文將在此前研究的基礎(chǔ)上提出新的解決辦法：在電子政務(wù)工作流模型中將二者結(jié)合，系統(tǒng)依據(jù)UML建模，在校驗(yàn)分析方面依靠Petri網(wǎng)，目的是

2、更加方便的判定電子政務(wù)中各個(gè)模塊工作流程建模的合理性。
　　本文首先詳細(xì)闡述了利用Petri網(wǎng)和UML工作流建模相關(guān)的基礎(chǔ)理論，然后在分析現(xiàn)存關(guān)于Petri網(wǎng)和UML建模與驗(yàn)證分析方法的基礎(chǔ)上，結(jié)合二者的各自優(yōu)點(diǎn)，利用了UML的可視性提出了基于UML的電子政務(wù)中工作流建模方法。然后分析了UML文件和Petri網(wǎng)文件的存儲(chǔ)形式，得到了二者之間存在的聯(lián)系，提出二者之間的映射規(guī)則，給出映射規(guī)則的正確性證明。然后針對(duì)給出的映射則利用相關(guān)技