模塊化

模塊化是一種處理複雜系統分解為更好的可管理模塊的方式。 ^[1] 

模塊化用來分割，組織和打包軟件。每個模塊完成一個特定的子功能，所有的模塊按某種方法組裝起來，成為一個整體，完成整個系統所要求的功能。 ^[1] 

模塊具有以下幾種基本屬性：接口、功能、邏輯、狀態，功能、狀態與接口反映模塊的外部特性，邏輯反映它的內部特性。 ^[1] 

在系統的結構中，模塊是可組合、分解和更換的單元。模塊化是一種處理複雜系統分解成為更好的可管理模塊的方式。它可以通過在不同組件設定不同的功能，把一個問題分解成多個小的獨立、互相作用的組件，來處理複雜、大型的軟件。 ^[1] 

1、獨立的工作運行模式

各個模塊可獨立工作，即便單組模塊出現故障也不影響整個系統工作。 ^[1] 

2、分級啓動功能

當每組模塊達到滿負荷時系統會自動啓動另一組模塊，從而保證系統的輸出始終與實際需求匹配，確保每個模塊高效運行，又能節約資源，提高效率。 ^[1] 

軟件模塊是一套一致而互相有緊密關連的軟件組織。它分別包含了程序和數據結構兩部份。 ^[1] 

現代軟件開發往往利用模塊作合成的單位。 ^[1] 

模塊的接口表達了由該模塊提供的功能和調用它時所需的元素。 ^[1] 

模塊是可能分開地被編寫的單位。這使他們可再用和允許廣泛人員同時協作、編寫及研究不同的模塊。 ^[1] 

模塊化本體是指具有模塊結構的本體（知識庫的一種表現形式）。許多應用領域需要模塊化的本體，如

當前，實現模塊化本體主要有兩種主要的語言途徑。一種是基於非經典語義的邏輯語言擴展，如分佈式描述邏輯，E-連接和基於包的描述邏輯；另外一種途徑是基於經典描述邏輯語義，但限制對外部符號的使用以保證各模塊可安全的合併。 ^[1]