虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > UML顺序图与状态图的一致性检查

UML顺序图与状态图的一致性检查

  • 资源大小:213 K
  • 上传时间: 2024-02-12
  • 上传用户:joshau007
  • 资源积分:2 下载积分
  • 标      签: 顺序 状态图

资 源 简 介

用户可使用UML从不同角度对系统进行建模,但不同视图间存在信息冗余,可能导致视图不一致问题。该文针对具有多种逻辑语义的顺序图提出分析方法,为复杂层次结构的状态图引入有限状态自动机,利用自动机分解算法得

相 关 资 源