收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

面向模型的组合理论研究

李钦  
【摘要】:随着计算机科学与软件工程的飞速发展,人们越来越强烈的意识到形式化模型对软件系统的分析与设计的重要作用。在当今软件系统的设计与开发中,人们普遍运用多种建模方法和工具对软件系统本身及其应用场景建立模型,并在这些模型的基础上对系统进行分析和改进。对于一个复杂的软件系统而言,一个使设计者和开发者都能正确认识和分析该系统的模型在软件开发周期中显得尤其重要。 一个涵盖系统所有要素的模型往往不易获得。系统设计者通常是先将系统按照一定的特征划分成很多部分,再分别对这些部分采用适当的建模方法和工具建立相应的模型。该研究思路很好的使用了分而治之的策略,有效的降低了处理系统具体特征的复杂度,使针对某个特征的分析和推理变得方便。然而,由于针对各个系统特征的建模方法都是独立发展起来的,往往依赖于不同的数学基础,这使得我们在面对使用不同建模方式建立的模型时,很难将他们的信息进行共享和协调,从而得到我们所期望的系统的整体视图。 为了解决这个问题,我们需要一个精确而系统的理论框架来描述模型之间的关系,支持模型之间信息的共享和交互,实现模型的融合与协调。 本文旨在提出一个针对软件系统的模型组合理论,使得模型之间的各种组合模式都能够在该理论下得到解释,进而可以在该理论的支持下讨论模型之间的关系以及各种模型组合方式所具有的性质和特点,为模型组合实践中组合模型表现出来的良好性质给出理论依据。该模型组合理论框架不仅能够描述某个模型所涉及的各种系统属性及属性间的关系,而且能够分析不同模型间的联系,帮助我们进一步认识和理解现有模型的特点以及他们之间的关联性,研究模型的某些特殊性质在模型组合过程中的演化情况。有了该理论框架的支持,设计者可以根据设计需要对模型进行适当的调整,将它们组合成满足特定需求的组合模型。另外,对该理论框架的研究可以指导软件设计者和开发者,统一两者对软件系统的认识,消减模型中的不确定性,显著提高软件系统的设计、开发与验证效率。 本文的主要内容包括: ·提出一个针对软件系统的模型表示框架,每个模型针对软件系统的特定属性,根据系统在这些属性上表现出来的可见观察对系统行为进行刻画。模型中既包含了每个研究对象的组成结构信息,又包含了对象之间的运算和关系信息,具有解释与对象相关的全局性质与局部性质的能力。我们使用该模型表示框架表示了很多建模模式如状态转换模型和事件反应模型等。 ·考察了包括程序组合、服务组合等软件工程领域中关于组合问题的解决方案,吸取了软件工程领域中对这些组合问题的处理经验,总结出组合问题的普遍特征,进而引入模型层次上的组合概念,研究以模型为基本对象的模型扩展、模型融合和模型补全等模型组合方式,以及它们所具有的普遍性质。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 许璐;;软件工程未来发展[J];科技传播;2011年13期
2 张毅;;浅析需求分析在软件工程中的作用[J];技术与市场;2011年08期
3 张思挚;软件工程与CAI[J];教学与教材研究;1996年02期
4 李辉;;软件工程开发方法的现状与展望[J];福建广播电视大学学报;2011年03期
5 许璐;;软件工程案例教学法探讨[J];中国管理信息化;2011年15期
6 王菲菲;毛火华;陆仲绩;;发展自主CAE软件的创新模式[J];计算机辅助工程;2011年02期
7 王达;;需求工程的探讨[J];软件;2011年05期
8 潘加宇;;做有市场思维的开发人员[J];程序员;2010年09期
9 ;我们为什么需要软件工程理论[J];程序员;2010年11期
10 张健;徐宝文;;《软件测试》专辑前言[J];计算机学报;2011年06期
11 邓艳丽;;浅谈广西图书馆电子阅览室软件系统的维护[J];科技情报开发与经济;2011年17期
12 汪莹;树华伟;;《软件工程》教学改革的探索与实践[J];科技资讯;2011年16期
13 王宝魁;;高速公路收费软件系统的日常维护及升级管理[J];中国交通信息化;2011年08期
14 张有为;马飞;马登伟;侯一凡;戚旭衍;;研究生《软件工程》课程教学改革与研究[J];电脑知识与技术;2011年13期
15 潘加宇;;CMMI1.3[J];程序员;2010年11期
16 司斌;;软件质量之父——Watts S.Humphrey[J];程序员;2010年12期
17 吴昊;黄波;陈悦;;《软件工程》课程教学改革的探索与实践[J];机械管理开发;2011年03期
18 纪兆辉;汪前进;董剑利;;基于UML的软件建模概述[J];科教文汇(上旬刊);2011年08期
19 Elijah Kerry;;LabVIEW助力优化软件开发实践和源代码控制[J];今日电子;2011年09期
20 谢宗仁;;以内存知识为线,以软件工程为导向,教好C语言[J];中国新技术新产品;2011年17期
中国重要会议论文全文数据库 前10条
1 曹居易;石玲;宫学庆;周傲英;;基于OWL的软件工程数据建模[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
2 程仁洪;林梦泉;任超;刘明铭;;软件性能问题与软件性能工程研究分析[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
3 唐培如;;软件工程经济学的研究内容和特殊性问题[A];广西计算机学会2005年学术年会论文集[C];2005年
4 廖鸿志;康青;段鹏;;霍尔三维结构与软件开发过程[A];和谐发展与系统工程——中国系统工程学会第十五届年会论文集[C];2008年
5 张立春;赵合计;安琳;;基于Agent的软件工程方法与应用[A];第十九届全国数据库学术会议论文集(技术报告篇)[C];2002年
6 鲍有文;黄建华;王辉;;第21届世界大学生运动会信息系统的软件工程实施[A];全国计算机网络应用年会论文集(2001)[C];2001年
7 仓公林;桂贵生;杜世昌;;建立和实施PDM质量保证体系的方法[A];全国第十五届计算机科学与技术应用学术会议论文集[C];2003年
8 石振强;;浅谈信息系统软件工程的监理[A];第二十届中国(天津)'2006IT、网络、信息技术、电子、仪器仪表创新学术会议论文集[C];2006年
9 林俊兴;张涛;;软件质量保证的定量管理方法(英文)[A];计算机技术与应用进展——全国第17届计算机科学与技术应用(CACIS)学术会议论文集(上册)[C];2006年
10 结凤克;贺广生;王勤民;杨景善;濮琼;;软件工程思想在C程序设计教学中的应用[A];2008年中国高校通信类院系学术研讨会论文集(上册)[C];2009年
中国博士学位论文全文数据库 前10条
1 李钦;面向模型的组合理论研究[D];华东师范大学;2011年
2 周萌;集成电路IP质量管理与度量:软件工程角度的研究[D];合肥工业大学;2010年
3 许跃敏;基于主题和主体框架的工程应用软件开发技术研究[D];浙江大学;2002年
4 薛兴亚;复杂未知样品气相色谱分离分析理论基础研究[D];中国科学院研究生院(大连化学物理研究所);2004年
5 谢丹;油气藏经营管理模式及数字油气藏设计与应用[D];西南石油学院;2005年
6 黄晋;组合横切关注自动化挖掘与重构方法研究[D];华中科技大学;2012年
7 田宏岭;降雨滑坡预警平台系统研究[D];中国科学院研究生院(成都山地灾害与环境研究所);2007年
8 张光发;导管架下水运动三维数值模拟研究[D];大连理工大学;2007年
9 王学斌;软件工程中基于模型驱动架构的模型转换技术研究[D];国防科学技术大学;2006年
10 高晶晶;基于量化组方研究的方剂寒热属性可视化分析平台构建[D];北京中医药大学;2009年
中国硕士学位论文全文数据库 前10条
1 秦建林;高炉喷煤自动控制软件的设计与实现[D];华东师范大学;2007年
2 陈化;软件工程的实施与欧洲猫网络监控系统研发[D];四川大学;2004年
3 冯小革;基于UML及统一过程的软件开发[D];华东师范大学;2006年
4 吴兰英;商品促销网站的设计与实现[D];电子科技大学;2010年
5 易翔;仿生软件工程模型研究[D];华中科技大学;2011年
6 邹志敏;基于UML和RUP技术的软件系统设计与实现[D];中南大学;2003年
7 曹居易;基于语义网的软件工程数据查询处理技术研究[D];华东师范大学;2011年
8 伍隽;MCM-D版图编辑器的开发[D];电子科技大学;2003年
9 龚勋;软件项目管理与测试在软件开发中的应用[D];四川大学;2004年
10 李凯兵;进口木材携带的小蠹虫辅助鉴定系统的研制及其初步应用[D];中国农业大学;2005年
中国重要报纸全文数据库 前10条
1 王易;中科大软件工程硕士抢手[N];中国计算机报;2004年
2 刘基诚 雷厉风;软件工程品书录(中)[N];中华读书报;2005年
3 刘磊;银行软件系统,外来的和尚会念经?[N];中国计算机报;2005年
4 汤洪波、丁猛、黄双权;升级软件系统 联通作战要素[N];战士报;2011年
5 通讯员 朱媛珍;海阔凭鱼跃[N];中国船舶报;2001年
6 许莉君;中国软件工程与全球同热[N];中国计算机报;2006年
7 ;中国软件工程社团进入世界主流[N];民营经济报;2006年
8 本报记者 常志鹏;软件工程硕士渐被热看[N];经济参考报;2002年
9 沈林 龚涛;江西理工大学着力培养复合型人才[N];中国有色金属报;2009年
10 ;软件工程“世博会”首次登陆中国[N];中国计算机报;2006年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978