建模理論與實踐/元件化建模
< 建模理論與實踐
- 圖的概念是表示常量或變數之間二元關係的基礎。
- 透過將複雜圖劃分為元件來保持概述。
- 元件的基本概念可以從兩個方面進行推廣
- 關於元件之間連線強度的（連線性），導致耦合和內聚
- 關於元件與哪些外部元素相關（模組化），導致介面的概念
二元關係，n元關係。
節點的兩種含義
- 常量：一輛汽車，“馬克斯·邁爾駕駛著GO-123-FX汽車”。
- 變數：任何汽車，“人駕駛汽車”，但屬於特定型別（人，汽車，...）
| 1 | 2 | 3 | 4 | 5 | 6 | |
|---|---|---|---|---|---|---|
| 1 | X | X | ||||
| 2 | X | X | ||||
| 3 | X | X | ||||
| 4 | X | X | X | |||
| 5 | X | X | X | |||
| 6 | X |
理解 圖 的概念是基礎。我們在這裡只簡要指出一些相關的概念。
一組元素之間的這種關係可以用矩陣形式或圖表來表示。在大多數情況下，圖表可以使讀者更好地理解關係。請注意，這僅僅是視覺效果，因為在邏輯上沒有區別。
此外，圖不必是對稱的，就像上面的圖一樣，它們的元素也可以擁有從自身指向自身或從自身出發並指向自身的邊。
因此，圖的概念為建模中的關係處理提供了形式基礎。有關圖論更精確和全面的介紹，請訪問 圖（維基百科）。
還有一種關於圖的更計算的視角，它被視為 資料型別 並對其執行操作，但是這不是我們在這裡的關注點。
將圖細分為元件是結構化的基本思想。但是，我們需要稍微放寬元件的概念，以便使其真正有用。此外，元件可以細分為子子子...元件，因此我們討論一些關於何時停止這種細分的經驗法則。
街道地圖：3 個村莊 -> 分解為 3 張地圖（每個村莊一張）
一個 元件 是一個子圖，其中任何兩個頂點可以透過路徑相互連線，並且該子圖沒有與超圖中的任何其他頂點連線。
示例
一方面，這個元件的概念非常清晰，另一方面，它並不十分有用。為了涵蓋像上面的例子（地圖、街道、村莊）這樣的情況，需要以以下方式推廣元件的概念。
關於連線性的元件
連線性 詢問需要移除多少個元素（節點或邊）才能使剩餘的節點彼此分離。相關概念：稀疏 與 強 圖，代數連線性。
進一步的概念
PS 另一個泛化是 模組 的概念，見型別。
“小”元件 -> 合適的大小（軟概念，透過經驗解釋）
- 在 模組 中，每個頂點 ，要麼 X 中的每個成員都是 v 的非鄰居，要麼 X 中的每個成員都是 v 的鄰居。模組導致實體型別。
- Kleppe, Anneke (2009). 軟體語言工程. Addison-Wesley. ISBN 978-0-321-55345-4.