典型的模型由子模型的聚合組成。每個(gè)子模型是一個(gè)部分描述，并為特定的目的而創(chuàng)建;它可能由一個(gè)或多個(gè)圖組成。子模型的集合可以使用多種建模語(yǔ)言或單一的建模語(yǔ)言。統(tǒng)一建模語(yǔ)言（UML）識(shí)別豐富的建模圖集合。使用這些圖，以及建模語(yǔ)言構(gòu)建，產(chǎn)生了三種常用的廣泛的模型類型：信息模型、行為模型和結(jié)構(gòu)模型（參見(jiàn)1.1節(jié)）。

信息建模

信息模型以數(shù)據(jù)和信息為中心。信息模型是一種抽象表示，用于標(biāo)識(shí)和定義數(shù)據(jù)實(shí)體上的一組概念、屬性、關(guān)系和約束。語(yǔ)義或概念信息模型通常用于從問(wèn)題的角度向被建模的軟件提供某種形式和環(huán)境，而不關(guān)心該模型實(shí)際上如何映射到軟件的實(shí)現(xiàn)。語(yǔ)義或概念信息模型是一種抽象，因此只包含概念化信息的真實(shí)視圖所需的概念、屬性、關(guān)系和約束。語(yǔ)義或概念信息模型的后續(xù)轉(zhuǎn)換將導(dǎo)致在軟件中實(shí)現(xiàn)的邏輯和物理數(shù)據(jù)模型的細(xì)化。

行為建模

行為模型確定和定義被建模的軟件的功能。行為模型通常采用三種基本形式：狀態(tài)機(jī)、控制流模型和數(shù)據(jù)流模型。狀態(tài)機(jī)將軟件模型作為已定義狀態(tài)、事件和轉(zhuǎn)換的集合提供。軟件通過(guò)在建模環(huán)境中發(fā)生的有保護(hù)或無(wú)保護(hù)觸發(fā)事件從一種狀態(tài)轉(zhuǎn)換到另一種狀態(tài)。控制流模型描述了一系列事件如何導(dǎo)致過(guò)程被激活或停用。數(shù)據(jù)流行為被描述為一系列步驟，在這些步驟中，數(shù)據(jù)通過(guò)進(jìn)程向數(shù)據(jù)存儲(chǔ)區(qū)或數(shù)據(jù)接收器移動(dòng)。

結(jié)構(gòu)建模

結(jié)構(gòu)模型說(shuō)明了軟件由其不同的組成部分組成的物理或邏輯組合。結(jié)構(gòu)建模在被實(shí)現(xiàn)或建模的軟件與要在其中運(yùn)行的環(huán)境之間建立了已定義的邊界。在結(jié)構(gòu)建模中使用的一些常見(jiàn)的結(jié)構(gòu)構(gòu)建是實(shí)體的組合、分解、泛化和專門(mén)化;確定實(shí)體之間的相關(guān)關(guān)系和基數(shù);以及過(guò)程或功能接口的定義。UML為結(jié)構(gòu)建模提供的結(jié)構(gòu)圖包括類、組件、對(duì)象、部署和打包圖。

編輯：jq