基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
在模型驱动开发中,模型演化由一系列复杂的变化活动组成,模型的变化可以分为直接施加在模型元素上的增加、删除、更改等基本演化操作以及这些基本演化操作的组合.基于模型驱动体系结构,给出了模型和模型变化的形式化定义.模型的变化以模型差异来描述,在模型差异的基础上,研究了模型的合并、逆和组合运算.
推荐文章
CIM建模及模型形式化方法研究综述
计算无关模型
多视图多层次模型
模型一致性
模型形式化
SIP协议系统模型的形式化研究
形式化规范
SIP协议
SDL
MSC
基于ASM的元模型形式化语义的研究
模型驱动工程
元模型
简单Petri网
抽象状态机
故障注入形式化模型研究
故障注入
容错
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 模型驱动环境下模型演化的形式化研究
来源期刊 计算机科学 学科 工学
关键词 模型驱动体系结构 模型演化 模型差异 元模型
年,卷(期) 2012,(6) 所属期刊栏目 软件工程
研究方向 页码范围 116-119,150
页数 分类号 TP311.5
字数 6244字 语种 中文
DOI 10.3969/j.issn.1002-137X.2012.06.028
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李师贤 中山大学计算机科学系 66 914 13.0 29.0
2 孙为军 中山大学计算机科学系 19 56 4.0 5.0
4 严玉清 中山大学计算机科学系 5 34 4.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (13)
共引文献  (37)
参考文献  (5)
节点文献
引证文献  (9)
同被引文献  (24)
二级引证文献  (17)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
1995(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(3)
  • 参考文献(0)
  • 二级参考文献(3)
2003(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2005(2)
  • 参考文献(1)
  • 二级参考文献(1)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(2)
  • 参考文献(2)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2012(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2013(2)
  • 引证文献(2)
  • 二级引证文献(0)
2014(3)
  • 引证文献(2)
  • 二级引证文献(1)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(4)
  • 引证文献(1)
  • 二级引证文献(3)
2018(8)
  • 引证文献(2)
  • 二级引证文献(6)
2019(5)
  • 引证文献(1)
  • 二级引证文献(4)
2020(3)
  • 引证文献(0)
  • 二级引证文献(3)
研究主题发展历程
节点文献
模型驱动体系结构
模型演化
模型差异
元模型
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机科学
月刊
1002-137X
50-1075/TP
大16开
重庆市渝北区洪湖西路18号
78-68
1974
chi
出版文献量(篇)
18527
总下载数(次)
68
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
广东省自然科学基金
英文译名:Guangdong Natural Science Foundation
官方网址:http://gdsf.gdstc.gov.cn/
项目类型:研究团队
学科类型:
论文1v1指导