您的位置： 专家智库 > >

国家重点基础研究发展计划(24CB719400)

作品数：1 被引量：10H指数：1
相关作者：张频罗贵明更多>>
相关机构：清华大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇建模语言
  • 1篇PROMEL...
  • 1篇UML

机构

  • 1篇清华大学

作者

  • 1篇罗贵明
  • 1篇张频

传媒

  • 1篇计算机应用

年份

  • 1篇2007
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
UML模型检测方法的研究被引量：10
2007年
统一建模语言(UML)是设计和分析软件系统最常用的方法,如何保证UML模型满足某些特性是一个非常重要的问题,而模型检测是一种能够有效提高系统可靠性的自动化技术。研究了使用简单进程元语言解释器(SPIN)对UML模型进行检测的方法。首先对UML模型进行形式化描述,使用层次自动机来描述状态图,然后根据层次自动机的操作语义将状态图和类图的部分信息转化为SPIN的输入语言PROMELA,使用SPIN来验证模型是否满足给定的线性时序逻辑所描述的系统约束,通过LTL公式描述顺序图的方式来验证与状态图之间的一致性问题。项目组基于此方法还开发了一套模型检测工具UMLChecker。
张频罗贵明
关键词：统一建模语言PROMELA
全选 清除 导出
共1页<1>
聚类工具0