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

1元 10元 50元





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



  求知 文章 文库 Lib 视频 iPerson 课程 认证 咨询 工具 讲座 Model Center   Code  
会员   
   
 
     
   
 
 订阅
基于EA的模型验证
 
译者:火龙果Anna
  3341  次浏览      16 次
 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

       
    3341 次浏览       16
     
    相关文章

    用户手册:EA Helper
    自然语言自动化生成图
    使用iSpace进行多人协作建模
    基于模型的软件复用(MBSR)
     
    相关文档

    AUTOSAR_TR_BSW UML模型建模指南
    UML时间图建模(基于EA)
    UML 模型框架(基于EA)
    UML序列图编写规范
     
    相关课程

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

    最新活动计划
    MBSE(基于模型的系统工程)4-18[北京]
    自然语言处理(NLP) 4-25[北京]
    基于 UML 和EA进行分析设计 4-29[北京]
    以用户为中心的软件界面设计 5-16[北京]
    DoDAF规范、模型与实例 5-23[北京]
    信息架构建模(基于UML+EA)5-29[北京]
     
     
    最新文章
    在EA中内嵌文档- Artifact
    EA中模型视图
    EA中的实体关系图
    使用EA进行风险建模
    EA中的项目词汇表
    EA的模型导出或导入csv文件
    自定义表格(Custom Table)在EA中的使用
    Gap Analysis Matrix(差距分析矩阵)
    更多...   
    MBSE工具
    MBSE平台
    建模工具 EA
    模型库-Model Center
    需求管理-ReqManager
    自动建模-Modeler
    多级仿真-Sys Simulator
    代码工程-Code Engineer
    文档生成器-DocGenerator
    更多...   
    成功案例
    广汽研究院 SysML+EA+软件分析设计
    高合汽车研发部门 建模工具EA、WebEA、学习视频
    国汽智联 建模工具EA、模型库、WebEA和iSpace
    亿咖通 MBSE工程体系与工具链咨询
    中航无人机 MBSE工具链
    吉利汽车 购买EA工具
    华科汽车零部件 购买EA工具
    东风岚图汽车 购买EA工具 以及EA定制开发
    更多...