收藏本站
《复旦大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于模型驱动的面向对象应用程序框架的关键技术研究

张天戈  
【摘要】: 学术界从上个世纪90年代起就对面向对象的应用程序框架(以下简称为应用程序框架)就开始进行深入的理论研究,并在应用程序框架的特点、模型、工具及其与其它技术的关系等方面取得了大量的研究成果。目前,应用程序框架技术已经在软件开发的实践中得到了广泛的应用。由于该技术能够显著地改善软件的开发效率,越来越成为软件开发过程中不可缺少的工具。 然而在实践中,应用程序框架的设计、开发和实例化依然是件颇有挑战性的任务,这在很大程度上阻碍了应用程序框架的进一步普及。导致该状况的原因首先是缺少成熟的应用程序框架的形式化或者半形式化的模型。尽管有不少这方面的研究,但是它们依然没有成为开发人员设计应用程序框架的主要依据。其次,缺乏方法的指导是应用程序框架面临的另一个问题,在模型提供了对应用程序框架的认识的基础上,还需要有相应的方法或者步骤用来指导应用程序框架的设计、开发和实例化的过程。 本文重点对上述问题展开针对性的研究,将模型驱动架构(MDA,ModelDriven Architecture)中比较成熟的方法、标准和工具引入到对应用程序框架的研究中,为应用程序框架建立了基于MDA的元模型,并在此基础上,建立了基于Z语言的形式化的元模型,提出了以框架特征视图为中心的应用程序框架的开发方法。所开展的工作和成果主要体现在以下四个方面: 提出了基于MDA的应用程序框架元模型。运用模型驱动架构的相关标准,定义了应用程序框架及其实例化元模型,并定义了框架约束语言,使得模型能够更为精确地描述应用程序框架。与其它的应用程序框架模型相比,本模型以框架特征为核心,而不是基于诸如热点、角色或者设计模式这些相对低层次的概念,提高了模型的抽象层次和复用层次,便于设计和开发人员对应用程序框架的把握和理解。 提出了基于Z语言的应用程序框架形式化模型。尽管基于MDA的模型可以通过约束语言进行模型的验证,但若要进一步提高开发的效率,使模型能够支持推理,就需要形式化的支持。本文使用Z语言对所提出的基于MDA的应用程序框架元模型中的关键概念进行了形式化的描述。使用该形式化模型可以精确地定义应用程序框架中的基本概念,比如特征、角色、和设计模式等。其形式化的特征使得它可以用来验证应用程序框架实例的正确性和完整性,同时该模型中定义的约束条件亦便于推导出应用程序框架实例中的变量的取值,从而简化实例化的工作量,提高实例化的准确性。 提出了以框架特征视图为中心的应用程序框架构造方法。针对所提出的以框架特征为核心的应用程序框架元模型,本文给出了一组用于完整描述应用程序框架的视图,并重点描述了构造该组框架特征视图时的注意事项和具体方法,同时通过实例说明了以框架特征视图为中心的应用程序框架的设计方法的具体过程。 实现了一个可视化建模环境的原型系统通过一个基于Eclipse ModelingFramework(EMF)和Graphic Modeling Framework(GMF)的可视化建模环境的原型系统的实现,说明了在本文所提出的基于MDA的应用程序框架元模型的基础上,运用MDA的相关工具集解决应用程序框架领域中问题的潜力。
【学位授予单位】:复旦大学
【学位级别】:博士
【学位授予年份】:2009
【分类号】:TP311.52

