您的位置： 专家智库 > >

尹敏

作品数：1 被引量：0H指数：0
供职机构：华东师范大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇元模型
  • 1篇子图
  • 1篇UML
  • 1篇COQ

机构

  • 1篇华东师范大学

作者

  • 1篇窦亮
  • 1篇杨宗源
  • 1篇李超
  • 1篇尹敏

传媒

  • 1篇计算机应用与...

年份

  • 1篇2016
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
元模型层次的UML动态子图到Coq形式规范的转换
2016年
UML动态子图主要包括序列图和状态图等,它们在描述系统的行为方面应用广泛,但是半形式化的语义使它们不能直接进行形式化验证。Coq是目前主流的交互式定理证明器,用形式化的Coq规范来描述UML动态子图模型,可以在此基础上进行对模型的属性进行验证等工作。基于现有工作,提出将UML动态子图模型转换为Coq形式规范的框架,在元模型层次给出状态图和序列图的转换规则,介绍算法和原型工具实现。这种元模型层次的转换方法,保证了转换前后的语法正确性,为进一步分析验证提供了基础。
窦亮尹敏李超杨宗源
关键词：元模型
全选 清除 导出
共1页<1>
聚类工具0