基于軟件形式化方法開發(fā)案件流轉(zhuǎn)工作流管理系統(tǒng).pdf

1、近年來，隨著軟件規(guī)模的不斷擴(kuò)大，軟件的開發(fā)隊伍也變得越來越龐大，軟件的需求越來越復(fù)雜，這些因素導(dǎo)致了軟件質(zhì)量的下降。為了解決這些問題，引入了軟件工程的思想，并演化出了多種軟件開發(fā)方法。在這些軟件開發(fā)方法中，軟件形式化開發(fā)方法以它的深厚的理論基礎(chǔ)得到了很多人的青睞，越來越被更多的應(yīng)用。 該文首先介紹了工作流系統(tǒng)和工作流管理系統(tǒng)的基本知識，在通過對國際上通用的工作流管理系統(tǒng)模型研究的基礎(chǔ)上，探討了工作流管理系統(tǒng)的特點，發(fā)現(xiàn)現(xiàn)代工作流

2、系統(tǒng)由于流程的復(fù)雜性，經(jīng)常導(dǎo)致系統(tǒng)需求的模糊性，使得系統(tǒng)開發(fā)過程經(jīng)常有反復(fù)的過程，采用軟件形式化的方法來開發(fā)系統(tǒng)，就能減少需求的變化。 接下來對軟件形式化方法進(jìn)行了詳細(xì)地介紹，軟件形式化方法是通過采用形式化的手段和工具對軟件開發(fā)過程進(jìn)行規(guī)范，保證軟件的開發(fā)質(zhì)量的一種方法。 軟件形式化方法有很多，研究者主要采用的是Petri網(wǎng)，因為Petri網(wǎng)的模型比較適合于工作流系統(tǒng)地描述，并且通過我們對Petri網(wǎng)進(jìn)行擴(kuò)展使得它對于一

3、些復(fù)雜的工作流系統(tǒng)也能夠描述得很清楚。 引入軟件形式化的方法，利用Petri網(wǎng)模型來對工作流系統(tǒng)建模，并通過對工作流系統(tǒng)的不斷細(xì)化，逐步導(dǎo)出程序的框圖，完成了軟件開發(fā)的過程。通過采用形式化開發(fā)方法，使得系統(tǒng)的開發(fā)過程變得比較流暢，并且消除了多人協(xié)作開發(fā)過程中對需求理解的二義性，提高了軟件開發(fā)的效率和質(zhì)量。 在上述研究的基礎(chǔ)上，研究者開發(fā)了大連鐵路公安處辦案工作流系統(tǒng)。該套系統(tǒng)包括了鐵路公安處大部分需要文字處理的工作內(nèi)容，