軟件建模原則包括哪些內(nèi)容

軟件建模正在成為一種普遍的技術(shù)來幫助軟件工程師理解，

圖9.1。軟件工程模型和方法知識領(lǐng)域主題的分解

工程師，并與適當(dāng)?shù)睦尕P(guān)方溝通軟件的各個方面。利益攸關(guān)方是指那些對軟件有明確或隱含興趣的人(例如，用戶、買方、供應(yīng)商、架構(gòu)師、認(rèn)證機構(gòu)、評估者、開發(fā)人員、軟件工程師，也許還有其他人)。

雖然在文獻和實踐中有許多建模語言、表示法、技術(shù)和工具，但是有一些統(tǒng)一的通用概念以某種形式應(yīng)用于它們。以下各節(jié)提供這些一般概念的背景知識。

1.1建模原則

建模為軟件工程師提供了一種有組織的和系統(tǒng)的方法，用于表示正在研究的軟件的重要方面，促進關(guān)于軟件或要素的決策，并將這些重要的決策傳達(dá)給利益攸關(guān)方團體中的其他人。指導(dǎo)此類建?；顒拥囊话阍瓌t有三個:

對基本要素進行建模:好的模型通常不會在所有可能的條件下代表軟件的每個方面或特性。建模通常只涉及開發(fā)那些需要特定答案的軟件方面或特性，抽象掉任何不重要的信息。這種方法使模型保持可管理和有用。

提供透視圖:建模使用一組定義好的規(guī)則來表達(dá)每個視圖中的模型，從而提供正在研究的軟件的視圖。視圖驅(qū)動方法為模型提供了維度(例如，結(jié)構(gòu)視圖、行為視圖、時間視圖、組織視圖，以及其他相關(guān)視圖)。將信息組織到視圖中，使用適當(dāng)?shù)姆枴⒃~匯表、方法和工具，將軟件建模工作集中在與視圖相關(guān)的特定關(guān)注點上。

實現(xiàn)有效的溝通:建模使用軟件的應(yīng)用領(lǐng)域詞匯、建模語言和語義表達(dá)(換句話說，環(huán)境中的意思)。當(dāng)嚴(yán)格和系統(tǒng)地使用時，此建模將產(chǎn)生一種報告方法，它將促進軟件信息與項目利益攸關(guān)方的有效交流。

模型是軟件組件的抽象或簡化。使用抽象的一個結(jié)果是沒有單一的抽象完全描述一個軟件組件。相反，軟件的模型被表示為抽象的集合，當(dāng)這些抽象集合在一起時，它們只描述選中的方面、透視圖或視圖——只描述那些需要做出明智的決定并首先對創(chuàng)建模型的原因作出響應(yīng)的方面、透視圖或視圖。這種簡化導(dǎo)致了一組關(guān)于放置模型的環(huán)境的假設(shè)，這些假設(shè)也應(yīng)該被捕獲到模型中。然后，在復(fù)用模型時，可以首先驗證這些假設(shè)，以建立被復(fù)用模型在其新用途和環(huán)境中的相關(guān)性。

1.2模型的屬性和表達(dá)

模型的屬性是一個特定模型的顯著特征，用于在所選擇的建模符號和所使用的工具中描述其完整性、一致性和正確性。模型的屬性包括:

完整性:所有需求在模型中被實現(xiàn)和驗證的程度。

一致性:模型不包含沖突的需求、斷言、約束、功能或組件描述的程度。

正確性:模型滿足其需求和設(shè)計規(guī)范以及無缺陷的程度。

模型被構(gòu)建來代表真實世界的對象和它們的行為，以回答關(guān)于軟件如何被期望運行的具體問題。詢問模型——通過探索、模擬或回顧——可能會暴露模型和模型所引用的軟件中的不確定區(qū)域。這些關(guān)于需求、設(shè)計和/或?qū)崿F(xiàn)的不確定性或未回答的問題可以得到適當(dāng)?shù)奶幚怼?/p>

