信息管理系統(tǒng)中狀態(tài)控制建模的研究.pdf

1、信息管理系統(tǒng)的開發(fā)已成為IT行業(yè)的重要領(lǐng)域之一，對各行業(yè)的發(fā)展起到了不可替代的作用，且各行業(yè)的需求仍在不斷增加，質(zhì)量要求不斷提高。雖已有近四十年的發(fā)展歷史，但信息管理系統(tǒng)仍不能像硬件一樣實現(xiàn)流水化開發(fā)，系統(tǒng)維護(hù)性難以達(dá)到令人滿意的程度；除軟件開發(fā)標(biāo)準(zhǔn)和規(guī)范化程度不夠等因素之外，各行業(yè)內(nèi)業(yè)務(wù)邏輯的特殊性尤其是涉及多處理流程模塊的復(fù)雜性問題，也是給系統(tǒng)開發(fā)帶來困難的主要原因之一；本文課題重在對信息系統(tǒng)中此類模塊的開發(fā)進(jìn)行分析研究，探索一種適

2、合多流程建模需要且系統(tǒng)維護(hù)性較高的開發(fā)模型。 本文從信息管理系統(tǒng)的建模需求出發(fā)，綜述比較當(dāng)前有關(guān)流程及狀態(tài)控制的幾種形式化技術(shù)，因其較好的系統(tǒng)動靜態(tài)描述能力，選擇Petri網(wǎng)作為新模型的基本形式描述語言，提出了PNOST模型。在該模型中，根據(jù)狀態(tài)控制模塊特點對對象O、狀態(tài)S、變遷T進(jìn)行了深入的定義，引入對象及其生命周期等概念，并進(jìn)行信息系統(tǒng)建模需求的定義及語義擴充。接著，從Petri網(wǎng)、面向?qū)ο蠛湍Ｐ捅旧砣矫?，對該模型的特性進(jìn)

3、行分析，并重點分析了該模型在提高信息系統(tǒng)維護(hù)性方面的優(yōu)勢。 本文在討論了使用PNOST模型建模的原則方法和建模過程之后，對幾個信息系統(tǒng)進(jìn)行實例建模，體現(xiàn)PNOST模型優(yōu)秀的建模表達(dá)能力。 尤其在完成新模型的定義和建模原則之后，本文重點設(shè)計了一種基于該模型建模的應(yīng)用程序開發(fā)框架：基于狀態(tài)引擎的表驅(qū)動開發(fā)框架一SETDF，SETDF中用UML語言實現(xiàn)引擎的程序框架類圖、模型的靜態(tài)O-S-T元素和動態(tài)運行的各種控制機制，用關(guān)系