收藏本站
《杭州电子科技大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

基于模型集成计算的面向领域开发方法研究

李孝军  
【摘要】:自计算机诞生以来,软件开发经历了从机器语言、汇编语言到高级语言的发展过程,抽象层次越来越高,开发人员也越来越多地关注问题本身而不再是一些技术上的实现细节。针对软件开发的发展趋势,对象管理组织提出了模型驱动架构,为解决各种互不兼容平台和中间件技术在系统集成和互操作方面存在的不足提供了新思路,开辟了软件开发模式由以代码为中心向以模型为中心转变的新时期。然而MDA作为一种通用的软件开发标准,缺乏对特定领域开发支持,为此模型集成运算理论开始被提出。该理论提出至今获得了普遍重视,并且不断完善深化,成为国外研究热点。 模型集成计算专注于建模过程中模型的表示、组成、分析和控制,他贯穿于系统开发的整个生命周期,包括规范,设计,开发,验证,集成和维护。通过建模语言的语法抽象领域内的共性和不变性,利用模型定制来实现领域应用的多样化。模型集成计算理论在面向领域系统开发方面具有良好的应用前景。 本文在深入研究模型集成计算理论的基础上,通过与模型驱动架构,面向领域开发的比较,突出模型集成计算理论在特定领域开发的巨大优势。重点研究基于模型集成计算理论领域系统开发过程,通用建模环境等开发工具,设计模型验证方法和代码生成系统,为模型验证提供可行方法,最后通过实例验证基于MIC系统开发整个过程。
【学位授予单位】:杭州电子科技大学
【学位级别】:硕士
【学位授予年份】:2009
【分类号】:TP311.52