模型的主要表達(dá)式要素是實體。實體可以表示具體工件(例如，處理器、傳感器或機器人)或抽象工件(例如，軟件模塊或通信協(xié)議)。模型實體使用關(guān)系(換句話說，目標(biāo)實體上的行或文本操作符)連接到其他實體。模型實體的表達(dá)可以使用文本或圖形化的建模語言來完成;這兩種建模語言類型都通過特定的語言構(gòu)建連接模型實體。實體的意義可以由它的形狀、文本屬性或兩者同時表示。一般來說，文本信息遵循特定于語言的句法結(jié)構(gòu)。與使用這些實體和關(guān)系的環(huán)境、結(jié)構(gòu)或行為建模相關(guān)的精確含義依賴于所使用的建模語言、應(yīng)用于建模工作的設(shè)計嚴(yán)密性、被構(gòu)建的特定視圖，以及可能附加特定符號要素的實體?？赡苄枰Ｐ偷亩鄠€視圖來捕獲軟件所需的語義。

當(dāng)使用自動化支持的模型時，可能會檢查模型的完整性和一致性。除了顯式工具支持之外，這些檢查的有用性在很大程度上取決于應(yīng)用于建模工作的語義和語法的嚴(yán)格程度。正確性通常通過模擬和/或評審來檢查。

1.3語法、語義和語用學(xué)

模型可能具有驚人的欺騙性。模型是一種缺少信息的抽象，這一事實可能會導(dǎo)致人們產(chǎn)生一種錯誤的感覺，認(rèn)為從單個模型就可以完全理解軟件。一個完整的模型(“完整”相對于建模工作而言)可以是多個子模型和任何特殊功能模型的聯(lián)合。在這個子模型集合中，對單個模型的檢查和決策可能會有問題。

理解建模構(gòu)建的精確含義也很困難。建模語言是由語法和語義規(guī)則定義的。對于文本語言，語法是使用定義有效語言結(jié)構(gòu)(例如，巴克斯-納爾形式(BNF))的符號語法來定義的。對于圖形化語言，語法是使用稱為元模型的圖形化模型定義的。與BNF一樣，元模型定義了圖形化建模語言的有效語法結(jié)構(gòu);元模型定義了如何組合這些構(gòu)建來生成有效的模型。建模語言的語義指定附加到模型中捕獲的實體和關(guān)系的意義。例如，由一條線連接的兩個盒子組成的簡單圖表可以有多種解釋。知道盒子被放置和連接的圖表是一個對象圖或活動圖可以幫助解釋這個模型。

作為一個實際問題,通常有一個好的理解一個特定的軟件模型的語義建模語言選擇,如何建模語言是用來表達(dá)模型中實體和關(guān)系,建模者的經(jīng)驗基礎(chǔ)和建模的環(huán)境中進行表示。即使在不完整的信息存在的情況下，也可以通過抽象來傳達(dá)意義;語用學(xué)解釋了如何在模型及其環(huán)境中體現(xiàn)意義，并有效地與其他軟件工程師溝通。

然而，仍然有一些實例需要注意建模和語義。例如，必須檢查從另一個模型或庫導(dǎo)入的任何模型部件，以確定在新建模環(huán)境中存在沖突的語義假設(shè);這可能并不明顯。應(yīng)該檢查模型是否有文檔化的假設(shè)。雖然建模語法可能是相同的，但是模型在新環(huán)境中可能意味著完全不同的東西，這是一個不同的環(huán)境。另外，考慮到隨著軟件的成熟和變更，可能會引入語義不和諧，從而導(dǎo)致錯誤。隨著時間的推移，隨著工具的更新和可能的新需求，許多軟件工程師都在工作于一個模型部分，模型的一部分有機會表示與原始作者的意圖和初始模型環(huán)境不同的東西。

1.4前置條件、后置條件和不變量

建模功能或方法時，軟件工程師通常從一組關(guān)于軟件在功能或方法執(zhí)行之前、期間和之后的狀態(tài)的假設(shè)開始。這些假設(shè)對于函數(shù)或方法的正確操作是至關(guān)重要的，并且被分組，作為一組先決條件、后置條件和不變量進行討論。

先決條件:在執(zhí)行函數(shù)或方法之前必須滿足的一組條件。如果這些先決條件在函數(shù)或方法執(zhí)行之前不保持，該函數(shù)或方法可能會產(chǎn)生錯誤的結(jié)果。

后置條件:在函數(shù)或方法成功執(zhí)行后保證為真的一組條件。通常，后置條件表示軟件的狀態(tài)如何改變，傳遞給函數(shù)或方法的參數(shù)如何改變，數(shù)據(jù)值如何改變，或返回值如何受到影響。

不變量:操作環(huán)境中的一組條件，在函數(shù)或方法執(zhí)行之前和之后保持不變(換句話說，不變)。這些不變量對軟件和函數(shù)或方法的正確操作是相關(guān)和必要的。

審核編輯：湯梓紅