大型集成信息系統(tǒng)IUP建模方法及應(yīng)用研究.pdf

1、信息化已成為現(xiàn)代制造企業(yè)提高其核心競(jìng)爭(zhēng)力必不可少的途徑。但由于缺乏對(duì)系統(tǒng)建模等的關(guān)注，往往造成信息孤島、不能準(zhǔn)確獲取和表達(dá)系統(tǒng)需求等大量問題。信息系統(tǒng)模型是為了解軟件系統(tǒng)，經(jīng)過抽象得到的對(duì)于軟件某個(gè)或某些方面進(jìn)行的描述，通過科學(xué)化、規(guī)范化、圖形化的方式為復(fù)雜信息系統(tǒng)設(shè)計(jì)、開發(fā)、實(shí)施過程中面臨的相關(guān)問題提供解決問題的框架。
　　 本文在對(duì)比分析IDEF、UML、Petri網(wǎng)三種常用建模方法的優(yōu)缺點(diǎn)和適用范圍的基礎(chǔ)上，提出了基于ID

2、EF、UML和Petri網(wǎng)相融合的大型集成信息系統(tǒng)IUP建模方法。該方法綜合了IDEF方法進(jìn)行需求建模語義精確和容易理解、UML方法面向?qū)ο笤O(shè)計(jì)及對(duì)軟件設(shè)計(jì)支持良好、Petri網(wǎng)方法具有動(dòng)態(tài)分析能力的特性，模型內(nèi)容全面，方法連貫性好，為復(fù)雜系統(tǒng)建模提供了一套切實(shí)可行的建模方法。根據(jù)IUP方法內(nèi)部模型轉(zhuǎn)換的需求，對(duì)IDEF、UML與Petri網(wǎng)進(jìn)行了形式化定義研究，詳細(xì)分析了IDEF、UML與Petri網(wǎng)建模之間的映射規(guī)則，并提出了可行的

3、形式化的轉(zhuǎn)換規(guī)則，對(duì)提高模型轉(zhuǎn)換的正確性、高效性，減少模型轉(zhuǎn)換的語義丟失有重要意義。
　　 依據(jù)B/S/D模式，采用Oracle10g作為數(shù)據(jù)庫，Oracle10g Application Service作為應(yīng)用程序服務(wù)器，Oracle Forms Developer做為編程開發(fā)工具，Oracle Reports Developer作為報(bào)表開發(fā)工具，編程實(shí)現(xiàn)了華錫集團(tuán)資產(chǎn)管理系統(tǒng)的備件管理和系統(tǒng)維護(hù)部分。系統(tǒng)在華錫集團(tuán)經(jīng)過實(shí)際應(yīng)