1、什么是Sys’mL
对象管理组织OMG 决定在对UML2.0 的子集进行重用和扩展的基础上,提出一种新的系统建模语言——SysML(Systems Modeling Language),作为系统工程的标准建模语言。
作为一种通用的图形建模语言,SysML用于指定、分析、设计和验证可能包括硬件、软件、信息、人员、程序和设施的复杂系统。特别是为其具用于建模的图形化表示,用于系统需求、行为、结构、约束的语义规定,用于去其他工程分析模型相集成。
和UML 用来统一软件工程中使用的建模语言一样,SysML 的目的是统一系统工程中使用的建模语言。它是UML2的一个子集,扩展需要满足 UML for SystemsEngineering RFP的要求。
2003 年3 月,OMG公布了UML for SE RFP[5](UML for Systems Engineering Request for Proposal),5 月召开了首次会议,并成立了由用户、开发商和政府机构组成的支持SysML 的非正式组织。
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[6]版。SysML0.9 版是一个重要的里程碑,确定了核心的系统工程图形。预计SysML1.0正式版将在2005 年的第二季度被OMG 作为标准采纳,
2007年9月发布了1.0版本;
最新的版本是2019年12月份发布的Sysml 1.6。
SysML建模工具
如果我们决定使用SysML作为MBSE的通用规范语言,那么我们就需要选择一款实用的建模工具或者绘图工具。
选择建模工具我们应该考虑以下基本要点:
- 执行语法和语义零好的规则;
- 支持大规模模型管理和团队建模;
- 支持双向需求可追溯性;
- 支持模拟活动和参数图。
目前国际上流程的SysML建模工具大体有(排名不分先后):
- MagicDraw:法国达索公司,严格执行语法和预计的SysML良好规则,可与需求管理工具(如DOOERS)和仿真工具(MATLAB/Simulink)集成;缺点是复杂的操作界面,特征性、活动图不能完全嵌套,序列图不能完全理解接口和信号的语义。
- Rational Rhapsody:IBM公司,具备UML/SysML状态机图标语法和语义的强大支持,对序列图和活动图的支持相对较弱。操作界面不够直观,提供插件也可以与需求管理工具(如DOOERS)和仿真工具(MATLAB/Simulink)集成
- Trufun SysML:楚凡科技(国产自主化),具备UML2.5和SysML1.6最新规范,支持最新规范的语法和语义表达,支持活动图、序列图、状态机图的动态仿真,可以与需求管理工具(如DOOERS、Trufun Bacon需求管理工具)和仿真工具(MATLAB/Simulink)集成,具备高度自定义机制,可以从元模型进行定制扩展。公司较小,只专注于建模系列工具的单一研发。
- Enterprise Architect:符合SysML标准,支持动态行为(活动图、状态机图、序列图)的模拟,目前支持标准不是最新规范。
- Papyrus SysML:免费开源建模工具,支持SysML规范不全而且成熟度有限,还达不到商业工具的要求。