1 IDEF1X概述
1、 IDEF0側重描述系統功能，被稱為功能建模方法;IDEF1X側重分析、抽象和概括應用領域中的資料，稱為資料建模方法;
2、 IDEF1X方法具有豐富的語法和語義;
3、 實體集分為(1)獨立識別符號實體集;(2)從屬識別符號實體集;
4、 實體集之間的聯絡分為：(1)標定型聯絡;(2)非標定型聯絡;(3)分類聯絡;(4)不確定聯絡
2 IDEF1X模型元素
1、 實體集：
(1) 實體集語義：如果一個實體集的每一個例項都能被惟一地標識，而不決定於它與其他實體的聯絡，那麼該實體集稱為獨立實體集;否則就叫從屬實體集;
(2) 實體集語法：IDEF1X用矩形框來表示獨立實體集，用圓角矩形框來表示從屬實體集;
2、 聯絡：
(1) 聯絡語義：
(A) 標定型聯絡：一個“確定型聯絡”中，如果子女實體集中的每個例項都是由它與雙親的聯絡而確定的，這個關係稱為“標定型聯絡”;
(B) 非標定型聯絡：一個“確定型聯絡”中，如果子女實體集中的每一個例項都能被惟一地確認而無需瞭解與之相聯絡的雙親實體集的例項，這個問題關係叫“非標定型聯絡”。
(C) 分類聯絡：是兩個或多個實體集之間的聯絡，且在這些實體集中存在一個一般實體集，它的每一個例項都恰好與一個且僅一個分類實體集的一個例項相聯絡。
(D) 不確定聯絡：一個非確定聯絡又稱為多對多聯絡，這種聯絡關聯的兩個實體集之間，任一實體集的一個例項都將對應另一實體集的0個、1個或多個例項。
(2) 聯絡的語法：
(A) 標定聯絡語法：在IDEF1X圖中，聯絡的語法用直線表示，在一個標定型聯絡中，子女實體集總是一個從屬實體集，用圓角矩形框表示;
(B) 非標定聯絡語法：如果兩個實體集之間有關係，並且是一個非標定聯絡，就用一條虛線把它們連線起來。
(C) 分類聯絡語法：一般實體集的一個例項只能與分類實體集的一個例項相對應;
(D) 不確定聯絡m:n的語法：不確定聯絡用一個兩端帶有實心圓的線段描述，表示多對多的連線關係。
3、 屬性
(1) 屬性的語義：用來描述一類現實或抽象事物的特徵或性質。一個屬性的具體取值叫屬性例項，它由屬性的型別和值來定義。
(2) 屬性的語法
(A) 主碼和非主碼屬性語法：在一個實體集中屬性要有惟一的名字，屬性名由名詞表示，主碼屬性名後加(PK)標註，被列在屬性列表的頂端，並用水平線將主碼和其他屬性分開。
(B) 外碼語法：在外碼屬性後加“FK”來識別由聯絡繼承得到的外來屬性。
3 建模過程
1、第一階段：建模規劃及準備
(1) 建模目標：
(A) 目標說明：回答將構造的模型完成什麼功能，涉及的問題和資料範圍，同時說明是一個當前系統模型還是待建模型。
(B) 範圍說明：在建模初期要給出模型覆蓋的問題範圍;
(2) 建模計劃
(A) 專案說明;
(B) 收集資料;
(C) 定義實體;
(D) 定義聯絡;
(E) 定義碼屬性;
(F) 定義非碼屬性;
(G) 確認模型;
(H) 評審驗收。
(3) 組織隊伍：包括專案負責人、建模者、資訊源、課題專家、評審委員會
1、 第二階段：定義實體集
(1) 目標是標識和定義應用領域中的實體集，方法是分類標識原始材料中的所有名詞;
(2) 區別實體集名詞和非實體集名詞的方法，是否具有下列特徵：
(A) 它能夠被描述或說明嗎?
(B) 有多少同類的例項嗎?
(C) 每個例項可以被標識和區分嗎?
2、 第三階段：定義聯絡
(1) 標識實體集之間的`聯絡：建立聯絡矩陣，聯絡矩陣由一個二維陣列表示。把實體集沿水平和垂直兩方向列出，分析兩個實體間的聯絡，有聯絡就用“X”表示，不存在聯絡用“null”表示。聯絡只標識直接關係，不標識間接關係。
(2) 定義聯絡：包括表示依賴、命名聯絡、關於聯絡的說明;當實體集之間的依賴關係建立後，就可以命名聯絡了。聯絡的名字可以動詞表示。原則必須是具體的、簡明的和有意義的。
(3) 構造實體級數：實體級圖的範圍和數目,依賴於建模的規模和建模問題涉及的實體集數目。
3、 第四階段：定義健
(1) 分解不確定的聯絡：把實體級圖中不確定的關係轉換成確定的連線形式，把每一個不確定的聯絡轉換成為兩個確定的聯絡;
(2) 標識碼屬性：碼屬性是那些能夠惟一識別實體集中每一個例項的屬性;
(3) 遷移主碼：把一個實體集的主碼複製到其他有關實體集的過程，但要遵守以下規則：
(A) 在一個聯絡中，遷移總是從父到子或從一般實體集移向分類實體集;
(B) 主碼屬性才能被遷移，如主碼由多個屬性組成，則要全部遷移;
4、 第五階段：定義屬性
(1) 標識和定義非主屬性;
(2) 建立屬性的所有者;
(3) 確認屬性的定義;
(4) 繪製區域性資料檢視;
(A) 實體集的名稱和編號寫在矩形框外的上面;
(B) 主碼屬性寫在矩形框內水平線的上面並用“PK”標註;
(C) 外碼屬性寫在矩形框內水平線的下面並用“FK”標註;
(D) 非主屬性也可以寫在矩形框內水平線的下面;