手机知网App
【引证文献】
中国硕士学位论文全文数据库 前1条
1 曹密;基于模型驱动架构的医学影像信息管理系统领域建模研究[D];杭州电子科技大学;2012年
【参考文献】
中国期刊全文数据库 前4条
1 宋柱梅;李迪;;基于MIC理论构建嵌入式装备控制领域建模语言的研究[J];制造业自动化;2005年12期
2 刘辉;麻志毅;邵维忠;;元建模技术研究进展[J];软件学报;2008年06期
3 郭壮辉;胡柯;;基于Petri网模型的典型技术及其应用[J];系统仿真技术;2006年02期
4 毛媛,刘杰,李伯虎;基于元模型的复杂系统建模方法研究[J];系统仿真学报;2002年04期
中国博士学位论文全文数据库 前1条
1 江金龙;UML和Petri网建模方法及其在C~4ISR系统中的应用[D];南京理工大学;2007年
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
3 金莹;丁峰;;广义随机Petri网在工作流建模中的应用研究[J];安庆师范学院学报(自然科学版);2010年01期
4 杜鹏,杨肇夏,赵闯;基于组件的仿真系统通用数据管理方法研究[J];北京交通大学学报;2004年06期
5 王娜;罗小明;;基于模糊Petri网的推理算法在C~4ISR系统效能评估中的应用[J];兵工自动化;2008年05期
6 宋朝河;戴羽;;基于面向对象Petri网的侦察配系评估模型[J];兵工自动化;2009年04期
7 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
8 刘学程;张乾;蔡强;王骏;陈煜;;基于CPN的维修保障资源配置建模与仿真方法[J];兵工自动化;2009年09期
9 熊杰;刘湘伟;周国辉;;基于MC的电子对抗情报系统ESCPN模型性能分析[J];兵工自动化;2010年08期
10 黄东坡;曹继平;宋建社;杨檬;;基于Petri网的虚拟维修过程建模[J];兵工自动化;2011年01期
中国重要会议论文全文数据库 前10条
1 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
2 岳昊;李文杰;陈宝兴;;Petri网系统本原有效受控可重复向量分析[A];中国自动化学会控制理论专业委员会B卷[C];2011年
3 阿孜古丽;刘建明;刘洁卉;;基于Petri网的业务流程评估[A];着力提高高等教育质量,努力增强高校创新与服务能力——北京市高等教育学会2007年学术年会论文集(下册)[C];2008年
4 马全峰;张文明;徐豪华;;仿真模型重用技术研究[A];图像图形技术与应用进展——第三届图像图形技术与应用学术会议论文集[C];2008年
5 葛丹;郑会颂;姚国章;;应急管理工作流模型的研究[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
6 张媛媛;高琴;;模型驱动体系综述[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
7 刘晓平;唐益明;郑利平;;复杂系统仿真对复杂系统研究与创新的意义[A];节能环保 和谐发展——2007中国科协年会论文集(一)[C];2007年
8 王夙娟;马炳先;曲守宁;;OWL-S服务的Petri网自动建模方法研究[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
9 张继军;董卫;;基于Petri网的构件组装运算及其性质[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
10 鲁志兵;胡金柱;胡燕;焦金丹;舒江波;;门户网自助系统的扩展有色Petri网建模与分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
中国博士学位论文全文数据库 前10条
1 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
2 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
3 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
4 刘思华;电网故障诊断方法的研究[D];山东大学;2010年
5 陈彬;面向DEVS的多范式建模与仿真关键技术研究与实现[D];国防科学技术大学;2010年
6 梅樱;城轨车辆新型网络控制系统的调度、建模及优化[D];北京交通大学;2011年
7 陈辉;控制网络节点通信协议栈可重构自组织研究[D];华中科技大学;2011年
8 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
9 吴镝;面向RP领域的Web服务自主组建方法研究与应用[D];上海大学;2011年
10 李宪华;服务机器人双臂协作技术研究及实现[D];上海大学;2011年
中国硕士学位论文全文数据库 前10条
1 刘炎培;基于扩展OOPN业务流程建模及异常处理模型研究[D];南昌航空大学;2010年
2 刘洋;可逆逻辑门与可逆逻辑电路的Petri网建模与分析[D];山东科技大学;2010年
3 杨磊;基于面向对象Petri网的企业间工作流建模研究[D];山东科技大学;2010年
4 李蕾;有色Petri网的动态性质判定及其在组装生产线中的应用[D];山东科技大学;2010年
5 孙海春;C_net到可编译表达式的映射方法[D];山东科技大学;2010年
6 周月明;保险索赔系统的协同容错层次模型研究[D];山东科技大学;2010年
7 王廷刚;Petri网表征语言和可达性分析[D];山东科技大学;2010年
8 吕楠;基于层次颜色Petri网的协同工作流的建模与分析[D];山东科技大学;2010年
9 肖露娟;Web服务组合性能分析[D];浙江理工大学;2010年
10 林红昌;基于UML的软件系统的功能性验证和非功能性度量[D];浙江理工大学;2010年
【同被引文献】
中国期刊全文数据库 前6条
1 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
2 邵维忠,蒋严冰,麻志毅;UML现存的问题和发展道路[J];计算机研究与发展;2003年04期
3 董建武;MDA:新一代软件互操作体系结构[J];计算机工程;2003年02期
4 刘景红;黄晓鹂;;我国医院信息化的产生和发展[J];情报杂志;2009年S1期
5 马芳;;MDA及其在信息系统中的应用研究[J];情报杂志;2009年S2期
6 刘辉;麻志毅;邵维忠;;元建模技术研究进展[J];软件学报;2008年06期
中国博士学位论文全文数据库 前1条
1 王学斌;软件工程中基于模型驱动架构的模型转换技术研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前5条
1 关丽霞;基于MDA软件开发方法的研究与实现[D];东南大学;2005年
2 李秀敏;基于VC平台的甲板起重机总体结构设计系统的研究[D];武汉理工大学;2007年
3 李晓春;模型驱动架构中构件组合的研究与实现[D];吉林大学;2008年
4 王永平;基于xUML的MDA软件开发方法研究与实践[D];重庆大学;2008年
5 赵聪辉;基于模型驱动架构的管理信息系统领域建模研究[D];北京林业大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 胡峰,温熙森,孙国基;离散事件动态系统理论及应用[J];电脑与信息技术;2001年05期
2 田立勤,林闯,周文江;随机Petri网模型中变迁的串、并联性能等价化简技术[J];电子学报;2002年08期
3 魏丫丫,林闯,田立勤;用进程代数描述可适应工作流的模型方法[J];电子学报;2002年11期
4 赖明志,尤晋元;从UML状态图到PVS规范的自动转换、验证[J];电子学报;2002年S1期
5 林闯;王元卓;杨扬;曲扬;;基于随机Petri网的网络可信赖性分析方法研究[J];电子学报;2006年02期
6 侯锋,陈洪辉,罗雪山;基于多Agent的C~4ISR系统建模与仿真方法研究[J];光电技术应用;2004年03期
7 罗雪山;论C~3I系统的建模[J];国防科技大学学报;1994年01期
8 赖明志,尤晋元;UML statechart based rigorous modeling of real-time system[J];Journal of Harbin Institute of Technology;2005年01期
9 崔灵果,潘成胜;Petri网在防空C~3I系统建模与分析中的应用[J];火力与指挥控制;1999年04期
10 王宏飞,姚仲舒,杨成梧;基于Lanchester方程的威胁评估模型[J];火力与指挥控制;2003年01期
中国硕士学位论文全文数据库 前6条
1 呙涛;用PETRI网对智能交通系统建模[D];西南师范大学;2001年
2 苏伟;基于HLA/RTI的C~4ISR系统仿真设计方法与支持工具研究[D];中国人民解放军国防科学技术大学;2002年
3 翟正利;时间Petri网的活性、有界性研究[D];山东科技大学;2003年
4 熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年
5 袁庆喜;Petri网在市场营销中的应用研究[D];西安建筑科技大学;2004年
6 李俊伟;基于混杂Petri网的交通流建模[D];北京工业大学;2004年
【相似文献】
中国期刊全文数据库 前10条
1 李超锋;模型库管理系统中构模管理分析[J];中南民族大学学报(自然科学版);2002年03期
2 张富强;软件能力成熟度模型——CMM[J];电脑开发与应用;2005年10期
3 杨家海,王继龙,张金祥,吴建平;基于多级抽象的网络管理信息模型[J];华中科技大学学报(自然科学版);2003年S1期
4 赵永军,李汉林,王海起;GIS三维空间数据模型的发展与集成[J];石油大学学报(自然科学版);2001年05期
5 杨朝君;;基于模式复用的遗留系统的模型集成[J];计算机应用;2006年07期
6 张晓云;彭浩;;地理信息系统与环境模型集成的探讨[J];广东化工;2009年07期
7 张子民;李琦;;数字城市模型服务系统设计[J];计算机科学;2009年12期
8 夏传良,刘秀婷,张志军,陈兆柱;计算机集成制造系统仿真建模[J];山东机械;2004年06期
9 夏传良;刘秀婷;张志军;宋玲;;CIMS仿真建模方法[J];计算机仿真;2006年02期
10 张月霞;苗振清;严世强;;基于GIS水团分析集成系统的开发及其应用(英文)[J];Marine Science Bulletin;2008年02期
中国重要会议论文全文数据库 前10条
1 唐锡晋;;面向系统建模的模型集成[A];管理科学与系统科学研究新进展——第6届全国青年管理科学与系统科学学术会议暨中国科协第4届青年学术年会卫星会议论文集[C];2001年
2 程国栋;李新;康尔泗;徐中民;南卓铜;张耀南;;黑河流域模型集成与建模环境建设的实践[A];中国地理学会2007年学术年会论文摘要集[C];2007年
3 田斌;易克初;;一种扩展的汉语统计二元文法语言模型[A];第九届全国信号处理学术年会(CCSP-99)论文集[C];1999年
4 谢喆;赵红蕊;朱贤泽;;区域环境评价GIS系统设计与实现[A];中国地理信息系统协会第九届年会论文集[C];2005年
5 喻敏;李忠俊;;基于Petri网的信息系统建模分析[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
6 徐志明;王晓龙;张凯;关毅;孙玉琦;;语音识别语言理解模型[A];第五届全国人机语音通讯学术会议论文集[C];1998年
7 郭龙珠;彭世彰;王福林;;基于ArcGIS的三江平原地下水水文过程仿真[A];农业工程科技创新与建设现代农业——2005年中国农业工程学会学术年会论文集第三分册[C];2005年
8 张怡颖;朱小燕;;一种非特定人语音识别的合成方法[A];第五届全国人机语音通讯学术会议论文集[C];1998年
9 李彭城;蔡宇江;;决策支持系统建模工具研究——GBMS/Process[A];1998中国控制与决策学术年会论文集[C];1998年
10 李汶倬;曾凤章;;软件企业质量管理体系与CMMI模型的比较研究[A];第二届中国质量学术论坛会议论文集[C];2005年
中国重要报纸全文数据库 前10条
1 于翔;微软新Web战略重力打造SaaS v2[N];网络世界;2007年
2 记者 张从春 季斌;常州重奖获“证”国际外包企业[N];国际商报;2007年
3 北京大学地球与空间科学学院 金江军;电子政务中3S的机遇[N];中国计算机报;2005年
4 记者 刘锋 通讯员 丁纯丽;精心打造“园区软件”国际品牌[N];科技日报;2004年
5 陶建定;用信息技术与中国石化共享成果[N];中国石化报;2003年
6 舒晓雯;苏州工业园打造“园区软件”国际品牌[N];国际商报;2004年
7 本报记者 于翔;软件过程改进:还需脚踏实地[N];网络世界;2005年
8 杨环;新钢钒热轧板厂技术输出“开花结果”[N];中国冶金报;2008年
9 郭莹;有了l,就有了全部[N];中国计算机报;2005年
10 谢利江;架起沟通互助的友谊之桥[N];张掖日报;2007年
中国博士学位论文全文数据库 前10条
1 李方;基于模型集成的嵌入式数控系统设计关键技术研究[D];华南理工大学;2010年
2 赵寒冰;流域地理过程分布式物理模型体系的集成与应用研究[D];南京师范大学;2004年
3 任建武;GRID GIS关键技术研究[D];南京师范大学;2003年
4 涂钰青;基于IEC61499标准的组件化模型集成数控系统形式化建模与验证的研究[D];华南理工大学;2011年
5 李云梅;水稻BRDF模型集成与应用研究[D];浙江大学;2001年
6 于军;基于ArcGIS平台的苏锡常地区地面沉降管理信息系统研究[D];吉林大学;2006年
7 贾瑞生;矿山开采沉陷三维建模与可视化方法研究[D];山东科技大学;2010年
8 胡东波;模型驱动的决策支持系统研究[D];中南大学;2009年
9 唐方勤;基于GIS的火灾场景下人员疏散模拟[D];清华大学;2009年
10 雷永林;仿真模型重用理论、方法与异构集成技术研究[D];国防科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 刘文宁;基于模型集成计算的领域模型转换的应用与研究[D];杭州电子科技大学;2010年
2 李孝军;基于模型集成计算的面向领域开发方法研究[D];杭州电子科技大学;2009年
3 李大平;多学科仿真模型集成与行为同步方法及其在盾构装备中的应用[D];浙江大学;2012年
4 赵彦博;支持多学科模型集成的流域决策支持系统的研究与应用[D];西北师范大学;2013年
5 梁永会;面向网格服务的SWAT模型集成体系研究[D];郑州大学;2010年
6 张忠胜;基于文档对象模型的分布式地学模型集成框架的研究[D];武汉大学;2005年
7 汪齐松;土地利用动态模拟系统集成与实现[D];中南大学;2009年
8 解丽;基于环境容量的辽东湾污染控制决策支持系统的关键技术研究[D];武汉大学;2005年
9 朱华清;环境监测数据自动统计处理模型的研究与实现[D];景德镇陶瓷学院;2007年
10 黄健;基于XML和Web Service的企业模型集成研究[D];大连交通大学;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026