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

信息建模

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

行為建模

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

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

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

編輯：jq