收藏本站
《大连理工大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

动态软件体系结构建模与模型验证方法的研究

郑志  
【摘要】: 随着科技的发展,软件系统所处的环境也随之改变,传统的静态软件体系结构已不再适应当前用户的需求,而动态软件体系结构不仅能够增强用户的自定义性和可扩展性,也能降低系统开发的费用和减少系统所面临的风险,同时还具有为用户提供更新系统属性的服务,因此动态软件体系结构的开发与研究已成为软件工程研究的热点。 近年来,动态软件体系结构研究的主要内容集中在建模和模型验证等两方面。动态软件体系结构建模是成功设计软件系统的基础;而动态软件体系结构模型验证是保证动态软件体系结构质量的关键因素。两者缺一不可。 动态软件体系结构建模和模型验证具有一定的特殊性,目前对此研究还很不完善,缺少统一的建模和验证方法。由此可知,针对动态软件体系结构建模和模型验证方法的研究具有重要意义,未来此领域将拥有更广阔的发展空间。 本文凝聚了作者多年来在软件系统开发领域中的研究成果,结合实践提出对动态软件体系结构建模和模型验证方法用以满足软件体系结构动态性的需求。并通过“电力企业生产工程管理系统”应用案例进行实践验证,取得良好效果。具体内容主要包含以下几点: (1)基于软件体系结构的理论基础,阐述了如何选取适应当前系统环境的动态软件体系结构的建模方法及模型验证方法,并通过实践表明在动态软件体系结构研究领域中,正确选取建模方法和模型验证方法的重要意义。 (2)本文提出了一种需求目标驱动的动态软件体系结构建模方法。该方法在Le Metayer的体系结构建模的理论和原则指导下,基于概念属性的需求目标模型和图元符号描述体系的SAAM方法而提出的一种需求目标驱动的动态软件体系结构的建模方法。 (3)本文基于谓词μ演算和空间逻辑,提出了一种基于谓词μ演算的空间逻辑的动态软件体系结构属性表示逻辑方法。该方法在谓词μ演算的基础上,增加了空间算子.的表示逻辑,统一地对结构和行为属性进行逻辑表示,解决了属性逻辑分别表示的问题。而在属性逻辑表示的过程中,本文提出了属性目标的部分满意度模型,并基于此模型评估属性满意度,从而解决属性目标常常是部分满足的问题。 (4)本文在动态软件体系结构模型验证中,分别提出了需求目标驱动的基于等价理论的缩减状态空间方法和基于LMC的动态软件体系结构模型验证算法。利用等价理论验证体系结构操作前后的等价关系,对动态体系结构模型提出一种新的缩减状态空间方法,从而实现了对初始体系结构的验证并简化了状态空间的搜索,一定程度缓解状态空间爆炸问题;初始体系结构的状态空间可作为模型验证算法的输入,而模型验证算法是模型验证的核心。另外本文基于LMC算法,还提出一种扩展LMC的动态软件体系结构模型验证算法,扩展了对空间算子的验证,解决了结构和行为属性同时验证的问题。 (5)根据本文所提出的动态软件体系结构建模和模型验证方法,对“电力企业生产工程管理系统”案例进行了应用研究。
【学位授予单位】:大连理工大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP311.52

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 丛树学;白奕;;基于DoDAF的舰载武器系统体系结构建模[J];指挥控制与仿真;2008年05期
2 刘藻珍;基于飞行试验数据的仿真模型验证方法的研究[J];系统仿真学报;2002年03期
3 郑智琴,孟秀云;某型导弹系统仿真模型验证[J];计算机仿真;2004年10期
4 吕栋雷;曹志耀;邓宝;汪亚夫;;利用方差分析法进行模型验证[J];计算机仿真;2006年08期
5 吴晓燕,赵敏荣,刘兴堂,李彦彬;仿真系统可信度评估及模型验证方法研究[J];计算机仿真;2002年03期
6 杨惠珍 ,梁志君 ,康凤举;水下运动体系统仿真模型验证软件设计与实现[J];舰船电子工程;2002年04期
7 杜小军;李素有;;声卡数据采集在模型验证试验中的应用[J];科学技术与工程;2007年04期
8 王金朋;侯贵宾;邓成玉;刘永山;;基于Pi-演算的扩展有向图工作流模型及验证[J];计算机工程与设计;2010年10期
9 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
10 赵妮;秦泓江;严小军;;数字滤波器仿真软件评估的谱分析方法研究[J];电子质量;2007年04期
中国重要会议论文全文数据库 前10条
1 栾经德;范军;石敏;彭学礼;;水中目标回声特性建模中的模型验证研究[A];2009年全国水声学学术交流暨水声学分会换届改选会议论文集[C];2009年
2 芮春保;;Pro/E在摩托车开发中的运用——JC251-17A摩托车3D设计总结[A];江苏省机械工程学会第六次会员代表大会论文集[C];2002年
3 董家瑞;刘朔;王琴琴;;仿真系统模型验证方法对比研究[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
4 陈美发;卢永金;季永兴;;崇明北沿滩涂促淤围垦水流数学模型研究(之一)[A];第十四届全国水动力学研讨会文集[C];2000年
5 朱志政;何世秀;杨雪强;;Lade-Duncan模型在粉质黏土中的试验研究[A];第二届全国岩土与工程学术大会论文集(上册)[C];2006年
6 任秀文;姜国强;钟满妮;李开明;;SWAT模型参数敏感性分析及增江流域的应用[A];2011中国环境科学学会学术年会论文集(第一卷)[C];2011年
7 吴琼;彭忆强;;基于模型的汽车电子节气门控制系统研究[A];2009年中国智能自动化会议论文集(第一分册)[C];2009年
8 刘藻珍;;基于飞行试验数据的仿真模型验证方法的研究[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
9 侯杰;徐立新;;基于子波变换的仿真模型验证方法研究[A];2001年中国智能自动化会议论文集(下册)[C];2001年
10 石峰;杨益军;吴旭光;徐德民;;不确定性系统的建模与控制[A];1996年中国控制会议论文集[C];1996年
中国重要报纸全文数据库 前10条
1 高建来 王燕;不良债权定价模型验证例解[N];财会信报;2006年
2 李昱;国外IPv6发展情况[N];金融时报;2006年
3 ;技术“求同”与“求异”双向发展[N];中国电子报;2009年
4 陈静;变动成本法下税前净利模型验证[N];财会信报;2007年
5 周清春;安徽移动:系统升级实现“双领先”[N];科技日报;2006年
6 崔毅;东芝并购西屋 日本欲改世界核电版图[N];中国经营报;2006年
7 代宗堂王雪松;人行鹤岗市中心支行业务创新取得多项突破[N];金融时报;2007年
8 任继凯;中国石油首个物探科研国际合作项目成果丰硕[N];中国石油报;2008年
9 张逸飞;公司风电研究检测中心通过国家审定[N];国家电网报;2009年
10 张召忠;关注战略理论创新[N];解放军报;2004年
中国博士学位论文全文数据库 前10条
1 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
2 王平;基于公理化的产品设计理论及应用研究[D];南京航空航天大学;2006年
3 金仙力;实时服务构件的语义特征和行为组装形式化技术研究[D];北京邮电大学;2008年
4 舒宇;基于能力需求的武器装备体系结构建模方法与应用研究[D];国防科学技术大学;2009年
5 冯毅萍;石化生产过程多分辨率物流模型的建模方法[D];浙江大学;2008年
6 周赤建;河流悬移质泥沙运动模拟方法研究[D];内蒙古农业大学;2004年
7 胡海涛;支持业务级、大粒度服务组合的知识管理与主动推荐[D];中国科学院研究生院(计算技术研究所);2006年
8 张会;虚拟群体组织协同行为建模方法研究[D];国防科学技术大学;2006年
9 高静;可逆加成—断裂—链转移自由基均聚及共聚机理研究[D];浙江大学;2007年
10 陈燕;基于UML的嵌入式系统系统级设计方法研究[D];复旦大学;2005年
中国硕士学位论文全文数据库 前10条
1 李明;基于模型验证的故障定位方法研究[D];华中师范大学;2010年
2 林云;关于需求分析建模与模型验证技术的研究[D];华中师范大学;2001年
3 于华阳;对自然垄断性业务“进入管制”的再思考[D];山东大学;2005年
4 黄园媛;工作流开发平台框架的研究和工作流形式化建模[D];湖南师范大学;2005年
5 程刚;基于XPDL的工作流建模研究与实现[D];大连理工大学;2006年
6 刘子乾;基于攻击模式的系统漏洞检测工具的设计与实现[D];天津大学;2008年
7 方亦凯;过程控制实时仿真平台的研究与设计[D];大连理工大学;2004年
8 王赟华;基于UML的模型驱动软件开发应用与研究[D];中国科学院研究生院(空间科学与应用研究中心);2005年
9 刘铭环;竹竿河流域非点源污染研究[D];清华大学;2005年
10 杨云毅;基于同步网的工作流模型验证技术研究[D];江西师范大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026