4.4 IDEF1X 建模方法

　　4.4.1 IDEF1X概述

　　1、 IDEF0側(cè)重描述系統(tǒng)功能，被稱(chēng)為功能建模方法;IDEF1X側(cè)重分析、抽象和概括應(yīng)用領(lǐng)域中的數(shù)據(jù)，稱(chēng)為數(shù)據(jù)建模方法;

　　2、 IDEF1X方法具有豐富的語(yǔ)法和語(yǔ)義;

　　3、 實(shí)體集分為(1)獨(dú)立標(biāo)識(shí)符實(shí)體集;(2)從屬標(biāo)識(shí)符實(shí)體集;

　　4、 實(shí)體集之間的聯(lián)系分為：(1)標(biāo)定型聯(lián)系;(2)非標(biāo)定型聯(lián)系;(3)分類(lèi)聯(lián)系;(4)不確定聯(lián)系

　　4.4.2 IDEF1X模型元素

　　1、 實(shí)體集：

　　(1) 實(shí)體集語(yǔ)義：如果一個(gè)實(shí)體集的每一個(gè)實(shí)例都能被惟一地標(biāo)識(shí)，而不決定于它與其他實(shí)體的聯(lián)系，那么該實(shí)體集稱(chēng)為獨(dú)立實(shí)體集;否則就叫從屬實(shí)體集;

　　(2) 實(shí)體集語(yǔ)法：IDEF1X用矩形框來(lái)表示獨(dú)立實(shí)體集，用圓角矩形框來(lái)表示從屬實(shí)體集;

　　2、 聯(lián)系：

　　(1) 聯(lián)系語(yǔ)義：

　　(A) 標(biāo)定型聯(lián)系：一個(gè)“確定型聯(lián)系”中，如果子女實(shí)體集中的每個(gè)實(shí)例都是由它與雙親的聯(lián)系而確定的，這個(gè)關(guān)系稱(chēng)為“標(biāo)定型聯(lián)系”;

　　(B) 非標(biāo)定型聯(lián)系：一個(gè)“確定型聯(lián)系”中，如果子女實(shí)體集中的每一個(gè)實(shí)例都能被惟一地確認(rèn)而無(wú)需了解與之相聯(lián)系的雙親實(shí)體集的實(shí)例，這個(gè)問(wèn)題關(guān)系叫“非標(biāo)定型聯(lián)系”。

　　(C) 分類(lèi)聯(lián)系：是兩個(gè)或多個(gè)實(shí)體集之間的聯(lián)系，且在這些實(shí)體集中存在一個(gè)一般實(shí)體集，它的每一個(gè)實(shí)例都恰好與一個(gè)且僅一個(gè)分類(lèi)實(shí)體集的一個(gè)實(shí)例相聯(lián)系。

　　(D) 不確定聯(lián)系：一個(gè)非確定聯(lián)系又稱(chēng)為多對(duì)多聯(lián)系，這種聯(lián)系關(guān)聯(lián)的兩個(gè)實(shí)體集之間，任一實(shí)體集的一個(gè)實(shí)例都將對(duì)應(yīng)另一實(shí)體集的0個(gè)、1個(gè)或多個(gè)實(shí)例。

　　(2) 聯(lián)系的語(yǔ)法：

　　(A) 標(biāo)定聯(lián)系語(yǔ)法：在IDEF1X圖中，聯(lián)系的語(yǔ)法用直線(xiàn)表示，在一個(gè)標(biāo)定型聯(lián)系中，子女實(shí)體集總是一個(gè)從屬實(shí)體集，用圓角矩形框表示;

　　(B) 非標(biāo)定聯(lián)系語(yǔ)法：如果兩個(gè)實(shí)體集之間有關(guān)系，并且是一個(gè)非標(biāo)定聯(lián)系，就用一條虛線(xiàn)把它們連接起來(lái)。

　　(C) 分類(lèi)聯(lián)系語(yǔ)法：一般實(shí)體集的一個(gè)實(shí)例只能與分類(lèi)實(shí)體集的一個(gè)實(shí)例相對(duì)應(yīng);

　　(D) 不確定聯(lián)系m:n的語(yǔ)法：不確定聯(lián)系用一個(gè)兩端帶有實(shí)心圓的線(xiàn)段描述，表示多對(duì)多的連接關(guān)系。

　　3、 屬性

　　(1) 屬性的語(yǔ)義：用來(lái)描述一類(lèi)現(xiàn)實(shí)或抽象事物的特征或性質(zhì)。一個(gè)屬性的具體取值叫屬性實(shí)例，它由屬性的類(lèi)型和值來(lái)定義。

　　(2) 屬性的語(yǔ)法

　　(A) 主碼和非主碼屬性語(yǔ)法：在一個(gè)實(shí)體集中屬性要有惟一的名字，屬性名由名詞表示，主碼屬性名后加(PK)標(biāo)注，被列在屬性列表的頂端，并用水平線(xiàn)將主碼和其他屬性分開(kāi)。

