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的重要组成部分,选择一个满足项目建模需求的工具至关重要。下一小节将介绍最后一个新概念——合规