基于形式化UML的關(guān)系數(shù)據(jù)庫實(shí)現(xiàn)策略.pdf

1、現(xiàn)在的開發(fā)環(huán)境多數(shù)是面向?qū)ο蟮?，而存?chǔ)機(jī)制往往是基于功能分解的關(guān)系型數(shù)據(jù)庫，同時(shí)在DBMS(Database Management System)支持的數(shù)據(jù)庫模型中，關(guān)系型數(shù)據(jù)庫是最普遍的，因而就存在將面向?qū)ο蟮乃枷牒完P(guān)系數(shù)據(jù)庫模型相統(tǒng)一的問題。
　　 統(tǒng)一建模語言(UML)已經(jīng)成為一種有效普遍的而向?qū)ο筌浖_發(fā)的建模語言，所以有必要把UML模型和數(shù)據(jù)庫的設(shè)計(jì)統(tǒng)一起來，這樣可以使得數(shù)據(jù)庫模型的擴(kuò)展性、健壯性得到了大大地提高。

2、r>　　 UML模型采用了大量的圖形符號(hào)，雖然仔細(xì)地使用分析、設(shè)計(jì)方法并結(jié)合徹底的評(píng)審確實(shí)導(dǎo)致了高質(zhì)量的軟件開發(fā)，但這些方法應(yīng)用的偏差可能產(chǎn)生各種問題，一個(gè)系統(tǒng)規(guī)約中可能包含矛盾、二義性、含糊性、以及抽象層次的混亂。形式化方法提供了高層確認(rèn)的手段，可以使用數(shù)學(xué)證明來展示設(shè)計(jì)和規(guī)約匹配以及某些程序代碼是某設(shè)計(jì)的正確反映，同時(shí)形式化方法利于實(shí)現(xiàn)機(jī)器的自動(dòng)檢驗(yàn)。
　　 本文結(jié)合中國(guó)石油和化學(xué)工業(yè)協(xié)會(huì)評(píng)審系統(tǒng)，利用統(tǒng)一建模語言(UML