　　(B) 外碼語(yǔ)法：在外碼屬性后加“FK”來(lái)識(shí)別由聯(lián)系繼承得到的外來(lái)屬性。

　　4.4.3 建模過(guò)程

　　1、第一階段：建模規(guī)劃及準(zhǔn)備

　　(1) 建模目標(biāo)：

　　(A) 目標(biāo)說(shuō)明：回答將構(gòu)造的模型完成什么功能，涉及的問(wèn)題和數(shù)據(jù)范圍，同時(shí)說(shuō)明是一個(gè)當(dāng)前系統(tǒng)模型還是待建模型。

　　(B) 范圍說(shuō)明：在建模初期要給出模型覆蓋的問(wèn)題范圍;

　　(2) 建模計(jì)劃

　　(A) 項(xiàng)目說(shuō)明;

　　(B) 收集數(shù)據(jù);

　　(C) 定義實(shí)體;

　　(D) 定義聯(lián)系;

　　(E) 定義碼屬性;

　　(F) 定義非碼屬性;

　　(G) 確認(rèn)模型;

　　(H) 評(píng)審驗(yàn)收。

　　(3) 組織隊(duì)伍：包括項(xiàng)目負(fù)責(zé)人、建模者、信息源、課題專(zhuān)家、評(píng)審委員會(huì)

　　1、 第二階段：定義實(shí)體集

　　(1) 目標(biāo)是標(biāo)識(shí)和定義應(yīng)用領(lǐng)域中的實(shí)體集，方法是分類(lèi)標(biāo)識(shí)原始材料中的所有名詞;

　　(2) 區(qū)別實(shí)體集名詞和非實(shí)體集名詞的方法，是否具有下列特征：

　　(A) 它能夠被描述或說(shuō)明嗎?

　　(B) 有多少同類(lèi)的實(shí)例嗎?

　　(C) 每個(gè)實(shí)例可以被標(biāo)識(shí)和區(qū)分嗎?

　　2、 第三階段：定義聯(lián)系

　　(1) 標(biāo)識(shí)實(shí)體集之間的聯(lián)系：建立聯(lián)系矩陣，聯(lián)系矩陣由一個(gè)二維數(shù)組表示。把實(shí)體集沿水平和垂直兩方向列出，分析兩個(gè)實(shí)體間的聯(lián)系，有聯(lián)系就用“X”表示，不存在聯(lián)系用“null”表示。聯(lián)系只標(biāo)識(shí)直接關(guān)系，不標(biāo)識(shí)間接關(guān)系。

　　(2) 定義聯(lián)系：包括表示依賴(lài)、命名聯(lián)系、關(guān)于聯(lián)系的說(shuō)明;當(dāng)實(shí)體集之間的依賴(lài)關(guān)系建立后，就可以命名聯(lián)系了。聯(lián)系的名字可以動(dòng)詞表示。原則必須是具體的、簡(jiǎn)明的和有意義的。

　　(3) 構(gòu)造實(shí)體級(jí)數(shù)：實(shí)體級(jí)圖的范圍和數(shù)目,依賴(lài)于建模的規(guī)模和建模問(wèn)題涉及的實(shí)體集數(shù)目。

　　3、 第四階段：定義健

　　(1) 分解不確定的聯(lián)系：把實(shí)體級(jí)圖中不確定的關(guān)系轉(zhuǎn)換成確定的連接形式，把每一個(gè)不確定的聯(lián)系轉(zhuǎn)換成為兩個(gè)確定的聯(lián)系;

　　(2) 標(biāo)識(shí)碼屬性：碼屬性是那些能夠惟一識(shí)別實(shí)體集中每一個(gè)實(shí)例的屬性;

　　(3) 遷移主碼：把一個(gè)實(shí)體集的主碼復(fù)制到其他有關(guān)實(shí)體集的過(guò)程，但要遵守以下規(guī)則：

　　(A) 在一個(gè)聯(lián)系中，遷移總是從父到子或從一般實(shí)體集移向分類(lèi)實(shí)體集;

　　(B) 主碼屬性才能被遷移，如主碼由多個(gè)屬性組成，則要全部遷移;

　　4、 第五階段：定義屬性

　　(1) 標(biāo)識(shí)和定義非主屬性;

　　(2) 建立屬性的所有者;

　　(3) 確認(rèn)屬性的定義;

　　(4) 繪制局部數(shù)據(jù)視圖;

　　(A) 實(shí)體集的名稱(chēng)和編號(hào)寫(xiě)在矩形框外的上面;

　　(B) 主碼屬性寫(xiě)在矩形框內(nèi)水平線(xiàn)的上面并用“PK”標(biāo)注;

　　(C) 外碼屬性寫(xiě)在矩形框內(nèi)水平線(xiàn)的下面并用“FK”標(biāo)注;

　　(D) 非主屬性也可以寫(xiě)在矩形框內(nèi)水平線(xiàn)的下面;