本發(fā)明涉及計(jì)算機(jī)技術(shù),更具體地,涉及一種基于軟件開(kāi)發(fā)要素及其聯(lián)系的時(shí)態(tài)建模方法。
背景技術(shù):
當(dāng)前,隨著計(jì)算機(jī)軟件的自身規(guī)模和精細(xì)程度的日益提升,軟件開(kāi)發(fā)過(guò)程已經(jīng)發(fā)展為一個(gè)多要素相互聯(lián)系、支持、影響和制約的復(fù)雜過(guò)程。如果希望對(duì)軟件開(kāi)發(fā)的整體過(guò)程實(shí)施有效的決策、規(guī)劃、管理與考核,就需要將軟件開(kāi)發(fā)的復(fù)雜過(guò)程以統(tǒng)一的數(shù)據(jù)模型予以表征,在數(shù)據(jù)模型的基礎(chǔ)上建立一套支撐平臺(tái),通過(guò)該平臺(tái)對(duì)整個(gè)軟件開(kāi)發(fā)過(guò)程實(shí)現(xiàn)維護(hù)、檢索、跟蹤、分析和控制。
軟件開(kāi)發(fā)過(guò)程所涉及的要素眾多,其中主要的開(kāi)發(fā)要素包括需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)以及軟件產(chǎn)品。數(shù)據(jù)模型需要表征出上述主要的開(kāi)發(fā)要素自身開(kāi)發(fā)的過(guò)程信息,還要表征出上述主要的開(kāi)發(fā)要素在軟件開(kāi)發(fā)當(dāng)中被應(yīng)用的過(guò)程信息,因而需要描述主要的開(kāi)發(fā)要素相互之間的聯(lián)系。對(duì)于開(kāi)發(fā)要素之間的聯(lián)系,舉例來(lái)說(shuō),設(shè)計(jì)包括軟件產(chǎn)品整體的設(shè)計(jì),還包括軟件各個(gè)模塊的設(shè)計(jì);對(duì)模塊的設(shè)計(jì)當(dāng)中嵌入了相關(guān)的模型,根據(jù)軟件各個(gè)模塊的設(shè)計(jì)可生成構(gòu)件;可以為每個(gè)構(gòu)件建立一個(gè)支持?jǐn)?shù)據(jù)的子集,該子集中描述了構(gòu)件相關(guān)的需求,等等。
特別是,在軟件開(kāi)發(fā)當(dāng)中,軟件開(kāi)發(fā)要素本身及其聯(lián)系都不是靜態(tài)的和固定的。軟件開(kāi)發(fā)要素本身是動(dòng)態(tài)和時(shí)變的,隨之,開(kāi)發(fā)要素之間的聯(lián)系也是動(dòng)態(tài)且時(shí)變的。
然而,現(xiàn)有技術(shù)中缺少對(duì)于軟件開(kāi)發(fā)要素及其聯(lián)系的建模方法,特別是不能適應(yīng)軟件開(kāi)發(fā)要素及其聯(lián)系所固有的時(shí)變、動(dòng)態(tài)的本質(zhì)屬性。例如,申請(qǐng)?zhí)?01410291096.1的中國(guó)專利申請(qǐng)“一種基于軟件元模型構(gòu)造軟件模型的通用軟件建模方法”公開(kāi)了在確定軟件元模型基礎(chǔ)組元后通過(guò)以軟件層級(jí)模型、軟件接口模型、軟件交互模型、軟件算法模型、軟件流程模型、軟件傳輸模型為步驟要素構(gòu)造軟件模型。但是,所構(gòu)造的軟件模型當(dāng)中并未表征出軟件開(kāi)發(fā)要素之間的聯(lián)系,對(duì)軟件開(kāi)發(fā)要素及其聯(lián)系之間時(shí)變和動(dòng)態(tài)的屬性也沒(méi)有相應(yīng)的響應(yīng)機(jī)制??梢?jiàn),現(xiàn)有的建模手段并不能滿足實(shí)際的需求。
隨著技術(shù)的向前發(fā)展,對(duì)軟件開(kāi)發(fā)過(guò)程的要求不斷提高,例如:要求軟件產(chǎn)品和其中的模型、構(gòu)件、支持?jǐn)?shù)據(jù)能夠?qū)崿F(xiàn)并行開(kāi)發(fā),要求支持軟件產(chǎn)品族(版本樹(shù))的開(kāi)發(fā),要求實(shí)現(xiàn)系統(tǒng)級(jí)、項(xiàng)目級(jí)和分項(xiàng)目級(jí)的多級(jí)開(kāi)發(fā),要求支持分布式開(kāi)發(fā),等等。為了滿足這些高層次的需求,要求提供一種描述軟件開(kāi)發(fā)過(guò)程中諸要素及其復(fù)雜聯(lián)系的建模方法,建立集成統(tǒng)一、穩(wěn)定高效、可擴(kuò)展的數(shù)據(jù)模型和存儲(chǔ)模型,從而為通過(guò)數(shù)據(jù)庫(kù)平臺(tái)實(shí)現(xiàn)軟件開(kāi)發(fā)過(guò)程管理、版本管理和配置管理提供基礎(chǔ)性的支撐作用。
技術(shù)實(shí)現(xiàn)要素:
根據(jù)現(xiàn)有技術(shù)中的上述需求,本發(fā)明提供了一種基于軟件開(kāi)發(fā)要素及其聯(lián)系的時(shí)態(tài)建模方法,通過(guò)該方法可以為軟件開(kāi)發(fā)中的需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品等開(kāi)發(fā)要素及其復(fù)雜的聯(lián)系建立集成統(tǒng)一的數(shù)據(jù)模型,形成反映以上要素的時(shí)變屬性和時(shí)態(tài)聯(lián)系的數(shù)據(jù)庫(kù),從而為軟件開(kāi)發(fā)過(guò)程提供支撐。
本發(fā)明提供的基于軟件開(kāi)發(fā)要素及其聯(lián)系的時(shí)態(tài)建模方法,其特征在于,包括以下步驟:
第一步,從作為軟件開(kāi)發(fā)要素的各個(gè)實(shí)體當(dāng)中,識(shí)別時(shí)態(tài)實(shí)體和非時(shí)態(tài)實(shí)體,并且確定實(shí)體的時(shí)變屬性和非時(shí)變的普通屬性;根據(jù)時(shí)態(tài)實(shí)體及其時(shí)變屬性和普通屬性,確定表征時(shí)態(tài)實(shí)體及其時(shí)變屬性、普通屬性的數(shù)據(jù)需求;
第二步,構(gòu)建表征時(shí)態(tài)實(shí)體及其聯(lián)系的概念模型;
第三步,在上述概念模型的基礎(chǔ)上,按照轉(zhuǎn)換規(guī)則將該概念模型轉(zhuǎn)化為通過(guò)關(guān)系表表征時(shí)態(tài)實(shí)體及其聯(lián)系的邏輯模型;
第四步,選定具體的關(guān)系型數(shù)據(jù)庫(kù),并且根據(jù)表征時(shí)態(tài)實(shí)體及其聯(lián)系的概念模型和邏輯模型,設(shè)計(jì)針對(duì)該具體的關(guān)系型數(shù)據(jù)庫(kù)的時(shí)態(tài)物理存儲(chǔ)模型。
優(yōu)選的是,在第二步中,構(gòu)建所述概念模型的具體方式是:建立表示時(shí)態(tài)實(shí)體及其聯(lián)系的時(shí)態(tài)概念結(jié)構(gòu)圖。
進(jìn)一步優(yōu)選的是,為了全面表征軟件開(kāi)發(fā)過(guò)程中的各個(gè)類型的時(shí)態(tài)實(shí)體之間的相互聯(lián)系,建立表示時(shí)態(tài)實(shí)體及其聯(lián)系的時(shí)態(tài)概念結(jié)構(gòu)圖包括:建立包括需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品的實(shí)體在內(nèi)的總體時(shí)態(tài)概念結(jié)構(gòu)圖;所述總體時(shí)態(tài)概念結(jié)構(gòu)圖表示時(shí)態(tài)實(shí)體、普通實(shí)體以及實(shí)體之間的時(shí)態(tài)聯(lián)系和普通聯(lián)系。
進(jìn)一步優(yōu)選的是,為了表征每一種類型的時(shí)態(tài)實(shí)體與其它類型時(shí)態(tài)實(shí)體之間的相互聯(lián)系,以及每一種類型的時(shí)態(tài)實(shí)體內(nèi)部的相互聯(lián)系,建立表示時(shí)態(tài)實(shí)體及其聯(lián)系的時(shí)態(tài)概念結(jié)構(gòu)圖還包括:以需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品當(dāng)中每一類型的軟件開(kāi)發(fā)要素的實(shí)體為核心,分別建立表示每一類型的時(shí)態(tài)實(shí)體及其聯(lián)系的分要素時(shí)態(tài)實(shí)體聯(lián)系圖;所述分要素時(shí)態(tài)實(shí)體聯(lián)系圖表示作為核心的開(kāi)發(fā)要素的實(shí)體與其它類型的軟件開(kāi)發(fā)要素的實(shí)體之間的聯(lián)系、作為核心的開(kāi)發(fā)要素的實(shí)體內(nèi)部之間的聯(lián)系。
進(jìn)一步優(yōu)選的是,為了將時(shí)態(tài)實(shí)體及其聯(lián)系的屬性更為清晰和易用地加以表征,所述概念模型還包括:需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品當(dāng)中每一類型的軟件開(kāi)發(fā)要素的實(shí)體的屬性列表、實(shí)體之間聯(lián)系的屬性列表以及實(shí)體內(nèi)部的聯(lián)系的屬性列表。
優(yōu)選的是,所述邏輯模型包括:與實(shí)體對(duì)應(yīng)的關(guān)系基本表,與實(shí)體之間的聯(lián)系對(duì)應(yīng)的關(guān)系基本表。
進(jìn)一步優(yōu)選的是,與時(shí)態(tài)實(shí)體及其聯(lián)系的時(shí)變性相適應(yīng),所述邏輯模型當(dāng)中,與時(shí)態(tài)實(shí)體對(duì)應(yīng)的關(guān)系基本表包括有效時(shí)間屬性,并且其中時(shí)態(tài)屬性使用相應(yīng)的時(shí)態(tài)數(shù)據(jù)類型來(lái)定義。
優(yōu)選的是,在第三步中,按照如下方式將概念模型轉(zhuǎn)化為邏輯模型:
(1)概念模型中的實(shí)體,通常轉(zhuǎn)換成邏輯模型的一個(gè)關(guān)系基本表;
(2)概念模型中的多對(duì)多的實(shí)體聯(lián)系,通常轉(zhuǎn)換成邏輯模型的一個(gè)關(guān)系基本表;
(3)概念模型中的一對(duì)多的實(shí)體聯(lián)系,通常在“多”的一側(cè)對(duì)應(yīng)的實(shí)體對(duì)應(yīng)的關(guān)系基本表中,增加“一”的一側(cè)對(duì)應(yīng)的實(shí)體主碼屬性;
(4)對(duì)于時(shí)態(tài)實(shí)體,對(duì)應(yīng)的關(guān)系基本表,增加有效時(shí)間屬性,轉(zhuǎn)換成相應(yīng)的時(shí)態(tài)表;
(5)對(duì)于時(shí)態(tài)屬性,直接使用相應(yīng)的時(shí)態(tài)數(shù)據(jù)類型來(lái)定義,或者轉(zhuǎn)換成相應(yīng)的時(shí)態(tài)表,該時(shí)態(tài)表至少包含對(duì)應(yīng)實(shí)體的主碼屬性,時(shí)態(tài)屬性,屬性取值和有效時(shí)間。
優(yōu)選的是,第四步中,設(shè)計(jì)具體的關(guān)系型數(shù)據(jù)庫(kù)的時(shí)態(tài)物理存儲(chǔ)模型包括:設(shè)計(jì)數(shù)據(jù)的存取方法,包括常規(guī)索引、文本索引和時(shí)態(tài)索引。
本發(fā)明對(duì)軟件開(kāi)發(fā)的需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品等開(kāi)發(fā)要素及其復(fù)雜的聯(lián)系,綜合利用時(shí)態(tài)圖技術(shù)和時(shí)態(tài)數(shù)據(jù)庫(kù)技術(shù),提供了建立集成統(tǒng)一的數(shù)據(jù)模型的方法。依據(jù)本發(fā)明的建模方法所建立的概念模型、邏輯模型和時(shí)態(tài)存儲(chǔ)物理模型,是實(shí)現(xiàn)軟件開(kāi)發(fā)過(guò)程中支撐平臺(tái)的基礎(chǔ)和核心,可實(shí)現(xiàn)基于時(shí)態(tài)的軟件開(kāi)發(fā)過(guò)程中的數(shù)據(jù)維護(hù)、檢索和分析技術(shù),能夠支持軟件和模型、構(gòu)件、支持?jǐn)?shù)據(jù)等并行開(kāi)發(fā),支持產(chǎn)品族的開(kāi)發(fā)(版本樹(shù)),支持多層級(jí)開(kāi)發(fā)和分布式開(kāi)發(fā);支持開(kāi)發(fā)庫(kù)、受控庫(kù)和產(chǎn)品庫(kù)等多個(gè)受控級(jí)別的庫(kù)管理;支持需求庫(kù)、模型庫(kù)、構(gòu)件庫(kù)和支持?jǐn)?shù)據(jù)庫(kù)等多個(gè)主題庫(kù)管理。
附圖說(shuō)明
下面結(jié)合附圖和具體實(shí)施方式對(duì)本發(fā)明作進(jìn)一步詳細(xì)的說(shuō)明:
圖1示出了本發(fā)明所建立的以時(shí)態(tài)實(shí)體聯(lián)系數(shù)據(jù)圖為核心的數(shù)據(jù)模型的示意圖;
圖2示出了時(shí)態(tài)實(shí)體及其聯(lián)系的時(shí)變示意圖;
圖3示出了包括需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品等六大要素的實(shí)體在內(nèi)的總體時(shí)態(tài)概念結(jié)構(gòu)圖;
圖4-圖5示出了以需求為核心的分時(shí)態(tài)ter圖;
圖6-圖7示出了以設(shè)計(jì)為核心的分時(shí)態(tài)ter圖;
圖8-圖9示出了以模型為核心的分時(shí)態(tài)ter圖;
圖10-11示出了以構(gòu)件為核心的分時(shí)態(tài)ter圖;
圖12示出了以支持?jǐn)?shù)據(jù)為核心的分時(shí)態(tài)ter圖;
圖13示出了以軟件產(chǎn)品為核心的分時(shí)態(tài)ter圖。
具體實(shí)施方式
為了使本技術(shù)領(lǐng)域的人員更好地理解本發(fā)明的技術(shù)方案,并使本發(fā)明的上述目的、特征和優(yōu)點(diǎn)能夠更加明顯易懂,下面結(jié)合實(shí)施例及實(shí)施例附圖對(duì)本發(fā)明作進(jìn)一步詳細(xì)的說(shuō)明。
本發(fā)明針對(duì)軟件開(kāi)發(fā)過(guò)程中的需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)以及軟件產(chǎn)品等主要的開(kāi)發(fā)要素以及要素之間的復(fù)雜聯(lián)系,從時(shí)間維度出發(fā),以時(shí)態(tài)實(shí)體聯(lián)系數(shù)據(jù)圖為核心手段,采用了統(tǒng)一的時(shí)態(tài)建模方法。圖1示出了本發(fā)明所建立的以時(shí)態(tài)實(shí)體聯(lián)系數(shù)據(jù)圖為核心的數(shù)據(jù)模型的示意圖。
(一)時(shí)態(tài)實(shí)體及其聯(lián)系
在本發(fā)明提供的時(shí)態(tài)建模方法中,需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)以及軟件產(chǎn)品作為軟件開(kāi)發(fā)過(guò)程中的實(shí)體要素,都具有不同的版本,并且每個(gè)版本都具有相應(yīng)的發(fā)布時(shí)間、使用時(shí)間和停用時(shí)間,因而,以上實(shí)體要素自身均具有時(shí)態(tài)屬性,作為狀態(tài)隨時(shí)間變化的實(shí)體,在本發(fā)明的建模方法中將需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)以及軟件產(chǎn)品等要素均作為時(shí)態(tài)實(shí)體。并且,四行要素之間的聯(lián)系也存在隨時(shí)間變化的屬性,因此本發(fā)明將其聯(lián)系作為時(shí)態(tài)聯(lián)系。
為了進(jìn)一步闡述需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)以及軟件產(chǎn)品等要素所固有的時(shí)態(tài)屬性及其時(shí)態(tài)聯(lián)系,下面結(jié)合圖2予以具體的示例。圖2描述了a實(shí)體(例如構(gòu)件)和b實(shí)體(例如軟件產(chǎn)品)作為時(shí)態(tài)實(shí)體分別具有各種版本,以及各個(gè)版本之間的時(shí)態(tài)聯(lián)系。其中at0,at1,at2,at3,at4,at5…表示a實(shí)體的各個(gè)版本,由虛箭頭線相連表示a實(shí)體隨時(shí)間發(fā)展演化成的各個(gè)版本對(duì)象,b實(shí)體也有類似隨時(shí)間演化的版本對(duì)象的序列,即bt0,bt1,bt3,bt4,bt5;為a、b實(shí)體在每個(gè)時(shí)刻的版本對(duì)象附加了時(shí)態(tài)標(biāo)簽,時(shí)態(tài)標(biāo)簽為該版本對(duì)象的有效時(shí)間,有效時(shí)間表示為“[發(fā)布時(shí)間,停用時(shí)間]”。實(shí)線箭頭表示了a、b實(shí)體的各個(gè)版本對(duì)象之間的相互聯(lián)系,例如軟件產(chǎn)品對(duì)構(gòu)件的使用即為二者之間的聯(lián)系;時(shí)態(tài)對(duì)象的相互聯(lián)系也附加了時(shí)態(tài)標(biāo)簽,位于實(shí)線旁邊的時(shí)態(tài)標(biāo)簽表示兩個(gè)版本對(duì)象建立聯(lián)系的有效時(shí)間“[開(kāi)始時(shí)間,結(jié)束時(shí)間]”,從而表征了時(shí)態(tài)實(shí)體相互聯(lián)系的時(shí)態(tài)屬性;參見(jiàn)圖2中各個(gè)箭頭,其中圖2(1)表示at0版本“使用”bt0版本;圖2(2)表示a實(shí)體由at1版本升級(jí)為at2版本,bt1版本不變;圖2(3)表示at3版本不變,bt3版本升級(jí)為bt4版本;圖2(4)表示at3升級(jí)為at5版本,bt4版本升級(jí)為bt5版本??傊?,上述a和b兩類時(shí)態(tài)實(shí)體之間的四種時(shí)態(tài)聯(lián)系,實(shí)際上為以下兩類時(shí)態(tài)聯(lián)系:a版本變化,b版本同步變化;a版本變化,b版本不變化。
可見(jiàn),圖2表明,軟件開(kāi)發(fā)中的需求、設(shè)計(jì)、模型、構(gòu)件、參數(shù)和軟件產(chǎn)品等時(shí)態(tài)實(shí)體本身不僅存在隨時(shí)間演化的版本聯(lián)系,時(shí)態(tài)實(shí)體之間也存在復(fù)雜的時(shí)態(tài)聯(lián)系。因此,本發(fā)明結(jié)合時(shí)態(tài)擴(kuò)展實(shí)體聯(lián)系e-r模型和時(shí)態(tài)圖(temporalgraph)技術(shù),研究軟件開(kāi)發(fā)要素及其聯(lián)系的時(shí)態(tài)建模方法,構(gòu)建了描述軟件開(kāi)發(fā)過(guò)程中各個(gè)要素及其聯(lián)系的概念模型,其核心是構(gòu)建時(shí)態(tài)實(shí)體聯(lián)系圖來(lái)描述上述六類實(shí)體之間的動(dòng)態(tài)時(shí)態(tài)聯(lián)系。
(二)軟件開(kāi)發(fā)要素及其聯(lián)系的時(shí)態(tài)建模方法
下面開(kāi)始介紹本發(fā)明針對(duì)軟件開(kāi)發(fā)要素及其聯(lián)系的時(shí)態(tài)建模方法的具體步驟。
1.識(shí)別實(shí)體及其屬性,確定表征實(shí)體及其屬性的數(shù)據(jù)需求
第一步,從作為軟件開(kāi)發(fā)要素的各個(gè)實(shí)體當(dāng)中,識(shí)別時(shí)態(tài)實(shí)體和非時(shí)態(tài)實(shí)體,并且確定實(shí)體的時(shí)變屬性和非時(shí)變的普通屬性;根據(jù)時(shí)態(tài)實(shí)體及其時(shí)變屬性和普通屬性,確定表征時(shí)態(tài)實(shí)體及其時(shí)變屬性、普通屬性的數(shù)據(jù)需求。
2.構(gòu)建表征時(shí)態(tài)實(shí)體及其聯(lián)系的概念模型
第二步,構(gòu)建表征時(shí)態(tài)實(shí)體及其聯(lián)系的概念模型。在本步驟中,基于時(shí)態(tài)建模方法,結(jié)合關(guān)系型數(shù)據(jù)庫(kù)技術(shù)和時(shí)態(tài)數(shù)據(jù)庫(kù)技術(shù),構(gòu)建表征包括需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品等軟件開(kāi)發(fā)要素實(shí)體及其聯(lián)系的概念模型。
構(gòu)建所述概念模型的具體方式是:建立表示時(shí)態(tài)實(shí)體及其聯(lián)系的時(shí)態(tài)概念結(jié)構(gòu)圖(又稱為e-r圖)。
2.1構(gòu)建總體時(shí)態(tài)概念結(jié)構(gòu)圖
圖3示出了包括需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品等六大要素的實(shí)體在內(nèi)的總體時(shí)態(tài)概念結(jié)構(gòu)圖。該圖作為概念模型的具體形式,表示了軟件開(kāi)發(fā)最主要的以上六大要素作為時(shí)態(tài)實(shí)體相互之間的聯(lián)系。下面的表1.1列出了圖3所示總體時(shí)態(tài)概念結(jié)構(gòu)圖當(dāng)中各個(gè)符號(hào)及其含義,從而解釋了該圖所表示的時(shí)態(tài)實(shí)體、普通實(shí)體及其時(shí)態(tài)聯(lián)系、普通聯(lián)系的具體內(nèi)容。
表1.1
2.2構(gòu)建分要素時(shí)態(tài)實(shí)體聯(lián)系圖
在建立總體時(shí)態(tài)概念結(jié)構(gòu)圖的基礎(chǔ)上,構(gòu)建概念模型進(jìn)一步包括:以每一類型的軟件開(kāi)發(fā)要素的實(shí)體為核心,分別建立表示每一類型的時(shí)態(tài)實(shí)體及其聯(lián)系的分要素時(shí)態(tài)實(shí)體聯(lián)系圖(又稱為分時(shí)態(tài)ter圖)。
總體時(shí)態(tài)概念結(jié)構(gòu)圖只反映出軟件開(kāi)發(fā)過(guò)程中最主要的實(shí)體之間的聯(lián)系,缺少輔助實(shí)體之間的聯(lián)系,將在后續(xù)的分e-r圖中畫(huà)出。實(shí)體內(nèi)部之間的聯(lián)系將在分e-r圖中畫(huà)出,例如需求實(shí)體內(nèi)部的聯(lián)系分為父子層次聯(lián)系、引用聯(lián)系、復(fù)用聯(lián)系等。實(shí)體的屬性在分e-r圖設(shè)計(jì)部分中給出,并識(shí)別時(shí)變屬性。
建立分要素時(shí)態(tài)概念結(jié)構(gòu)圖具體包括以下方面。
2.2.1以需求為核心的分時(shí)態(tài)ter圖
圖4-5示出了以需求為核心的分時(shí)態(tài)ter圖。需求要素的實(shí)體包括圖4中的原始需求、使用需求、系統(tǒng)需求、軟件需求,實(shí)際上為各種需求項(xiàng)(requirementitems),圖4表示了原始需求、使用需求、系統(tǒng)需求、軟件需求相互之間的聯(lián)系。需求具有層次關(guān)系,一個(gè)需求可以分為幾個(gè)子需求,子需求再分為更細(xì)的子需求。各類需求項(xiàng)自身內(nèi)部之間具有層次結(jié)構(gòu)、復(fù)用和參照等各種聯(lián)系,為了分時(shí)態(tài)e-r圖簡(jiǎn)潔,上述需求內(nèi)部的各種聯(lián)系在圖5中沒(méi)有畫(huà)出,而是通過(guò)圖6表示需求的實(shí)體內(nèi)部之間聯(lián)系的分時(shí)態(tài)ter圖,軟件需求、系統(tǒng)需求、使用需求和原始需求均具有類似的內(nèi)部聯(lián)系。
可見(jiàn),通過(guò)圖4和圖5的分時(shí)態(tài)ter圖,表示出了:需求這一要素的各個(gè)實(shí)體,以及需求的各個(gè)實(shí)體之間的聯(lián)系,需求的各個(gè)實(shí)體內(nèi)部的聯(lián)系。
進(jìn)而,確定需求要素的各個(gè)實(shí)體的屬性、各個(gè)實(shí)體之間聯(lián)系的屬性以及實(shí)體內(nèi)部的聯(lián)系的屬性,具體如下:
■實(shí)體及其屬性列表
(1)需求素材reqmaterials(素材編號(hào)matid,素材名稱matname,素材類型mattype,需求素材描述matdesc,需求素材文件matfile)。
(2)原始需求origrequirements(需求編號(hào)reqid,需求名稱reqname、需求描述reqdesc,需求類型reqtype,需求優(yōu)先級(jí)別reqpriority,需求分類reqcategory,需求影響分析reqimpactanalysis,需求備注reqremark,需求狀態(tài)reqstatus/tv)。
(3)使用需求userequirements(屬性列表與原始需求相同)
(4)系統(tǒng)需求sysrequirements(屬性列表與原始需求相同)
(5)軟件需求softrequirements(屬性列表與原始需求相同)
■實(shí)體之間的聯(lián)系及其屬性列表
(6)需求素材與原始需求聯(lián)系reqmatrelatedorigreq(原始需求版本origreqversion,素材編號(hào)matid,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate)。
(7)原始需求與使用需求聯(lián)系origreqrelatedusereq(原始需求版本origreqversion,使用需求版本usereqversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime)
(8)使用需求與系統(tǒng)需求聯(lián)系usereqrelatedsysreq(使用需求版本usereqversion,系統(tǒng)需求版本sysreqversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime)。
(9)系統(tǒng)需求與軟件需求聯(lián)系sysreqrelatedsoftreq(系統(tǒng)需求版本sysreqversion,軟件需求版本softreqversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime)。
■實(shí)體內(nèi)部的聯(lián)系及其屬性列表
(10)需求父子層次聯(lián)系reqhierarchy(需求編號(hào)reqid,父需求編號(hào)fatherreqid),碼為需求編號(hào)reqid+父需求編號(hào)fatherreqid
(11)需求依賴聯(lián)系reqdependency(需求版本reqversion,被依賴需求版本dependentreqversion,依賴描述dependentdesc,依賴日期dependentdate,有效時(shí)間validtime),碼為需求版本reqversion+被依賴需求版本dependentreqversion
2.2.2以設(shè)計(jì)為核心的分時(shí)態(tài)ter圖
圖6-7示出了以設(shè)計(jì)為核心的分時(shí)態(tài)ter圖。設(shè)計(jì)要素的實(shí)體實(shí)際上為各種設(shè)計(jì)項(xiàng)(designitems)。設(shè)計(jì)項(xiàng)內(nèi)部之間具有層次結(jié)構(gòu)、復(fù)用和參照等各種聯(lián)系,為了分時(shí)態(tài)e-r圖簡(jiǎn)潔,上述各種聯(lián)系在圖7中沒(méi)有畫(huà)出,而是通過(guò)圖7表示設(shè)計(jì)的實(shí)體內(nèi)部之間聯(lián)系的分時(shí)態(tài)ter圖。
進(jìn)而,確定設(shè)計(jì)要素的實(shí)體的屬性、實(shí)體之間聯(lián)系的屬性以及實(shí)體內(nèi)部的聯(lián)系的屬性,具體如下:
■實(shí)體及其屬性列表
設(shè)計(jì)design(設(shè)計(jì)編號(hào)desid,設(shè)計(jì)名稱desname,設(shè)計(jì)描述desdesc,設(shè)計(jì)文件desfiles,設(shè)計(jì)類型destype,設(shè)計(jì)分類descategory,設(shè)計(jì)版本desversion/tv,設(shè)計(jì)狀態(tài)desstatus/tv)。
■實(shí)體之間的聯(lián)系及其屬性列表
設(shè)計(jì)與軟件需求聯(lián)系desrelatedsoftreq(設(shè)計(jì)版本desversion,軟件需求版本softreqversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為設(shè)計(jì)版本desversion+軟件需求版本softreqversion。
■實(shí)體內(nèi)部的聯(lián)系及其屬性列表
設(shè)計(jì)父子層次聯(lián)系deshierarchy(父設(shè)計(jì)編號(hào)fatherdesid,子設(shè)計(jì)編號(hào)sondesid),碼為父設(shè)計(jì)編號(hào)fatherdesid+子設(shè)計(jì)編號(hào)sondesid。
設(shè)計(jì)依賴聯(lián)系desdependency(設(shè)計(jì)版本desversion,被依賴設(shè)計(jì)版本dependentdesversion,依賴描述dependentdesc,依賴日期dependentdate,有效時(shí)間validtime),碼為設(shè)計(jì)版本desversion+被依賴設(shè)計(jì)版本dependentdesversion
2.2.3以模型為核心的分時(shí)態(tài)ter圖
圖8-9示出了以模型為核心的分時(shí)態(tài)ter圖。模型要素的實(shí)體如圖8所示,包括概念模型、數(shù)學(xué)模型和工程模型,模型研制人員根據(jù)設(shè)計(jì)信息進(jìn)行抽象描述并建立概念模型,然后進(jìn)一步抽象和定量化,建立數(shù)學(xué)模型,在此基礎(chǔ)上建立工程模型。舉例來(lái)說(shuō),概念模型可以是對(duì)一組特定軍事行動(dòng)相關(guān)的真實(shí)過(guò)程的抽象描述,是使用需求研究與數(shù)學(xué)模型建模的過(guò)渡階段,是對(duì)問(wèn)題規(guī)范化、形式化描述,能夠完整、準(zhǔn)確地表達(dá)建模的軍事需求,使需求研究人員和建模技術(shù)人員對(duì)問(wèn)題空間有一個(gè)準(zhǔn)確一致的理解。數(shù)學(xué)模型是描述或解決某個(gè)問(wèn)題所需的一組特征數(shù)據(jù)和解決這個(gè)問(wèn)題所需的方法,是對(duì)軍事問(wèn)題、兵力和武器運(yùn)用方法的數(shù)學(xué)化、形式化、邏輯化的抽象描述。概念模型和數(shù)學(xué)模型從工程實(shí)現(xiàn)的角度看,是一種理論模型,是指揮原則、戰(zhàn)術(shù)規(guī)則、決策方法的原理描述和抽象,可統(tǒng)稱為理論模型。工程模型是直接面向軟件設(shè)計(jì)和工程實(shí)現(xiàn)的模型,也是概念模型和數(shù)學(xué)模型的軟件實(shí)現(xiàn)準(zhǔn)備,或者說(shuō)是概念模型和數(shù)學(xué)模型的近計(jì)算機(jī)語(yǔ)言形式表達(dá),也稱該階段的模型為軟件模型。工程模型需要在理論模型的基礎(chǔ)上,根據(jù)所服務(wù)的指揮信息系統(tǒng)支持的指揮關(guān)系、zw設(shè)置、底層基礎(chǔ)軟硬件的支撐能力,指控系統(tǒng)與情報(bào)處理、武器裝備各分系統(tǒng)的接口協(xié)議,進(jìn)一步明確輸入信息的來(lái)源和接口形式,進(jìn)行防錯(cuò)糾錯(cuò)處理,簡(jiǎn)化算法,增強(qiáng)模型的可編程性和可執(zhí)行性。圖9示出了概念模型、數(shù)學(xué)模型和工程模型相互之間的聯(lián)系。
各類模型之間具有復(fù)用和參照等各種聯(lián)系,為了分時(shí)態(tài)e-r圖簡(jiǎn)潔,上述模型內(nèi)部的各種聯(lián)系在圖8中沒(méi)有畫(huà)出,而是通過(guò)圖9表示模型的實(shí)體內(nèi)部之間聯(lián)系的分時(shí)態(tài)ter圖。
進(jìn)而,確定模型要素的各個(gè)實(shí)體的屬性、各個(gè)實(shí)體之間聯(lián)系的屬性以及實(shí)體內(nèi)部的聯(lián)系的屬性,具體如下:
■實(shí)體及其屬性列表
模型model(模型編號(hào)modid,模型名稱modname,模型類型modtype,模型描述moddesc,模型文件modfiles、模型分類modcategory、模型應(yīng)用層次modapplevel、模型數(shù)據(jù)包moddatapackage)。
概念模型conmodel(屬性列表同模型)
數(shù)學(xué)模型mathmodel(屬性列表同模型)
工程模型engimodel(屬性列表同模型)
■實(shí)體之間的聯(lián)系及其屬性列表
模型與設(shè)計(jì)聯(lián)系modrelateddes(模型版本modversion,設(shè)計(jì)版本desversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為模型版本modversion+設(shè)計(jì)版本desversion。
模型與概念模型聯(lián)系modrelatedconmod(模型版本modversion,概念版本conmodversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為模型版本modversion+概念版本conmodversion。
數(shù)學(xué)模型與概念模型聯(lián)系mathmodrelatedconmod(同模型與概念模型聯(lián)系modrelatedconmod)
工程模型與數(shù)學(xué)模型聯(lián)系engimodrelatedmathmod(同模型與概念模型聯(lián)系modrelatedconmod)
■實(shí)體內(nèi)部的聯(lián)系及其屬性列表
模型層次聯(lián)系modhierarchy(模型編號(hào)modid,父模型編號(hào)fathermodid),碼為模型編號(hào)modid+父模型編號(hào)fathermodid
模型依賴聯(lián)系moddependency(模型版本modversion,被依賴模型版本dependentmodversion,依賴描述dependentdesc,依賴日期dependentdate,有效時(shí)間validtime),碼為模型版本modversion+被依賴模型版本dependentmodversion
2.2.4以構(gòu)件為核心的分時(shí)態(tài)ter圖
圖10-11示出了以構(gòu)件為核心的分時(shí)態(tài)ter圖。構(gòu)件要素包括構(gòu)件模型和構(gòu)件實(shí)現(xiàn),一個(gè)構(gòu)件可以有多個(gè)構(gòu)件模型,每個(gè)構(gòu)件模型可能對(duì)應(yīng)多個(gè)實(shí)現(xiàn)代碼,構(gòu)件在具體開(kāi)發(fā)上,可能是一個(gè)構(gòu)件選定一種構(gòu)件模型,并實(shí)現(xiàn)一種構(gòu)件實(shí)現(xiàn)代碼,因此,構(gòu)件模型和實(shí)現(xiàn)代碼,只是構(gòu)件分類的兩個(gè)重要屬性,在邏輯設(shè)計(jì)時(shí),并不需要把他們作為實(shí)體對(duì)待。圖10示出了構(gòu)件、構(gòu)件模型、構(gòu)件實(shí)現(xiàn)之間的聯(lián)系。各類構(gòu)件之間具有復(fù)用、引用和組合等各種聯(lián)系,為了分時(shí)態(tài)e-r圖簡(jiǎn)潔,上述構(gòu)件內(nèi)部的各種聯(lián)系在圖10中沒(méi)有畫(huà)出,而是通過(guò)圖11表示模型的實(shí)體內(nèi)部之間聯(lián)系的分時(shí)態(tài)ter圖。
進(jìn)而,確定構(gòu)件要素的各個(gè)實(shí)體的屬性、各個(gè)實(shí)體之間聯(lián)系的屬性以及實(shí)體內(nèi)部的聯(lián)系的屬性,具體如下:
■實(shí)體及其屬性列表
構(gòu)件componet(構(gòu)件編號(hào)comid,構(gòu)件名稱comname,構(gòu)件類型comtype,構(gòu)件描述comdesc、構(gòu)件關(guān)鍵字comkeywords,構(gòu)件狀態(tài)comstatus/tv,)。
構(gòu)件模型commodel(構(gòu)件編號(hào)comid,構(gòu)件模型編號(hào)commodid、構(gòu)件描述文件cdlfile、圖形編輯器生成文件grapheditorfiles,構(gòu)件說(shuō)明文件comstatementfiles)
構(gòu)件實(shí)現(xiàn)comimpl(構(gòu)件編號(hào)comid,構(gòu)件模型編號(hào)commodid,構(gòu)件實(shí)現(xiàn)編號(hào)comimplid,構(gòu)件實(shí)現(xiàn)描述comimpldesc,構(gòu)件實(shí)現(xiàn)源代碼文件comsourcefiles,構(gòu)件實(shí)現(xiàn)編譯生成文件comcomplierfiles,構(gòu)件驅(qū)動(dòng)程序comdriver、構(gòu)件測(cè)試樁代碼comteststub,構(gòu)件邊界值測(cè)試用例comtestcase,構(gòu)件實(shí)現(xiàn)狀態(tài)comimplstatus/tv)
■實(shí)體之間的聯(lián)系及其屬性列表
構(gòu)件與設(shè)計(jì)聯(lián)系comrelateddes(構(gòu)件版本comversion,設(shè)計(jì)版本desversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為構(gòu)件版本comversion+設(shè)計(jì)版本desversion。
構(gòu)件實(shí)現(xiàn)與軟件聯(lián)系comimplrelatedsoftware(構(gòu)件實(shí)現(xiàn)版本comimplversion,軟件版本softversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為構(gòu)件實(shí)現(xiàn)版本comimplversion+軟件版本softversion。
■實(shí)體內(nèi)部的聯(lián)系及其屬性列表
構(gòu)件層次聯(lián)系comhierarchy(構(gòu)件編號(hào)comid,父構(gòu)件編號(hào)fathercomid),碼為構(gòu)件編號(hào)comid+父構(gòu)件編號(hào)fathercomid
構(gòu)件依賴聯(lián)系comdependency(構(gòu)件版本comversion,被依賴構(gòu)件版本dependentcomversion,依賴描述dependentdesc,依賴日期dependentdate,有效時(shí)間validtime),碼為構(gòu)件版本comversion+被依賴構(gòu)件版本dependentcomversion
2.2.5以支持?jǐn)?shù)據(jù)為核心的分時(shí)態(tài)ter圖
在軟件研制過(guò)程中,為每個(gè)構(gòu)件建立一個(gè)數(shù)據(jù)子集記錄,描述該構(gòu)件的數(shù)據(jù)需求。支持?jǐn)?shù)據(jù)包括數(shù)據(jù)子集或數(shù)據(jù)全集中的數(shù)據(jù)對(duì)象,如表、視圖、函數(shù)和存儲(chǔ)過(guò)程等。圖12示出了以支持?jǐn)?shù)據(jù)為核心的分時(shí)態(tài)ter圖,其中包括支持?jǐn)?shù)據(jù)與構(gòu)件、模型等實(shí)體之間的聯(lián)系,以及支持?jǐn)?shù)據(jù)與支持?jǐn)?shù)據(jù)全集之間的聯(lián)系。
進(jìn)而,確定要素支持?jǐn)?shù)據(jù)要素的各個(gè)實(shí)體的屬性、各個(gè)實(shí)體之間聯(lián)系的屬性,具體如下:
■實(shí)體及其屬性列表
支持?jǐn)?shù)據(jù)子集supdataset(支持?jǐn)?shù)據(jù)編號(hào)supid,支持?jǐn)?shù)據(jù)名稱supname,支持?jǐn)?shù)據(jù)類型suptype,支持?jǐn)?shù)據(jù)描述supdesc,支持?jǐn)?shù)據(jù)關(guān)鍵字supkeywords,支持?jǐn)?shù)據(jù)狀態(tài)supstatus/tv)。
■實(shí)體之間的聯(lián)系及其屬性列表
模型與支持?jǐn)?shù)據(jù)聯(lián)系modrelatedcomimpl(模型版本modversion,支持?jǐn)?shù)據(jù)版本supversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為軟件版本modversion+支持?jǐn)?shù)據(jù)版本supversion。
構(gòu)件實(shí)現(xiàn)與支持?jǐn)?shù)據(jù)聯(lián)系comimplrelatedsup(構(gòu)件實(shí)現(xiàn)版本comimplversion,支持?jǐn)?shù)據(jù)版本supversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為構(gòu)件實(shí)現(xiàn)版本comimplversion+支持?jǐn)?shù)據(jù)版本supversion。
2.2.6以軟件產(chǎn)品為核心的分時(shí)態(tài)ter圖
軟件產(chǎn)品是一個(gè)獨(dú)立可運(yùn)行的產(chǎn)品,是滿足用戶最終需求的產(chǎn)品,與構(gòu)件應(yīng)該有所區(qū)分。圖13示出了以軟件產(chǎn)品為核心的分時(shí)態(tài)ter圖,其中包括軟件產(chǎn)品與構(gòu)件實(shí)體之間的聯(lián)系。
確定軟件產(chǎn)品要素的各個(gè)實(shí)體的屬性、各個(gè)實(shí)體之間聯(lián)系的屬性,具體如下:
■實(shí)體及其屬性列表
軟件software(軟件編號(hào)softid,軟件名稱softname,軟件類型softtype,軟件分類softcategory,軟件描述softdesc,軟件關(guān)鍵字softkeywords,軟件源代碼文件softsourcecodefile,軟件安裝文件softinstallfile,軟件測(cè)試用例文件softtestcasefile,軟件說(shuō)明書(shū)文件softmanualfile)。
■實(shí)體之間的聯(lián)系及其屬性列表
軟件與構(gòu)件實(shí)現(xiàn)聯(lián)系softrelatedcomimpl(軟件版本softversion,構(gòu)件實(shí)現(xiàn)版本comimplversion,關(guān)聯(lián)描述relateddesc,關(guān)聯(lián)日期relateddate,有效時(shí)間validtime),碼為軟件版本softversion+構(gòu)件實(shí)現(xiàn)版本comimplversion。
3.構(gòu)建表征時(shí)態(tài)實(shí)體及其聯(lián)系的邏輯模型
第三步,在上述時(shí)態(tài)概念結(jié)構(gòu)圖和屬性構(gòu)成的概念模型的基礎(chǔ)上,采用設(shè)計(jì)關(guān)系數(shù)據(jù)庫(kù)邏輯模型的方式,進(jìn)一步構(gòu)建表征時(shí)態(tài)實(shí)體及其聯(lián)系的邏輯模型,特別是時(shí)態(tài)實(shí)體之間的時(shí)態(tài)聯(lián)系邏輯模型,還包括相應(yīng)的時(shí)態(tài)完整性約束。
3.1邏輯模型的概念和構(gòu)成
數(shù)據(jù)庫(kù)設(shè)計(jì)一般依次分為:概念模型設(shè)計(jì)、邏輯模型設(shè)計(jì)和物理模型設(shè)計(jì)。概念模型反映現(xiàn)實(shí)世界,與具體的數(shù)據(jù)庫(kù)管理系統(tǒng)無(wú)關(guān),是數(shù)據(jù)庫(kù)設(shè)計(jì)人員與業(yè)務(wù)用戶交流的語(yǔ)言和工具;邏輯模型從概念模型按照一定的規(guī)則轉(zhuǎn)換而來(lái)了,反映機(jī)器世界(信息世界),與具體的數(shù)據(jù)庫(kù)管理系統(tǒng)有關(guān),與實(shí)現(xiàn)無(wú)關(guān),與硬件無(wú)關(guān),是數(shù)據(jù)庫(kù)設(shè)計(jì)人員和數(shù)據(jù)庫(kù)開(kāi)發(fā)人員,以及未來(lái)管理和維護(hù)系統(tǒng)的數(shù)據(jù)庫(kù)管理員dba交流的語(yǔ)言和工具。物理模型通常由數(shù)據(jù)庫(kù)管理系統(tǒng)從邏輯模型自動(dòng)轉(zhuǎn)換而生成,與存儲(chǔ)硬件有關(guān),與實(shí)現(xiàn)有關(guān),主要描述數(shù)據(jù)的物理分布、存儲(chǔ)和存取方式,由數(shù)據(jù)庫(kù)管理員dba負(fù)責(zé)規(guī)劃和管理。
具體到本發(fā)明,在建立了以時(shí)態(tài)概念結(jié)構(gòu)圖為核心的、表示時(shí)態(tài)實(shí)體及其聯(lián)系的概念模型的基礎(chǔ)上,在本步驟中,基于該概念模型建立表示時(shí)態(tài)實(shí)體及其聯(lián)系的邏輯模型。
表示時(shí)態(tài)實(shí)體及其聯(lián)系的邏輯模型由一系列主題數(shù)據(jù)庫(kù)組成,而每個(gè)主題數(shù)據(jù)庫(kù)由一系列的關(guān)系基本表及其完整性約束組成,這些關(guān)系基本表又分大致為兩部分:一部分為實(shí)體(對(duì)象)對(duì)應(yīng)的關(guān)系基本表,另一部分為實(shí)體(對(duì)象)之間的聯(lián)系對(duì)應(yīng)的關(guān)系基本表。邏輯模型是數(shù)據(jù)庫(kù)設(shè)計(jì)和時(shí)態(tài)數(shù)據(jù)庫(kù)建模的核心部分,在概念模型和物理模型之間起到承上啟下的核心作用。
3.2邏輯模型的轉(zhuǎn)化過(guò)程
從概念模型轉(zhuǎn)化為邏輯模型,按照如下步驟構(gòu)造:
(1)概念模型中的實(shí)體,通常轉(zhuǎn)換成邏輯模型的一個(gè)關(guān)系基本表;
(2)概念模型中的多對(duì)多的實(shí)體聯(lián)系,通常轉(zhuǎn)換成邏輯模型的一個(gè)關(guān)系基本表;
(3)概念模型中的一對(duì)多的實(shí)體聯(lián)系,通常在“多”的一側(cè)對(duì)應(yīng)的實(shí)體對(duì)應(yīng)的關(guān)系基本表中,增加“一”的一側(cè)對(duì)應(yīng)的實(shí)體主碼屬性;
(4)對(duì)于時(shí)態(tài)實(shí)體,對(duì)應(yīng)的關(guān)系基本表,增加有效時(shí)間屬性,轉(zhuǎn)換成相應(yīng)的時(shí)態(tài)表;
(5)對(duì)于時(shí)態(tài)屬性,直接使用相應(yīng)的時(shí)態(tài)數(shù)據(jù)類型來(lái)定義,或者轉(zhuǎn)換成相應(yīng)的時(shí)態(tài)表,該時(shí)態(tài)表至少包含對(duì)應(yīng)實(shí)體的主碼屬性,時(shí)態(tài)屬性,屬性取值和有效時(shí)間。
4.構(gòu)建表征時(shí)態(tài)實(shí)體及其聯(lián)系的時(shí)態(tài)存儲(chǔ)模型
第四步,選定具體的關(guān)系型數(shù)據(jù)庫(kù),并且根據(jù)表征時(shí)態(tài)實(shí)體及其聯(lián)系的概念模型和邏輯模型,設(shè)計(jì)針對(duì)該具體的關(guān)系型數(shù)據(jù)庫(kù)的時(shí)態(tài)物理存儲(chǔ)模型。設(shè)計(jì)具體的關(guān)系型數(shù)據(jù)庫(kù)的時(shí)態(tài)物理存儲(chǔ)模型包括:設(shè)計(jì)數(shù)據(jù)的存取方法,包括常規(guī)索引、文本索引和時(shí)態(tài)索引。
時(shí)態(tài)存儲(chǔ)模型是指時(shí)態(tài)數(shù)據(jù)如何在物理存儲(chǔ)硬件如何分布和存儲(chǔ),建立哪些普通索引和時(shí)態(tài)索引。由于存儲(chǔ)模型通常由數(shù)據(jù)庫(kù)管理系統(tǒng)從邏輯模型自動(dòng)轉(zhuǎn)換生成,與存儲(chǔ)硬件和實(shí)現(xiàn)有關(guān),所以數(shù)據(jù)模型的建模和設(shè)計(jì),通常最主要的是由概念模型和邏輯模型組成。
可見(jiàn),本發(fā)明對(duì)軟件開(kāi)發(fā)的需求、設(shè)計(jì)、模型、構(gòu)件、支持?jǐn)?shù)據(jù)和軟件產(chǎn)品等開(kāi)發(fā)要素及其復(fù)雜的聯(lián)系,綜合利用時(shí)態(tài)圖技術(shù)和時(shí)態(tài)數(shù)據(jù)庫(kù)技術(shù),提供了建立集成統(tǒng)一的數(shù)據(jù)模型的方法。依據(jù)本發(fā)明的建模方法所建立的概念模型、邏輯模型和時(shí)態(tài)存儲(chǔ)物理模型,是實(shí)現(xiàn)軟件開(kāi)發(fā)過(guò)程中支撐平臺(tái)的基礎(chǔ)和核心,可實(shí)現(xiàn)基于時(shí)態(tài)的軟件開(kāi)發(fā)過(guò)程中的數(shù)據(jù)維護(hù)、檢索和分析技術(shù),能夠支持軟件和模型、構(gòu)件、支持?jǐn)?shù)據(jù)等并行開(kāi)發(fā),支持產(chǎn)品族的開(kāi)發(fā)(版本樹(shù)),支持多層級(jí)開(kāi)發(fā)和分布式開(kāi)發(fā);支持開(kāi)發(fā)庫(kù)、受控庫(kù)和產(chǎn)品庫(kù)等多個(gè)受控級(jí)別的庫(kù)管理;支持需求庫(kù)、模型庫(kù)、構(gòu)件庫(kù)和支持?jǐn)?shù)據(jù)庫(kù)等多個(gè)主題庫(kù)管理。
以上所述,僅為本發(fā)明的具體實(shí)施方式,本發(fā)明還可以應(yīng)用在其它設(shè)備中;以上描述中的尺寸和數(shù)量均僅為參考性的,本領(lǐng)域技術(shù)人員可根據(jù)實(shí)際需要選擇適當(dāng)?shù)膽?yīng)用尺寸,而不脫離本發(fā)明的范圍。本發(fā)明的保護(hù)范圍并不局限于此,任何熟悉本技術(shù)領(lǐng)域的技術(shù)人員在本發(fā)明揭露的技術(shù)范圍內(nèi),可輕易想到的變化或替換,都應(yīng)涵蓋在本發(fā)明的保護(hù)范圍之內(nèi)。因此,本發(fā)明的保護(hù)范圍應(yīng)該以權(quán)利要求所界定的保護(hù)范圍為準(zhǔn)。