技术先进性与可靠性 目前在 MBSE 和体系建模领域两个代表性的厂商是 No Magic 和 IBM，两个公司都提供完整 的 MBSE 和体系建模解决方案，但两者的区别也比较明显，具体参照下表： 表 IBM 产品和 No Magic 产品对比： 对比内容 MagicDraw Rhapsody UML 2 Metamodel（UM2 元模 型） 支持 UML2.4 支持 UML2.0 1.4 SysML SysML1.4） Compliance 支持 Support SysML 1.4 9 diagrams （SysML 1.4 9 类图） 支持 SysML Parametrics （SysML 参 数图） 支持 Support 2 (DoDAF/MODAF)（UPDM2） UPDM 支持 支持 支持 支持 支持 支持 支持 支持 不支持 不支持 不支持 Support UPDM 3 (UAF) OMG fUML Compliance （fUML 支持） SCXML Support （SCXML 支 持） Action Language （动作语言） BPMN (业务过程建模符号) 支 持 DoDAF 支持 JSR223*（PHP、Ruby、JavaScript、Python、Rhino、 Jacl、Jython、BeanShell、Jruby ） C++ 支持,使用导出到 BPEL。完整的 BPMN 2.0 支持使 用三种类型图，并报告可使用在 Cameo Business Modeler plugin 中，BPMN 与 UPDM 兼容性建模: UPDM 插件与 Cameo Business Modeler plugin 组合 提供功能来理解内部业务和过程。业务过程图可以 被使用来建模和分析 OV-5, OV-6c, SV-4, SV-10c, SvcV-4,和 SvcV-10c 视图, 追溯过程到系统、功能 和服务。 支持，所有 DoDAF 2 视点, 视图和元模型支持增 强通过附加的特征:   DoDAF 2.0 架构个 DoDAF 1.5 架构用户接 口模型 DoDAF 2.0 和 DoDAF 1.5 项目模板使用预 先定义的结构  主动和按需 DoDAF 模型的完整性和正确性 的验证规则。 不支持 支持，有两种可用的方式进行 DoDAF 建模: 非标准的基于 DoDAF 配置文件。所有 DoDAF 1.5 版 视图和视点支持增强使用附加特征:   DoDAF 项目 DoDAF 项目模板生成 1 

UJTL 库 DISR 库 Joint Conditions 库     MIL STD 2525b 简单易用战术符号应用于任 何 UPDM 元素。 图形化的 DOTMLPF 状态报告 DoDAF 预先定义的追溯准则 MODAF 支持 支持。所有 MODAF 1.2 视点,视图和元模型支 持使用附加的特征:  生成 DoDAF 报告.  矩阵生成基于视图来自存在的数据图: OV-3, SV-3, SV-5, SV-6, SV-7.  项目模板结构生成。 支持。有两种可用方式：  MODAF 框架用户接口模型  MODAF 项目模板使用预定定义的视点和 视图结构   主动和按需 MODAF 模型的完整性和正确性 的验证规则。 图形化的 DLOD 状态支持  MODAF 预先定义的追溯准则  MODAF 配置文件基于 MODAF 实施。 所有 MODAF 1.2 视点和视图支持。 UPDM 基于 MODAF 实施。所有 DoDAF 2.0 视点和视图被支持 UPDM 支持 支持，所有 UPDM 视点、视图和元模型支持对应 DoDAF, MODAF 和 NAF 建模增强使用一组 AF 通 用特征:  6 种不同模型表示形式：结构图、行为图、表 格、矩阵、甘特图和报告。  自动操作交换和资源交互生成。  BPMN 2.0 支 持 对 应 OV-5, OV-6c, SV-4, SV-10c, SvcV-4 和 SvcV-10c 输出。仅可用 于 Cameo Business Modeler plugin OV 和 SV 之间的差距分析矩阵.   自动模型实例的自动测量  项目对应的模型驱动甘特图和 项目组合管 理能力 ISO8601 (Date/Time) 编辑器   信息工程符号支持对应信息和数据建模。仅 可用于 Cameo Data Modeler 插件 支持所有 UPDM 视点、视图和元模型支持:  图、矩阵、表格、报告和客户(导入外介 质)模型表示形式、  导入数据从 excel 和 csv 文件。  报告生成  允 许 存 储 外 部 文 件 诸 如 xls, doc, pdf, html, ppt, frm。  在模型内部。添加的文件可以很容易打 开，文件内容不是一个追溯的主题,或重 用在模型中。多种方式通过诸如 SV-9, TV-1, TV-2 和其它被执行以这种方式 (非标准的配置文件仅基于 DoDAF 项 目)。 图像导出 支持 JPEG, SVG, EPS, EMF, WMF, PNG, TIFF 格 式，对于 TI 格式可以客户化： 不支持 TIFF 格式与所需的颜色空间压缩，没有痛苦的压 缩损失出口。 TIFF 是由图像处理的广泛支持，出版和许多其他 应用程序。图像尺寸。 更高分辨率的图像，可以产生不失去质量适合出 版。自定义导出图片质量（分辨率）通过指定 DPI 属性。 Eclipse 3.x JDT, IDE 或 Workbench (MagicDraw 作 为 一 个 插 件 在 Eclipse 环 境 中 ) RAD 7.0 (IBM Rational Application Developer) Netbeans 6.x 或后 续的 Sun Java Studio 企业版 8 JBuilder 8.0, 9.0, X, 2005, 2006, 2007 IntelliJ IDEA 4.x 或后续集成与 CodeGear JBuilder 8.0, 9.0, X, 2005, 2006, 2007, 2008 WindRiver Systems, Keil, Green Hills, Altium, Eclipse CDT, Eclipse JDT Debugger. MS Visual Studio. 2 IDE 集成 

