發(fā)布時間：2020-05-05 18:37

【摘要】：為管理信息系統(tǒng)建模通常是一件非常復(fù)雜和困難的工作,為了控制成本和減少系統(tǒng)模型的不一致性,人們從設(shè)計到需求分析階段都采取了很多辦法。通常,人們總是希望使復(fù)雜的問題簡單化,采用整體看問題,再分解成局部解決問題。在軟件開發(fā)中,這樣的一些原則也得到了關(guān)注和使用。因此,軟件項目要取得成功,就必須要了解開發(fā)的系統(tǒng)需要解決的問題明確開發(fā)系統(tǒng)的目的,描述用戶的需求。 本文提出了一種樹型原子模型結(jié)構(gòu)的數(shù)據(jù)模型,這種數(shù)據(jù)模型可以解決使用實體關(guān)系模型描述同一業(yè)務(wù)的數(shù)據(jù)模型時產(chǎn)生的不一致性問題,并以此數(shù)據(jù)模型為基礎(chǔ),利用UML進行需求建模,然后研究分析UML建模過程中的產(chǎn)生的不一致性問題以及如何檢測建模過程中產(chǎn)生的不一致性問題并給出一致性規(guī)則進行一致性驗證 首先是闡述信息系統(tǒng)建模理論的發(fā)展,進而說明需求建模一致性定義以及重要性,概括論述元數(shù)據(jù)模型理論。 其次提出樹型原子模型,并結(jié)合采購業(yè)務(wù)進行解釋說明。再以樹型原子模型為基礎(chǔ),利用UML中的ROSE工具對采購業(yè)務(wù)子系統(tǒng)進行建模 然后我們對UML建模過程中的模型不一致性問題的產(chǎn)生原因及檢測方法進行了分析和總結(jié),提出基于圖形轉(zhuǎn)換的模型一致性驗證方法,結(jié)合這些經(jīng)驗與方法,給出了本文中一致性規(guī)則和驗證方法,結(jié)合已經(jīng)建立好的模型,進行模型的一致性的驗證。最后進行總結(jié)和分析展望。 本文提出的樹型原子模型對傳統(tǒng)的數(shù)據(jù)建模進行了改進,可以較好的解決由于業(yè)務(wù)變動引起的不一致性問題,然后基于此數(shù)據(jù)模型再利用UML建模工具實現(xiàn)對信息系統(tǒng)子部分進行建模,再提出一致性驗證方法和規(guī)則,對模型進行一致性驗證,本文對信息系統(tǒng)建模以及建模過程的一致性驗證方面給出了自己的建議和想法,具有很好的現(xiàn)實意義。
【學(xué)位授予單位】：昆明理工大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2013
【分類號】：N945.12

【參考文獻】

相關(guān)期刊論文 前10條

1 葉堅峰;;原子數(shù)據(jù)模型[J];電腦開發(fā)與應(yīng)用;2008年01期

2 左秀峰,邵建峰,陶維忠;UML建模與工作面生產(chǎn)模擬[J];貴州工業(yè)大學(xué)學(xué)報(自然科學(xué)版);2002年05期

3 周駿,徐林,李征;元模型驅(qū)動的企業(yè)建模[J];計算機工程與應(yīng)用;2005年27期

4 歐金梁;金茂忠;;利用元數(shù)據(jù)建模構(gòu)建可擴展的靈活系統(tǒng)[J];計算機科學(xué);2005年07期

5 唐勝群,馬捷,劉偉,夏倫先,蔣浩瀾;從UML建立的模型中得到需求目標(biāo)[J];計算機工程;2002年03期

6 王錦,張激;UML模型一致性問題研究[J];計算機工程;2004年21期

7 穆運峰;申利民;;基于元數(shù)據(jù)的柔性信息系統(tǒng)建模與實現(xiàn)[J];計算機工程;2008年16期

8 葉堅峰;;一個基于管理信息單元的描述[J];計算機工程與科學(xué);2008年05期

9 金芝;基于本體的需求自動獲取[J];計算機學(xué)報;2000年05期

10 劉偉,杜薇;UML在商業(yè)系統(tǒng)建模中的應(yīng)用[J];計算機應(yīng)用研究;2002年02期

，

本文編號：2650586