收藏本站
《吉林大学》 2006年
收藏 | 手机打开
二维码
手机客户端打开本文

可执行元模型关键技术研究

兰庆国  
【摘要】:目前软件开发的复杂性、多样性和易变性已经成为软件开发者挥之不去的难题。针对这些问题,国际对象管理组织OMG提出了模型驱动框架MDA。通过对实际问题进行抽象建立相应的模型能够尽可能缓解复杂性的问题,由于模型采用与实现细节无关的中立语言表达,通过模型转换工具实现到具体语言平台的转换可以解决实现技术等多样性的问题。对于系统需求和实现技术等的变化可以通过修改模型和配置相应的模型转换工具重新生成或转换模型,可以解决或缓解易变性的问题。不同的应用和不同的领域需要不同的模型,我们不可能构造同时最适合不同需求的模型。可执行元模型可以用于描述不同的模型,统一不同需求的模型定义。由于目前的模型语言(如UML、MOF)语义的定义还不够精确,所以其相关应用(如模型转换)无法得以精确的描述。本文研究的可执行元模型给了元模型精确的可执行语义,所以由它扩展描述的其它模型也是具有精确语义的可执行模型。可执行的模型能够在应用具体实现前虚拟执行,对应用进行验证、测试、仿真,是进一步转换到具体语言平台的应用的基础。 可执行元模型关键技术研究以OMG的MOF模型为基础,采用语言工程的研究方法进行可执行元模型的关键技术,以及基于可执行元模型提供描述其它可执行模型的基础设施的相关技术的研究。主要研究内容包括:1)模型语言设计模式的研究。2)可执行元模型的抽象语法模型的研究。3)可执行元模型表面语法相关技术研究。4)可执行元模型的语义描述方法和基于操作语义的虚拟执行方法的研究。5)基于可执行元模型的元核语言进行元建模设施的相关技术研究。 本文的研究成果丰富了可执行元模型的理论基础,推动了可执行元模型的应用研究,具有一定的理论意义和实用价值,为元模型可执行的研究和可执行元模型集成开发环境的研制提供了有意义的方法和手段。
【学位授予单位】:吉林大学
【学位级别】:博士
【学位授予年份】:2006
【分类号】:TP311.52

