SysML

SysML的定義包括SysML 語義和SysML 表示法兩個部分。

2004 年1 月12 日，SysML 的非正式組織向OMG 提交了SysML 語言的初步草案，

2004 年8 月2 日向OMG 提交了修改後的SysML0.8 版，

2004 年10 月11 日向OMG 提交了第二次修改後的SysML0.85 版，

2005 年1 月10 日向OMG提交了第三次修改後的SysML0.9版。SysML0.9 版是一個重要的里程碑，確定了核心的系統工程圖形。預計SysML1.0正式版將在2005 年的第二季度被OMG 作為標準採納，

2005年年內工具開發商將推出SysML 的集成支持環境。

SysML 為系統的結構模型、行為模型、需求模型和參數模型定義了語義。結構模型強調系統的層次以及對象之間的相互連接關係，包括類和裝配。行為模型強調系統中對象的行為，包括它們的活動、交互和狀態歷史。需求模型強調需求之間的追溯關係以及設計對需求的滿足關係。參數模型強調系統或部件的屬性之間的約束關係。SysML 為模型表示法提供了完整的語義。

和 UML 一樣，SysML 語言的結構也是基於四層元模型結構：元-元模型、元模型、模型和用戶對象。元-元模型層具有最高抽象層次，是定義元模型描述語言的模型，為定義元模型的元素和各種機制提供最基本的概念和機制。元模型是元-元模型的實例，定義模型描述語言的模型。元模型提供了表達系統的各種包、模型元素的定義類型、標記值和約束等。模型是元模型的實例，定義特定領域描述語言的模型。用戶對象是模型的實例。任何複雜系統在用戶看來都是相互通信的具體對象，目的是實現複雜系統的功能和性能。

SysML 的圖形表示是SysML 的可視化表示，是用來為系統建模的工具。SysML 定義了九種基本圖形來表示模型的各個方面。從模型的不同描述角度來劃分，這九種基本圖形分成四類：結構圖(Structure Diagram)、參數圖(Parametric Diagram)、需求圖(Requirement Diagram)和行為圖(Behavior Diagram) 。結構圖包括類圖(Class Diagram) 和裝配圖(Assembly Diagram)，行為圖包括活動圖(Activity Diagram)、順序圖(Sequence Diagram)、時間圖(Timing Diagram)、狀態機圖(State Machine Diagram)和用例圖(Use Case Diagram)。