Process Guidance（过程指导） 方法学向导-自动化建模任务。它引导用户通过模 不支持 型创建过程中，根据一组方法。发动机由基于步骤 可定制模型（获取数据、相关事项，参照其他巫师 或解压功能），可以适应所需的工作流程。支持 SPEM2.0，工程元模型插件支持专用的软件过程建 模的标准软件过程。通过超链接的功能调用。 Java, Velocity。脚本引擎支持 BeanShell, JRuby, JavaScript, Groovy, or Jython 脚本语言 Java 支持，提供的验证规则，并派生的属性，客户基础 VBA 宏和 COM API. 的验证规则或 java 或 OCL 衍生财产和求解器可以 很容易地创建。 Scripting OPEN API Support plugin development 支持，提供的验证规则，并派生的属性，客户基础 支持，第三方插件相对少 的验证规则或 java 或 OCL 衍生财产和求解器可以 很容易地创建。 大量的第三方和免费插件 DB dialect support Oracle 11g, Cloudscape, MySQL, standard SQL, DB2, Pointbase, MS SQL Server, Sybase, Pervasive SQL, PostgreSQL, Microsoft Access 不支持 Domain Specific Language（领域 特定语言) 域特定语言定制引擎可以让你适应你的特定领域 可以创建自定义属性。隐藏的现有标签。并进 MagicDraw UML 轮廓和建模领域，从而使多个图 行图标分配。 形用户界面的定制模型的初始化，添加语义规则， 并创建自己的规范对话框和智能机器人。使用多个 特定的自定义能力有助于使 MagicDraw 更多面向 特定平台、技术或领域，甚至可以完全隐藏 UML。 主动验证允许实时检查特定领域的模型，并建议帮 助/解决方案。DSL 的元素可以被转换为任何类型 或更多使用“转换”功能的通用型。DSL 允许自定 义导出属性来创建允许您扩展 UML 元模型或其轮 廓。所有的 dsl'ed 元素可以被使用一个通用的编码 机制。 配置文件的显式支持。将模型分割成模块，并轻松 创建自己的配置文件和共享模块的能力。每一个项 目都可以在其他项目中使用该项目作为模块的共 享包，这可能是可见的。公司可以有自定义的图， 他们可以很容易地创建并添加到或解压。 这使方便使用的配置文件元素。 配置文件生成不是标准的机制。 不支持自定义图定义。 cameomda 是 MagicDraw 插件，提供运行一个开源 的 MDA 工具 openarchitectureware 用户界面（oAW） 直接在 MagicDraw 工作流中集成：OptimalJ, IO ArcStyler, AndroMDA, openArchitectureWare, JeeWiz, Insitech XTT, Mia-Studio, Blue Age, E2E 不支持 3 UML extensibility（UML 可扩展 性） MDA tools 支持 

Bridge OCL 支持 OCL2.0 使用表达式语法，检查约束评估，及对策 不支持 建议。预定义的完整性、正确性和特定领域的约束 都是内置的，具有自定义和自定义创建支持。验证 是基于需求和主动的即时检查模型。 4