这是《SysML精粹》的读书笔记，记录SysML语言学习及自己的思考。
MBSE:
MBSE（基于模型的系统工程）是一种应用建模方法的正式方式，支持系统需求、设计、分析、验证和确认活动，这些活动从概念设计阶段开始，贯穿整个设计开发过程及后续的生命周期阶段。（INCOSE，《Systems Engineering Vision 2020》）
MBSE三大支柱:
实践MBSE的三大支柱：建模语言，建模方法，建模工具。
建模语言：
建模语言定义语法，决定特定模型的形式是否良好的一系列规则。规则本身不会制定如何建模及建模方法。
MBSE最常用的是系统建模语言SysML。此外还有如SysML一样，图形建模语言（UML、UPDM、BPMN、MARTE、SoaML、IDEFx等），文本建模语言（Verilog、Modelica等）
建模方法：
建模方法类似路线图，它是创建系统模型要执行的一系列设计任务的文档。
建模之前，首先要明确为什么要建模？
明确建模目的：
- 创建的模型是否只作为所有设计决定的权威中心记录？central record of authority
- 是否需要从模型自动生成文本产出物，用于评审和批准？review and approval
- 模型管理需求的可跟踪性，并执行下游影响分析？
- 使用模型来执行另一种配置的优劣势研究？trade studies of alternative configurations
- 系统模型会与专门的公式计算工具和仿真工具整合，以执行模型吗？equation-solving tools and simulation tools to execute the model directly
- 模型本身会是下游设计和开发团队——像软件、硬件、可靠性/可用性/性能分析——的输入吗？
- 模型会包含在开发后验证系统程序集的整合测试及接受性测试的案例吗？
系统模型的范围：
- 系统的外部环境有多少需要建模？
- 系统的哪些部分需要建模？
- 哪些行为需要建模？
- 需要以多么深入的程度分析内部结构和行为？
- 在模型中需要有哪些细节？
- 哪些细节可以忽略？
MagicGrid方法论：
其它建模方法及参考文献：
- Method: INCOSE Object-Oriented Systems Engineering Method (OOSEM)
- Reference: Friedenthal, Sanford, et al., A Practical Guide to SysML, Second Edition: The Systems Modeling Language (Boston: MK/OMG Press, 2011)
- Method: Weilkiens System Modeling (SYSMOD) method
- Reference: Weilkiens, Tim, Systems Engineering with SysML/UML: Modeling, Analysis, Design (Boston: MK/OMG Press, 2008)
- Method: IBM Telelogic Harmony-SE
- Reference: Hoffmann, Hans-Peter, “Harmony-SE/SysML Deskbook: Model-Based Systems Engineering with Rhapsody,” Rev. 1.51, Telelogic/I-Logix white paper (Telelogic AB, May 2006)
建模工具：
商业软件：
- Agilian (vendor: Visual Paradigm)
- Artisan Studio (vendor: Atego)
- Enterprise Architect (vendor: Sparx Systems)
- Cameo Systems Modeler (vendor: No Magic)
- Rhapsody (vendor: IBM Rational)
- UModel (vendor: Altova)
免费建模工具：The following are free modeling tools, offered with an Eclipse Public License (EPL) or General Public License (GPL):
- Modelio (creator: Modeliosoft)
- Papyrus (creator: Atos Origin)
参考资料链接：