手机知网App
【引证文献】
中国期刊全文数据库 前2条
1 黄毅杰;;可执行UML建模技术研究[J];中国新技术新产品;2011年05期
2 黄毅杰;;可执行UML建模技术研究[J];中国新技术新产品;2011年08期
中国博士学位论文全文数据库 前1条
1 王学斌;软件工程中基于模型驱动架构的模型转换技术研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前8条
1 吴琼飞;基于ADL的ASIP系统级综合方法研究[D];武汉纺织大学;2011年
2 张小可;武器装备体系需求元建模方法研究[D];国防科学技术大学;2011年
3 赵幸亚;基于MDA的统一界面模型建模方法的研究与应用[D];哈尔滨工程大学;2011年
4 秦亭亭;基于模型驱动的电信领域元建模工具的研究与实现[D];吉林大学;2008年
5 吴菲;基于MOF的可执行模型工具的研究与实现[D];吉林大学;2008年
6 刘引;基于MDA的软件建模技术研究[D];重庆大学;2008年
7 洪媛;基于元模型的MDA软件建模技术研究[D];重庆大学;2009年
8 冯甲栋;平台无关模型在企业管理信息系统中的应用研究[D];电子科技大学;2012年
【参考文献】
中国期刊全文数据库 前3条
1 蒋慧,谢希仁,林东;UML状态机的形式语义[J];软件学报;2002年12期
2 张伟,梅宏;一种面向特征的领域模型及其建模过程[J];软件学报;2003年08期
3 胡文蕙,赵文,张世琨,王立福;基于构件技术的应用框架元模型的研究[J];软件学报;2004年01期
中国博士学位论文全文数据库 前1条
1 陈文智;Pcanel——基于模型驱动的嵌入式系统设计平台[D];浙江大学;2005年
中国硕士学位论文全文数据库 前3条
1 杨贤哲;模型驱动架构在J2EE平台上的应用研究[D];武汉大学;2004年
2 秦祖立;基于实时对象建模的嵌入式软件开发研究[D];浙江大学;2005年
3 刘红萍;基于领域通用框架的扩展模型驱动开发模式[D];大连理工大学;2005年
【共引文献】
中国期刊全文数据库 前10条
1 王涛,汪永益,刘克胜;基于J2EE构建安全报警处置系统[J];安徽电子信息职业技术学院学报;2004年Z1期
2 刘鹏;;设计模式在企业信息系统设计中的应用[J];安徽电子信息职业技术学院学报;2012年02期
3 张俐;张维玺;;基于Spring和JDBC的蔬菜运销管理系统在数据持久层的应用[J];安徽农业科学;2012年07期
4 冯敏,郭建文,盖迎春,冉有华;地质钻孔信息形化管理系统框架设计与关键技术研究[J];冰川冻土;2005年02期
5 施勇军;;在JAVA中创建对象[J];办公自动化;2011年12期
6 范昀;方晴;;监控系统中的框架设计思想[J];宝钢技术;2006年04期
7 陈波;徐鲁强;;基于Web的Table框架设计[J];兵工自动化;2006年12期
8 邢江;李浩鹏;;基于Jabber协议的P2P通讯系统[J];兵工自动化;2007年01期
9 杨方燕;杨帆;;基于AJAX构建新型Web应用[J];兵工自动化;2010年03期
10 王克敏,赵增建,安锦姬,徐先良;基于Java的Web应用系统开发框架[J];北京广播学院学报(自然科学版);2005年01期
中国重要会议论文全文数据库 前7条
1 张文君;顾海明;;改进的领域分析方法及数字校园网领域模型[A];中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会论文集(上册)[C];2008年
2 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
3 刘启文;;可扩展的图形学算法演示系统的研究[A];’2004计算机应用技术交流会议论文集[C];2004年
4 李秋香;李超;耿同成;;基于MOF的可执行建模方法研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
5 史小军;;面向对象技术在煤矿电力监控系统数据采集上的应用[A];煤矿自动化与信息化——第19届全国煤矿自动化与信息化学术会议暨中国矿业大学(北京)百年校庆学术会议论文集[C];2009年
6 单玉刚;王宏;闫佼;袁杰;;基于构件的FDT设备管理系统框架研究和设计[A];2009全国虚拟仪器大会论文集(二)[C];2009年
7 徐鹏;黄兴平;龙湘明;;下一代网络业务领域模型及应用[A];中国通信学会通信软件技术委员会2009年学术会议论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 张冰;小组软件过程建模方法及过程定义重用研究[D];哈尔滨工程大学;2009年
2 徐晓冰;光伏跟踪系统智能控制方法的研究[D];合肥工业大学;2010年
3 罗术通;基于方面和特征的需求建模及其应用[D];吉林大学;2011年
4 袁海龙;SSS巡天星表系统设计和光纤分配算法优化[D];中国科学技术大学;2011年
5 赵振南;联合作战信息系统体系结构若干关键技术研究[D];南京理工大学;2010年
6 陈中育;基于场景的系统行为建模和组合研究[D];上海大学;2011年
7 王彬;基于实时语义模型的模型转换及语义一致性研究[D];昆明理工大学;2011年
8 郑虹;DNA计算的若干应用及形式语义[D];吉林大学;2012年
9 叶雷;基于MAS体系的移动GIS集成服务研究[D];华东师范大学;2004年
10 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
中国硕士学位论文全文数据库 前10条
1 禚百田;UML在空调嵌入式系统开发中的应用研究[D];山东科技大学;2010年
2 张静;基于SON微微基站的网络管理系统设计与实现[D];哈尔滨工程大学;2010年
3 罗淦坤;基于CMMB网络的紧急广播信息发布系统的设计和实现[D];安徽农业大学;2010年
4 马冠华;工程量清单计价在水运工程中的应用分析[D];长沙理工大学;2010年
5 田建荣;基于J2EE架构的山东检验检疫电子业务平台运维管理控制系统的研究与建设[D];中国海洋大学;2010年
6 徐斌;基于J2EE的石化运维管理平台的研究与实现[D];江西师范大学;2010年
7 胡霞;面向HR领域的构件技术的研究与应用[D];苏州大学;2010年
8 崔康乐;UML时序图模型到UPPAAL时间自动机模型转换方法研究和工具实现[D];华东师范大学;2011年
9 朱艳;基于UML大型制造业企业MES系统建模[D];华东师范大学;2010年
10 余莉芸;工作流资源供给管理应用系统的研究[D];华南理工大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 凌云,陈毓芬,王英杰;基于用户认知特征的地图可视化系统自适应用户界面研究[J];测绘学报;2005年03期
2 孙国至;魏保华;王会来;付立;;防空导弹雷达抗干扰性能评估研究[J];弹箭与制导学报;2009年05期
3 宋旭东;苗宁;刘晓冰;;基于模型驱动架构的企业信息系统开发框架[J];大连交通大学学报;2010年01期
4 孙宏旭;邢薇;;QVT的模型转换方法的研究[J];智能计算机与应用;2011年04期
5 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
6 麻志毅,蒋严冰,李劲宇,戴耀飞;基于UML的软件建模工具的研制[J];电子学报;2002年S1期
7 蒋严冰,邵维忠,张路,麻志毅;UML中衍型的精确定义与分析[J];电子学报;2003年S1期
8 麻志毅;刘辉;何啸;张乐;吉喆;戈牧;;一个支持模型驱动开发的元建模平台的研制[J];电子学报;2008年04期
9 关辉;;利用XSLT实现XML文档格式的转换[J];福建电脑;2009年03期
10 修胜龙,罗雪山,罗爱民;C~4ISR体系结构的可执行模型生成方法研究[J];湖南工程学院学报(自然科学版);2005年01期
中国重要会议论文全文数据库 前1条
1 张晓宁;李学庆;;一种基于MDA的UIMS实现[A];第四届和谐人机环境联合学术会议论文集[C];2008年
中国博士学位论文全文数据库 前8条
1 李晓;自适应人机交互界面研究[D];西南师范大学;2004年
2 李斓;面向XML文档的访问控制研究[D];中国科学院研究生院(软件研究所);2004年
3 杨君;专用指令集处理器(ASIP)体系结构设计研究[D];中国科学技术大学;2006年
4 余洁;专用指令集处理器可靠性评估技术研究[D];中国科学技术大学;2007年
5 岳虹;嵌入式异构多核处理器设计与实现关键技术研究[D];国防科学技术大学;2006年
6 姜志平;基于CADM的C~4ISR系统体系结构验证方法及关键技术研究[D];国防科学技术大学;2007年
7 姜军;可执行体系结构及DoDAF的可执行化方法研究[D];国防科学技术大学;2008年
8 舒宇;基于能力需求的武器装备体系结构建模方法与应用研究[D];国防科学技术大学;2009年
中国硕士学位论文全文数据库 前10条
1 赵萍;模型驱动系统中模型转换技术的研究[D];哈尔滨工程大学;2010年
2 李蕊;基于博弈的多阶段多属性决策研究[D];云南大学;2011年
3 吴海生;元建模在模型驱动架构中的应用研究[D];华东师范大学;2005年
4 张海英;支持Web应用用户界面自动生成的界面表示模型[D];山东大学;2005年
5 郭小涛;支持Web软件用户界面自动生成的交互模型[D];山东大学;2005年
6 凌华德;基于MDA的代码自动生成技术的研究与实现[D];华东师范大学;2006年
7 田英;模型驱动体系结构研究[D];厦门大学;2006年
8 杜浩;基于OCL的MDA模型转换方法与规则库应用研究[D];大连海事大学;2007年
9 吴帅;UML模型图到B方法形式规约的转换研究与应用[D];江西师范大学;2007年
10 鲁延京;基于能力的武器装备体系需求视图产品研究[D];国防科学技术大学;2006年
【二级引证文献】
中国期刊全文数据库 前5条
1 曾一;孙政;周吉;胡小威;;一种状态图到B规格说明的自动转换方法研究实现[J];计算机工程与应用;2011年35期
2 曾一;周吉;孙政;许林;;支持MDA的设计模式建模与模型转换方法研究[J];计算机工程与应用;2012年01期
3 杨长春;赵子艺;孙婧;;模型驱动构架中基于元模型的设计模式单元的组建和转换[J];计算机应用;2010年09期
4 曾一;周欣;周吉;;基于形式化规格说明的UML状态图提取[J];计算机应用研究;2011年05期
5 曹旻;汪璐;;一种可扩展的业务对象建模框架[J];计算机工程;2013年01期
中国博士学位论文全文数据库 前3条
1 马坤;模型驱动架构下模型及模型转换方法关键问题研究[D];山东大学;2011年
2 卢雷;基于OOCPN的软件可执行模型建模方法的研究[D];山东大学;2011年
3 李勤超;基于本体的地理信息语义转换模型与方法研究[D];解放军信息工程大学;2011年
中国硕士学位论文全文数据库 前10条
1 姜庆阳;基于MDA的区域控制中心系统建模研究[D];中国铁道科学研究院;2010年
2 王咏梅;基于MDA和UML技术的图书馆管理系统的实现[D];安徽大学;2011年
3 李元旦;模型驱动开发在科技计划项目管理领域中的研究与实践[D];杭州电子科技大学;2009年
4 董珊珊;基于MDA的Web-MIS平台研究与实现[D];南京航空航天大学;2010年
5 周欣;多学科虚拟样机工具软件集成技术研究与实现[D];南京航空航天大学;2010年
6 朱宁;基于SMP2的Statecharts建模框架研究[D];国防科学技术大学;2011年
7 潘会佳;需求模型到业务模型的自动映射研究与实现[D];哈尔滨工程大学;2011年
8 李欣;基于.NET平台的MDA模型转换方法研究[D];山东科技大学;2011年
9 秦玲;面向Seam框架的模型驱动方法研究[D];东北师范大学;2011年
10 李添;企业搜索管理技术的研究[D];东北石油大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 陈文智,王总辉;嵌入式实时系统RTLINUX的实现和测试[J];计算机工程与应用;2001年19期
2 李克勤;陈兆良;梅宏;杨芙清;;领域工程概述[J];计算机科学;1999年05期
3 肖芳雄,熊光泽,芦东昕,缪敬;面向对象和模式在嵌入式软件中的应用[J];计算机工程;2003年22期
4 马廷淮,赵亚伟,刘忠;用EJB开发J2EE应用[J];计算机应用;2002年04期
5 陈文智;基于Linux的在线更新服务系统[J];计算机应用研究;2001年03期
6 吕智林,苏德富,郑宇;基于UML的EJB组件建模方法的研究[J];计算机应用研究;2002年02期
7 梅宏;软件复用技术研究与应用[J];科技与经济;2002年S1期
8 孙昌爱,金茂忠,刘超;软件体系结构研究综述[J];软件学报;2002年07期
9 陈文智;嵌入式窗口系统ETOP的设计与实现[J];计算机工程与设计;2001年06期
10 陈振华,毕笃彦,周锐锐;面向对象技术在嵌入式软件设计中的应用[J];现代电子技术;2004年08期
【相似文献】
中国期刊全文数据库 前10条
1 郑义;;模型驱动架构MDA研究[J];福建电脑;2009年04期
2 郭力;胡锐;蔡林峰;;基于ECO模型驱动的工作流实现技术[J];武汉理工大学学报(信息与管理工程版);2009年02期
3 宋旭东;苗宁;刘晓冰;;基于模型驱动架构的企业信息系统开发框架[J];大连交通大学学报;2010年01期
4 韩玉敏;;基于模型的嵌入式软件在汽车电子节气门上的应用[J];黑龙江工程学院学报(自然科学版);2006年04期
5 胡燕;李祥;邓浩;;MDA中的图重写和转换方法研究[J];福建电脑;2007年02期
6 李新强;阳建宏;杨德斌;杨斌;;模型驱动架构在分布式远程状态监测系统中的应用研究[J];机电产品开发与创新;2008年01期
7 李长英;曹宝香;杨成伟;;MDA技术在Web服务开发与集成中的应用[J];计算机技术与发展;2008年05期
8 包艳;;基于XML处理的模型驱动架构[J];微计算机信息;2008年24期
9 冯娟;史浩山;赵宏伟;李实;;基于本体的CIM层模型转换技术研究[J];计算机应用研究;2009年02期
10 宋旭东;王雪萍;刘晓冰;;基于MDA与Web服务的企业应用集成研究[J];计算机工程与科学;2009年08期
中国重要会议论文全文数据库 前9条
1 曹栋;李晓峰;乔秀全;孟洛明;;基于模型驱动架构的语义化电信服务建模方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
2 谌菲;曹万华;黄志刚;;舰载作战指挥系统模型驱动软件开发技术研究[A];中国造船工程学会电子技术学术委员会2006学术年会论文集(上册)[C];2006年
3 侯金奎;万建成;冯仕红;;基于MDA的PIM到J2EE PSM的转换[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
4 董天翔;荣冈;;流程工业生产执行系统的软件基础设施[A];2009中国过程系统工程年会暨中国mes年会论文集[C];2009年
5 赵嶷飞;孟德江;;基于事件驱动的空域数据库建模[A];2008年中国高校通信类院系学术研讨会论文集(上册)[C];2009年
6 陈敏;李晓峰;;下一代网络中融合业务的描述与生成方法研究[A];2006年全国通信软件学术会议论文集[C];2006年
7 冯跃忠;李晓峰;;SIP Servlet平台上一种基于模型驱动架构的业务生成方式[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
8 汪卫星;陈林;林旭东;;构件技术和开源技术在商业软件OSWit中的研究及应用[A];2005年中国机械工程学会年会论文集[C];2005年
9 王学斌;吴泉源;王怀民;史殿习;;应用模型编织解决元数据映射问题[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
中国重要报纸全文数据库 前10条
1 社发处;我市成功开发“医疗信息管理平台系统软件”[N];镇江日报;2010年
2 刘江宁;实现信息孤岛集成[N];中国计算机报;2003年
3 ;金蝶软件最具企业个性化的管理软件[N];计算机世界;2005年
4 易水;计算机专业时文选读[N];计算机世界;2004年
5 ;Compuware升级J2EE开发工具[N];计算机世界;2003年
6 本报记者 徐萍;金蝶EAS有待市场检阅[N];计算机世界;2004年
7 徐少春;企业信息化要适应三大管理理念[N];中国国门时报;2004年
8 程士寅;微软扬鞭奋马IBM联吴伐魏[N];中国电脑教育报;2004年
9 易水;计算机专业时文选读(945)[N];计算机世界;2004年
10 本报记者 潘永花;五线谱谱写整合华彩乐章[N];网络世界;2004年
中国博士学位论文全文数据库 前10条
1 兰庆国;可执行元模型关键技术研究[D];吉林大学;2006年
2 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
3 张天戈;基于模型驱动的面向对象应用程序框架的关键技术研究[D];复旦大学;2009年
4 王晓燕;基于模型驱动架构的软件开发方法与实现技术研究[D];吉林大学;2008年
5 栾静;模型驱动的系统级软硬件协同设计若干关键技术研究[D];华东师范大学;2006年
6 王学斌;软件工程中基于模型驱动架构的模型转换技术研究[D];国防科学技术大学;2006年
7 乔秀全;模型驱动的业务生成方法及业务智能化支撑技术研究[D];北京邮电大学;2007年
8 马坤;模型驱动架构下模型及模型转换方法关键问题研究[D];山东大学;2011年
9 金龙飞;形式化本体工程中若干问题的研究[D];吉林大学;2008年
10 阴艳超;支持产业链协作的产品应用服务建模与系统构建研究[D];西南交通大学;2009年
中国硕士学位论文全文数据库 前10条
1 刘红萍;基于领域通用框架的扩展模型驱动开发模式[D];大连理工大学;2005年
2 孙春芳;模型驱动架构的研究与应用[D];华东师范大学;2005年
3 刘恒;模型驱动架构在HLA仿真系统中的应用研究[D];华中科技大学;2005年
4 满红运;基于模式的模型变换方法[D];天津大学;2005年
5 曹雪祎;基于模型驱动架构的企业应用系统开发[D];对外经济贸易大学;2006年
6 李晓春;模型驱动架构中构件组合的研究与实现[D];吉林大学;2008年
7 李长英;基于模型驱动架构的Web服务开发与集成研究[D];曲阜师范大学;2008年
8 时砚文;国内ERP的应用现状及解决方案研究[D];山东师范大学;2009年
9 王帅;MDA在仿真实验引擎设计中的应用研究[D];东北师范大学;2008年
10 王永平;基于xUML的MDA软件开发方法研究与实践[D];重庆大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026