手机知网App
【引证文献】
中国博士学位论文全文数据库 前1条
1 李圣文;面向空间信息的Web协同关键技术研究[D];中国地质大学;2010年
中国硕士学位论文全文数据库 前4条
1 胡斌;海量空间数据可视化引擎的研究与实现[D];北京航空航天大学;2010年
2 赵玉辉;嵌入式软件综合测试平台技术研究[D];电子科技大学;2010年
3 蒋瑞虔;流动人口统筹管理信息系统的设计与实现[D];河北师范大学;2013年
4 袁淼;俄罗斯奥斯泊矿碧玉的宝石矿物学及颜色影响因素研究[D];中国地质大学(北京);2013年
【参考文献】
中国期刊全文数据库 前3条
1 林炜,夏宽理;基于MDA的模型转换方法研究[J];计算机工程与应用;2005年02期
2 史耀馨;崔萌;李宣东;郑国梁;;基于J2EE平台的MDA模型转换技术[J];计算机科学;2003年10期
3 梁正平,毋国庆,肖敬,喻超,胡红雷;基于模型驱动的软件体系结构[J];计算机应用研究;2002年11期
中国硕士学位论文全文数据库 前1条
1 许晓立;MDA框架及模型转换内涵的研究[D];南京航空航天大学;2007年
【共引文献】
中国期刊全文数据库 前10条
1 秦怀斌;郭理;梁斌;戴建国;;基于MDA的兵团空间信息系统模型研究[J];安徽师范大学学报(自然科学版);2010年03期
2 章亮,刘斌,陆民燕;嵌入式软件测试开发环境的框架设计[J];北京航空航天大学学报;2005年03期
3 袁爱香;;基于MDA的网上购物系统代码自动生成开发研究[J];北京联合大学学报(自然科学版);2008年01期
4 冯跃忠;李晓峰;;基于规则库的电信业务UML活动图验证机制[J];北京邮电大学学报;2008年02期
5 刘洁;柏彦奇;张楠;;RTI在基于MDA仿真中的应用[J];吉林大学学报(信息科学版);2009年03期
6 单东方;潘瑜春;周艳兵;;MDA在农业GIS应用系统构建中的应用研究[J];地理信息世界;2011年04期
7 牛松森;李明楚;刘丽杰;;MDA和UML的比较研究[J];重庆交通学院学报;2006年05期
8 郎登何;王成良;;运用“信息系统三大能力”框架对“教学管理信息系统”进行分析设计[J];重庆职业技术学院学报;2008年04期
9 经春秋;黎加厚;;教学系统化设计语义模型的建构[J];电化教育研究;2006年04期
10 孙宏旭;邢薇;;QVT的模型转换方法的研究[J];智能计算机与应用;2011年04期
中国重要会议论文全文数据库 前1条
1 张媛媛;高琴;;模型驱动体系综述[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
中国博士学位论文全文数据库 前10条
1 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年
2 祁凯;面向制造业ERP的企业建模研究[D];哈尔滨理工大学;2011年
3 涂钰青;基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究[D];华南理工大学;2011年
4 吴明晖;面向服务的语义模型驱动企业应用软件开发方法及关键技术研究[D];浙江大学;2011年
5 栾静;模型驱动的系统级软硬件协同设计若干关键技术研究[D];华东师范大学;2006年
6 李响烁;PLM开发实施进程与集成产品元模型研究[D];浙江大学;2007年
7 宋柱梅;基于模型集成运算的嵌入式装备控制系统开发方法的研究[D];华南理工大学;2007年
8 周东祥;多层次仿真模型组合理论与集成方法研究[D];国防科学技术大学;2007年
9 龚建兴;基于BOM的可扩展仿真系统框架研究[D];国防科学技术大学;2007年
10 王晓燕;基于模型驱动架构的软件开发方法与实现技术研究[D];吉林大学;2008年
中国硕士学位论文全文数据库 前10条
1 赵萍;模型驱动系统中模型转换技术的研究[D];哈尔滨工程大学;2010年
2 张红杨;面向异构目标平台的MDA研究与实现[D];哈尔滨工程大学;2010年
3 陈月娟;基于面向方面机制的模型驱动架构研究[D];河北工程大学;2010年
4 李博洋;基于模型驱动体系结构的协同项目管理系统研究与开发[D];哈尔滨理工大学;2010年
5 李莹莹;多方协同应用中基于WS-Security的安全策略配置工具研究与实现[D];华东理工大学;2011年
6 刘磊;在MDA中基于元模型的模型转换方法研究[D];昆明理工大学;2010年
7 朱恒亮;SOA中服务与服务组合的形式化研究[D];福建师范大学;2010年
8 王怡;基于模型驱动架构的个人理财资产配置系统开发应用研究[D];东华大学;2011年
9 李海鹏;应用系统的形式化描述研究与实现[D];电子科技大学;2011年
10 贺鹏;云计算的开发云的研究与实现[D];电子科技大学;2011年
【同被引文献】
中国期刊全文数据库 前10条
1 戴为祚;俄罗斯布里亚特自治共和国白玉资源及对我国白玉市场的影响[J];安徽地质;2000年04期
2 吴瑞华,李雯雯,奥岩;新疆和田玉岩石结构及构造研究[J];宝石和宝石学杂志;1999年01期
3 张晓晖,吴瑞华,王乐燕;俄罗斯贝加尔湖地区软玉的岩石学特征研究[J];宝石和宝石学杂志;2001年01期
4 米玲丽;加拿大碧玉[J];宝石和宝石学杂志;2003年01期
5 廖宗廷,周征宇;软玉的研究现状、存在的问题及发展方向[J];宝石和宝石学杂志;2003年02期
6 周征宇,廖宗廷,袁媛,马婷婷;青海软玉中“水线”的特征及其成因探讨[J];宝石和宝石学杂志;2005年03期
7 王时麒;员雪梅;;和田碧玉的物质组成特征及其地质成因[J];宝石和宝石学杂志;2008年03期
8 胡葳;狄敬如;杨晔;;青海软玉“水线”的特征分析[J];宝石和宝石学杂志;2011年04期
9 邬伦;承继成;史文中;;地理信息系统数据的不确定性问题[J];测绘科学;2006年05期
10 钟耳顺;刘利;;我国地理信息产业现状分析[J];测绘科学;2008年01期
中国博士学位论文全文数据库 前10条
1 郭兵;嵌入式软件开放式集成开发平台体系结构研究[D];电子科技大学;2002年
2 苏铁明;计算机支持的协同设计框架及若干关键技术研究[D];大连理工大学;2003年
3 张立强;构建三维数字地球的关键技术研究[D];中国科学院研究生院(遥感应用研究所);2004年
4 赵欣培;一种基于Agent的软件过程建模方法研究[D];中国科学院研究生院(软件研究所);2005年
5 刘炜;基于网格的面向Agent软件分析与设计建模方法及环境研究[D];上海大学;2005年
6 杜莹;全球多分辨率虚拟地形环境关键技术的研究[D];中国人民解放军信息工程大学;2005年
7 张建兵;基于网格的空间信息服务关键技术研究[D];中国科学院研究生院(遥感应用研究所);2006年
8 卢保奇;四川石棉软玉猫眼和蛇纹石猫眼的宝石矿物学及其谱学研究[D];上海大学;2005年
9 陈雷霆;三维复杂场景实时绘制技术[D];电子科技大学;2007年
10 赵海信;开放式数控系统软件平台实现技术的研究[D];武汉理工大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘岚;嵌入式软件开发环境中远程调试技术的研究及应用[D];西北工业大学;2004年
2 龚睿;面向Web服务的工作流模型在政务协同服务中的应用[D];湖南大学;2005年
3 阴江宁;河南栾川玉石的岩石学和矿床学研究[D];中国地质大学(北京);2006年
4 陶坤旺;工作流技术在政府地理信息系统中的应用研究[D];中国测绘科学研究院;2006年
5 陈宁;面向GIS的工作流技术研究[D];江苏大学;2007年
6 许甸;基于Web服务的跨组织工作流协作研究[D];中南大学;2007年
7 陆岚;暂住人口信息管理系统的研究与实现[D];浙江工业大学;2007年
8 刘麒赟;基于工作流与GIS技术的机场土地规划及利用系统的设计与实现[D];北京交通大学;2008年
9 卓嵩;基于工作流和GIS技术的企业办公自动化系统的设计与实现[D];西南交通大学;2008年
10 杜红梅;D65和A光源对翡翠(绿色)质量评价的影响[D];中国地质大学(北京);2012年
【二级引证文献】
中国博士学位论文全文数据库 前2条
1 黄健;城市供水水质监测与预警平台构建及关键技术研究[D];中国地质大学(北京);2011年
2 陶留锋;基于产品线模式的GIS业务系统快速构建技术研究[D];中国地质大学(北京);2014年
中国硕士学位论文全文数据库 前2条
1 朱王璋;多源海量地理栅格数据库引擎技术研究[D];北京建筑大学;2013年
2 刘登芬;空间信息共享的二三维协同联动箭标标绘技术研究[D];成都理工大学;2013年
【二级参考文献】
中国期刊全文数据库 前10条
1 史耀馨;崔萌;李宣东;郑国梁;;基于J2EE平台的MDA模型转换技术[J];计算机科学;2003年10期
2 马浩海;邵维忠;麻志毅;;UML 2.0述评[J];计算机科学;2004年07期
3 吴春水,唐胜群;MDA中从PIM到PSM的模型转换[J];计算机工程;2004年03期
4 方海棠,何克清,卓识,刘进,陈凯;一个基于模式和动作语义的MDA实现方法[J];计算机工程;2004年04期
5 王璞巍,唐胜群;基于MDA的ODP互操作性软件过程研究[J];计算机工程;2004年09期
6 何成万;董燕燕;涂文婕;何克清;;基于角色模型构建的平台无关模型[J];计算机工程;2006年07期
7 谢正良,赵建华,李宣东,郑国梁;一种基于J2EE平台的MDA模型转换技术[J];计算机应用研究;2005年03期
8 崔萌,史耀馨,李宣东,郑国梁;基于MDA的PIM到J2EE平台PSM的转换方法[J];计算机应用与软件;2005年01期
9 周颖,郑国梁,李宣东;基于MDA的UML模型转换:从功能模型到实现模型[J];计算机应用与软件;2005年11期
10 马浩海,高光来;基于图形语法的UML模型转换方法[J];内蒙古大学学报(自然科学版);2005年05期
中国硕士学位论文全文数据库 前1条
1 陶剑青;基于工程试验数据仓库的数据分析支撑环境研究[D];南京航空航天大学;2003年
【相似文献】
中国期刊全文数据库 前10条
1 叶亮;;Open Source[J];程序员;2007年12期
2 车忠志;孙雪雁;;MFC应用程序基本框架分析[J];农业网络信息;2010年09期
3 杨建英;Visual C++与C++Builder的比较[J];科技情报开发与经济;2005年16期
4 吴敏;;MFC应用程序框架的基本特性[J];包头钢铁学院学报;2005年04期
5 郭峰;刘臣宇;李小丽;;基于MFC的Vega应用程序线程分析[J];科技信息(科学教研);2008年16期
6 徐磊;;三维GIS开发工具VC-MFC在Windows应用程序中的封装[J];黑龙江科技信息;2010年01期
7 贺斌;工业控制中操作系统之我见[J];微电脑世界;1997年04期
8 周京生;MFC应用程序框架打印预览功能分析与扩展[J];电脑编程技巧与维护;2000年09期
9 吴石书;关根志;;VC~(++)5.0开发在线监测系统全自动执行的设计方法[J];电工技术;2000年03期
10 丁维动,倪远平;经济昆虫在线导购系统的设计与实现[J];昆明理工大学学报(理工版);2005年04期
中国重要会议论文全文数据库 前10条
1 瞿德清;罗月童;王晓静;;基于MFC的Ogre三维图形编程框架的设计[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
2 刘淑霞;范雄飞;孟艳;;基于MFC的Vega Prime程序框架研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
3 闫其军;汪凌;沈秋艳;;基于Struts和Hibernate的电子商务系统的设计与实现[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 徐晟;吴传胜;陈岳阳;崔雷;;MVC设计模式在Web系统中应用[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(下册)[C];2006年
5 邓飙;韩传坤;龙勇;;MFC框架下的Vega应用程序设计研究[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
6 刘德祥;刘安宇;宋懿;;创建ADO与数据源连接的几种方式[A];中南六省(区)自动化学会第24届学术年会会议论文集[C];2006年
7 刘维兆;;基于CORBA的软件平台在冷连轧过程控制中的应用[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
8 王倡文;李九梅;郜竹香;;VC++通过MFC ODBC访问Oracle数据库技术浅析[A];2001中国控制与决策学术年会论文集[C];2001年
9 程俊;李广军;;使用DriverStudio3.1开发USB设备驱动程序[A];2006中国西部青年通信学术会议论文集[C];2006年
10 程军;李沙园;;油气化探的数据预处理方法实现研究[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
中国重要报纸全文数据库 前8条
1 水清木华研究中心 沈子信;收购既在意料之内 又出乎意料[N];中国电子报;2006年
2 那罡;拇指上的开源谜团[N];中国计算机报;2008年
3 李永胜;SOA为什么让CIO永无宁日[N];中国计算机报;2007年
4 张湄 苏志刚 王锐 卢露;薄膜行业MES解决方案[N];中国包装报;2008年
5 宗合;WAP,让我欢喜让我忧[N];人民邮电;2000年
6 北京交通大学电子信息工程学院 董旭东 侯建国;利用CAsyncSocket类编写聊天室应用程序[N];通信产业报;2004年
7 山东科技大学智能工程研究所 杨在春 何明祥;Visual C++的程序设计技巧[N];计算机世界;2001年
8 孙昭荣;Visual Studio.NET展新颜[N];中国计算机报;2002年
中国博士学位论文全文数据库 前2条
1 孟利民;Make One-基于软件化功能构件的通用信息设备模式[D];南京理工大学;2008年
2 曾新平;地质体三维可视化建模系统GeoModel的总体设计与实现技术[D];中国地质大学(北京);2005年
中国硕士学位论文全文数据库 前10条
1 徐绘新;基于J2EE的网络教学系统框架的设计与应用[D];大连海事大学;2004年
2 周剑鸣;下一代车载信息娱乐系统用户界面应用程序框架设计与实现[D];复旦大学;2011年
3 石丹丹;基于J2EE平台的Web应用研究[D];武汉理工大学;2005年
4 余宏;基于DNC的数控程序管理系统的设计与实现[D];华东师范大学;2008年
5 冯婷霆;CERP框架中元对象协议及其在库存管理系统的应用[D];哈尔滨工业大学;2007年
6 王滨;基于SOA的J2EE应用程序框架(Kona)的研究与实现[D];江苏大学;2005年
7 张凡;使用应用程序框架和设计模式开发网络应用软件[D];四川大学;2005年
8 宗欣;面向对象非线性有限元程序设计方法研究[D];中国工程物理研究院;2004年
9 赵彬;基于信息资源规划的应用系统的整合与扩展[D];东北财经大学;2007年
10 杨志昱;油气勘探地震数据处理软件的设计与实现[D];华北电力大学(河北);2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026