您可以捐助,支持我们的公益事业。

1元 10元 50元





认证码:  验证码,看不清楚?请点击刷新验证码 必填



  求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center   Code  
会员   
   
 
     
   
 订阅
  捐助
基于EA的模型验证
 
译者:火龙果Anna
  948  次浏览      50 次
 2021-7-21 
 
编辑推荐:

在本文中主要介绍了什么是模型验证?怎么配置模型验证,如何运行验证?以及基于EA的模型验证示例。
来自于sparx官网,由火龙果软件Anna译、推荐。

什么是模型验证?

模型验证-根据已知的UML规则(在配置验证时识别)以及使用对象约束语言(Objectconstraint Language,OCL)在模型中定义的任何约束检查UML模型。可以对单个UML元素、图表或整个包进行模型验证。

您可以使用包含自定义的Add - in或MDG Technology(如BPMN)添加到系统提供的验证规则。

怎么配置模型验证

在执行模型验证之前,请启用或禁用模型验证器应用的规则。您可以从除Enterprise Architect之外能安装的任何其他附加组件中定义其他规则。

如下是具体的操作步骤:

在EA菜单中选择Design > Model > Manage > Validate > Configure Validation Rules,在“Model Validation Configuration”对话框中,每个验证规则可以应用于执行模型验证,选定验证规则设置确定就可以应用的这些验证规则了。

如何运行验证?

配置要执行的验证并设置要应用的验证规则后,可以对从浏览器窗口或关系图中选择的对象执行验证。

在EA菜单中选择Design > Model > Manage > Validate > Validate Current Package,这样就可以对包进行验证了。

接下来就是验证执行时,它会显示一个进度窗口,验证完成后,结果将显示“System Output”窗口,通过双击System Output窗口中的错误行,这样就可以突出显示所指的错误元素了。

基于EA的模型验证示例

验证对象

验证uml,主要考虑有如下几点:

  • 元素验证:主要验证元素及子元素、特性(属性、方法)及其关系(连接)
  • 图验证:图本身的正确性以及图中的所有元素及连接关系
  • 包验证:包以及所有的子包、元素、连接关系和图

示例 - 模型违规

如下 图所示, UML 图包含了一些对 UML 规则的基本违反:

如果在这个图上运行模型验证,这些违规将在系统输出窗口中被识别:

1.UML ExpansionRegion (ExpansionRegion1)缺少它的子输入ExpansionNode
2.Class2 上存在无效的自泛化(UML 元素不能自泛化)
3.在 Class2 和 Object1 之间存在 OCL 违规
4.UML ExceptionHandler (ExceptionHandler1) 缺少其子输入 ObjectNode

火龙果软件提供团队协同建模环境的咨询服务,可以帮助用户搭建完整的团队建模和MBSE解决方案,详细信息请见 http://tool.uml.com.cn/ToolsEA/service.asp

希望本文对您的建模工作有帮助。更多的有关EA建模资料如下:

  • 视频:http://tool.uml.com.cn/ToolsEA/jswd-ysm.asp?partname=sp
  • 文章: http://tool.uml.com.cn/ToolsEA/docea.asp?partname=wk
  • 如果您希望了解更多信息:

    • 欢迎访问建模者频道 http://modeler.org.cn/
    • 也欢迎直接联系我们 zhgx@uml.net.cn ,010-62670969

    本文使用的建模工具为EA,可以下载试用版http://tool.uml.com.cn/ToolsEA/download.asp

     

    后记

    希望您读了此文后有所受益。

    如果您有经验乐于分享,欢迎投稿给我们。

    如果您对我们的培训、咨询和工具感兴趣:

    课程:
  • 基于UML和EA进行分析设计
  • MBSE(基于模型的系统工程)  
  • 基于模型的需求管理)方法与实践
  • 基于SysML和EA进行系统设计与建模  
  • 企业架构建模
  • 系统架构建模方法与案例
  • 领域驱动的建模与设计
  • 基于模型的设计
  • 业务建模与业务分析
  • 基于模型的设计

  • MBSE工具链 :
  • 建模工具:EA
  • MBSE平台:iSpace
  • 模型共享:WebEA
  • 文档生成:DocGenerator
  • 模型仿真:Simulator
  • 质量管理:inspector

  • 咨询方案:
  • MBSE(基于模型的系统工程)
  • 基于UML的模型驱动的开发
  • 基于Sys ML进行系统分析设计
  • 基于模型进行系统分析设计
  • 欢迎联系我们: 俎涛 Zutao@uml.net.cn

       
    948 次浏览       50
     
    相关文章

    基于模型的Code执行分析(使用EA)
    AUTOSAR 建模和ARXML文件生成(基于EA)
    基于工程数据的研发管理
    基于EA建立DMN模型
     
    相关文档

    UML统一建模语言参考手册
    网上商城UML图
    UML建模示例:JPetStor
    UML序列图编写规范
     
    相关课程

    UML与面向对象分析设计
    UML + 嵌入式系统分析设计
    业务建模与业务分析
    基于UML和EA进行系统分析设计

    最新活动计划
    配置管理方法、实践与应用 10-11[北京]
    持续集成测试与最佳实践 10-23[北京]
    嵌入式软件架构设计与实例 10-25[北京]
    嵌入式linux内核、驱动开发、性能优化 10-28[北京]
    高可用架构设计与实践 10-29[北京]
    C#高级开发技术 11-8[北京]
     
    最新文章
    iPerson的过程观:要 过程 or 结果
    “以人为本”的工程哲学
    企业架构、TOGAF与ArchiMate概览
    UML 图解:顺序图( sequence diagram )
    UML 图解:对象图( class diagram )
    最新课程
    基于UML和EA进行系统分析设计
    UML+EA+面向对象分析设计
    基于SysML和EA进行系统设计与建模
    UML + 嵌入式系统分析设计
    领域驱动的建模与设计
    更多...   
    成功案例
    某电信运营供应商 应用UML进行面向对象分析
    烽火通信 UML进行面向对象的分析设计
    西门子 UML与嵌入式软件分析设计
    航天科工某子公司 从系统到软件的分析、设计
    深圳某汽车企业 模型驱动的分析设计
    更多...