您的位置： 专家智库 > >

李盼

作品数：2 被引量：4H指数：1
供职机构：同济大学电子与信息工程学院更多>>
发文基金：国家自然科学基金铁道部科技基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化语义
  • 1篇元模型
  • 1篇状态机
  • 1篇ASM
  • 1篇抽象状态机

机构

  • 1篇同济大学

作者

  • 1篇万勇兵
  • 1篇李智伟
  • 1篇李盼
  • 1篇徐中伟

传媒

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

年份

  • 1篇2012
共 2 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于ASM的元模型形式化语义的研究被引量：4
2012年
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析与验证,并以简单Petri网为例,说明该方法可以有效地支持模型转换和代码生成。
李智伟徐中伟万勇兵李盼
关键词：元模型抽象状态机
全选 清除 导出
共1页<1>
聚类工具0