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

【參考文獻(xiàn)】

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

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

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

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

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

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

6 王錦,張激;UML模型一致性問(wèn)題研究[J];計(jì)算機(jī)工程;2004年21期

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

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

9 金芝;基于本體的需求自動(dòng)獲取[J];計(jì)算機(jī)學(xué)報(bào);2000年05期

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

，

本文編號(hào)：2650586