李盼

作品数：2被引量：4H指数：1
导出分析报告
供职机构：同济大学电子与信息工程学院更多>>
发文主题：抽象状态机ASM形式化语义元模型SOA架构更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《科协论坛（下半月）》《计算机应用研究》更多>>
所获基金：国家自然科学基金铁道部科技基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于ASM的元模型形式化语义的研究被引量：4
《计算机应用研究》2012年第1期161-164,共4页李智伟 徐中伟 万勇兵 李盼 
国家自然科学基金资助项目(61075002);铁道部科技重点资助项目(2009X002-A)
提出一种在模型驱动开发过程中的形式化语义描述方法。该方法利用元建模技术,形式化地描述了元模型及其语义间的映射关系,以提供精确的语义描述,从而为模型驱动开发提供有力的支持。将描述框架用于模型转换规则的定义以及元模型的分析...
关键词：模型驱动工程 元模型 简单Petri网 抽象状态机 
SOA架构下补偿模型驱动的安全苛求软件开发
《科协论坛（下半月）》2012年第1期57-58,共2页李盼 徐中伟 喻刚 李智伟 
随着我国高速铁路的快速发展,传统的计算机联锁软件开发方法在灵活性、可维护性、安全性以及开发效率上都显露出不足。针对安全苛求的特点,提出了一个完整的服务组件开发模型,该模型基于SOA(Service Oriented Architecture)思想,并成功...
关键词：面向服务架构 服务组件架构 安全苛求软件 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部