基于UML和OCL的空間數(shù)據(jù)庫模型的研究.pdf

1、隨著GIS(GeographicInformationSystem，地理信息系統(tǒng))軟件規(guī)模的擴(kuò)大和應(yīng)用的深入，GIS軟件開發(fā)的難度也隨之急劇增加，而作為GIS系統(tǒng)的核心—空間數(shù)據(jù)庫的設(shè)計(jì)和維護(hù)顯得尤為重要。 近年來，結(jié)合關(guān)系數(shù)據(jù)庫和面向?qū)ο笏枷氲膶ο箨P(guān)系數(shù)據(jù)庫取得了很大的發(fā)展，成為GIS應(yīng)用中構(gòu)建數(shù)據(jù)庫的主流技術(shù)，那么如何將面向?qū)ο蟮睦碚摵头椒☉?yīng)用于空間數(shù)據(jù)庫的分析、設(shè)計(jì)和實(shí)現(xiàn)的全過程，實(shí)現(xiàn)整個(gè)軟件生命周期中從問題域到設(shè)計(jì)域的無

2、縫轉(zhuǎn)換，是相關(guān)應(yīng)用領(lǐng)域的一個(gè)十分重要的問題。UML(UnifiedModelingLanguage)是一種標(biāo)準(zhǔn)的、功能強(qiáng)大的面向?qū)ο蠼ＵZ言，它得到了眾多廠商的支持和廣泛的應(yīng)用。OCL(TheObjectConstraintLanguage，對象約束語言)是UML標(biāo)準(zhǔn)的一部分，它是一種制定約束和查詢文本的語言，用于編寫導(dǎo)航表達(dá)式、布爾表達(dá)式和其他查詢語言。它可以用于構(gòu)件約束、監(jiān)護(hù)條件，動作、前置條件和后置條件、斷言和其他UML表達(dá)式。一

3、個(gè)問題是直接利用UML對空間數(shù)據(jù)庫進(jìn)行建模，顯得有些乏力，究其原因是空間數(shù)據(jù)庫存儲對象的復(fù)雜性，即現(xiàn)實(shí)世界中物體多樣性。人們發(fā)現(xiàn)，利用UML的拓展機(jī)制即構(gòu)造型和標(biāo)記值可以很好的描述空間數(shù)據(jù)庫；另一個(gè)問題作為空間數(shù)據(jù)庫的重要內(nèi)容之一，空間拓?fù)潢P(guān)系的描述顯得相當(dāng)重要。利用OCL的拓展來描述空間數(shù)據(jù)庫中幾何體之間的拓?fù)潢P(guān)系。 有證據(jù)表明，結(jié)合UM和OCL可以很好的對空間數(shù)據(jù)庫進(jìn)行建模。本文試圖對這方面的工作進(jìn)行歸納、總結(jié)，并給出了一個(gè)