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

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 丛树学;白奕;;基于DoDAF的舰载武器系统体系结构建模[J];指挥控制与仿真;2008年05期
2 沈立炜;彭鑫;赵文耘;;扩展方面机制的软件产品线体系结构建模及构件组装实现[J];电子学报;2009年S1期
3 邵奇可;陈国定;;远程控制实验系统软件体系的结构[J];实验室研究与探索;2009年08期
4 吴士亮,蔡秋茹,仲琴;基于校园网的网络化教学基础平台体系结构研究[J];江苏技术师范学院学报;2005年04期
5 孙昌爱;金茂忠;;软件体系结构描述研究与进展[J];计算机科学;2003年02期
6 郭成昊;赵颜利;刘凤玉;;一种自适应系统的体系结构建模方法[J];计算机应用研究;2007年01期
7 刘藻珍;基于飞行试验数据的仿真模型验证方法的研究[J];系统仿真学报;2002年03期
8 郑智琴,孟秀云;某型导弹系统仿真模型验证[J];计算机仿真;2004年10期
9 吕栋雷;曹志耀;邓宝;汪亚夫;;利用方差分析法进行模型验证[J];计算机仿真;2006年08期
10 吴晓燕,赵敏荣,刘兴堂,李彦彬;仿真系统可信度评估及模型验证方法研究[J];计算机仿真;2002年03期
11 杨惠珍 ,梁志君 ,康凤举;水下运动体系统仿真模型验证软件设计与实现[J];舰船电子工程;2002年04期
12 叶俊民,赵良,罗景,王振宇,赵恒;软件体系结构测试覆盖准则研究[J];计算机工程;2005年22期
13 谭佳;孙艳春;梅宏;;ABC方法中体系结构风格建模的研究[J];电子学报;2006年05期
14 杜小军;李素有;;声卡数据采集在模型验证试验中的应用[J];科学技术与工程;2007年04期
15 王金朋;侯贵宾;邓成玉;刘永山;;基于Pi-演算的扩展有向图工作流模型及验证[J];计算机工程与设计;2010年10期
16 吴永刚;陆慧娟;程倬;陈江;;基于时间自动机的实时系统建模及验证[J];计算机时代;2011年06期
17 祝义;张永常;张广泉;黄志球;;UML与Z结合的建模过程及其应用[J];计算机科学;2007年05期
18 唐胜群,郭学理,姚俊峰,方志民,王文革;电力行业管理信息系统开发研究[J];计算机工程;1999年10期
19 于卫,杨万海,蔡希尧;软件体系结构的描述方法研究[J];计算机研究与发展;2000年10期
20 何炎祥,黄浩,石莉,张戈,李超;软件体系结构中五种常见风格的剖析[J];计算机工程;2000年10期
中国重要会议论文全文数据库 前10条
1 张玲;陈东义;陈霸东;韩露;马福齐;;可穿戴计算机软件体系结构综述[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
2 蒋心晓;李新星;;基于分布智能的防空指挥系统软件体系结构[A];'2010系统仿真技术及其应用学术会议论文集[C];2010年
3 李晖;张慧;赵海;蔡巍;;软件网络中的簇度相关性及演化分析[A];第八届沈阳科学学术年会论文集[C];2011年
4 陈于平;刘畅;伍星;迟毅林;;转子故障智能诊断系统的软件体系结构研究[A];第十二届全国设备故障诊断学术会议论文集[C];2010年
5 杨娟;张雷;王柏;艾波;;新一代电信业务支撑系统软件体系结构的研究[A];2003年通信软件技术学术年会论文集[C];2003年
6 戴学臻;赵勇;陈君;;B/S与C/S多层混合软件体系结构在公路信息管理系统中的应用[A];第十四届全国煤矿自动化学术年会暨中国煤炭学会自动化专业委员会学术会议论文集[C];2004年
7 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
8 柳刘;金培权;周英华;岳丽华;;一种可重用和可重构的ERTDBS软件体系结构[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
9 李文军;阳春华;;起动机性能测试系统体系结构设计及组件开发[A];04'中国企业自动化和信息化建设论坛暨中南六省区自动化学会学术年会专辑[C];2004年
10 王昆;胡延军;;煤矿信息化中软件体系结构的设计[A];第十七届全国煤矿自动化学术年会、中国煤炭学会自动化专业委员会学术会议论文集[C];2007年
中国博士学位论文全文数据库 前10条
1 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
2 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
3 叶鹏;一种支持设计阶段软件体系结构重用的方法[D];武汉大学;2009年
4 徐冰;随钻地震数据处理系统软件体系结构研究[D];中国海洋大学;2013年
5 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
6 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
7 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
8 张占营;普适环境下自组交叉人机交互系统体系研究[D];南开大学;2012年
9 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
10 李晓红;面向快速开发的智能AGENT关键技术研究[D];天津大学;2005年
中国硕士学位论文全文数据库 前10条
1 徐宏兴;插件体系结构软件开发方法研究[D];四川大学;2005年
2 李凯;基于规则的软件体系结构研究[D];天津大学;2007年
3 陆文佳;基于SA理论的代码自动生成技术实现和应用[D];复旦大学;2009年
4 孙学军;分布式对象技术在Web应用中的研究[D];西安科技大学;2003年
5 杨磊;基于科学数据共享网的软件体系结构及其质量属性的研究[D];北京工业大学;2005年
6 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
7 廖立君;基于EGSA的ADL研究及其开发工具的设计[D];中南大学;2004年
8 郗梦奕;面向软件外包的客户关系管理系统的设计与开发[D];天津大学;2010年
9 牟树霞;软件生产线中角色模型的研究[D];华中师范大学;2005年
10 杜彦斌;面向服务软件体系架构原理与范例研究[D];首都经济贸易大学;2005年
中国重要报纸全文数据库 前10条
1 王知遇;从设计模式到体系结构模式[N];中华读书报;2003年
2 高建来 王燕;不良债权定价模型验证例解[N];财会信报;2006年
3 李昱;国外IPv6发展情况[N];金融时报;2006年
4 陈静;变动成本法下税前净利模型验证[N];财会信报;2007年
5 ;技术“求同”与“求异”双向发展[N];中国电子报;2009年
6 陈斌;“开源”浪潮走向复兴[N];计算机世界;2004年
7 焦世东;广东江门市社保系统的由来[N];中国计算机报;2003年
8 周清春;安徽移动:系统升级实现“双领先”[N];科技日报;2006年
9 崔毅;东芝并购西屋 日本欲改世界核电版图[N];中国经营报;2006年
10 代宗堂王雪松;人行鹤岗市中心支行业务创新取得多项突破[N];金融时报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978