2.1.5 符號實現

對于MBSE中的基本元素，下一步讓我們看看在MBSE項目中如何以務實的方式來實現視圖的可視化。此時，需要對“MBSE in a slide”進行擴展，從而引入工具，如圖2.8所示。

圖2.8 對“MBSE in a slide”進行擴展，引入工具

工具是MBSE的重要組成部分，它可以使MBSE的全部優勢得以實現。

圖2.8中的工具與其他兩部分的內容有所關聯：工具實現了符號和框架。下面將詳細介紹這兩部分的內容：

?工具實現符號：無論采用了哪種符號，都必須根據底層語言的語法和語義來正確使用。在選擇工具時，需要注意的是不同的工具將會為符號提供不同級別的支持。例如，如果采用諸如SysML之類的圖形符號工具，那么就可以使用任意一個具有基本繪圖功能的工具來創建圖表，如Office工具。然而使用SysML不僅僅是在頁面上繪制正確的形狀和線條，因為它作為語言必須遵循最基本的語法和語義。在使用好的MBSE建模工具時，語法和語義知識將被內置到工具中，因此該工具可以通過對模型運行語法和語義檢查來強制使用正確的符號。當使用英語編寫文本文檔時，好的文本處理程序都可以對文本進行拼寫和語法檢查。建模工具里的語法和語義檢查就類似于Office工具里的拼寫和語法檢查。符號是口頭語言，因此工具應有助于確保這種口頭語言被正確實現。選擇合適的建模工具可以做到開箱即用，直接使用工具來實現口頭語言。

?工具實現框架：由于框架占據了整個方法的絕大部分，這也就意味著工具會實現方法的大部分內容。方法可以通過將本體嵌入到工具中并且通過將一組觀點（通過回答每個觀點的關鍵問題）定義到工具中來實現。方法包含領域特定語言的本體，因此可以對工具進行定義，使其能夠為系統使用該領域特定語言。此時工具無法做到開箱即用，必須將框架通過編程的方式融到工具之中。優秀的工具都能夠創建配置文件，允許對工具進行定制以實現特定框架。

工具是MBSE的重要組成部分，選擇一個滿足項目建模需求的工具至關重要。下一小節將介紹最后一個新概念——合規。