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

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

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

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