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

分布式系统软件体系结构建模与开发方法研究

陈晓江  
【摘要】:随着计算机网络技术的发展,开放、分布、异构的分布式系统由于在资源共享、高可用性、并行处理等方面巨大优势,成为当前计算机应用系统的主流,其系统规模的不断扩大,演化和维护要求的不断提高,以及其特有的分布性、异构性和自治性等成为长期困扰和制约开发的主要困难。大量研究和软件开发实践表明,引入软件体系结构作为指导分布式系统开发与构件组装的蓝图,是控制软件复杂性、提高软件质量、支持软件开发、演化、复用和维护的重要手段,是解决分布式系统开发困境,成功构造分布式系统现实、有效的途径。 因此,如何通过软件体系结构提升分布式系统开发的质量和效率,保证系统维护和演化空间,是分布式系统开发中的关键,也是本文研究的核心内容。一个可行的思路是通过形式化方法保证对分布式系统体系结构严格的抽象和验证,通过使其具有动态性而满足对于环境和需求变化的适应,最后通过有效的手段保证其从分布式系统软件设计初期贯穿到软件实现阶段,在整个软件生命周期有效的控制开发与演化。 基于以上思路,在分析当前分布式系统开发方法与支持手段不足和问题的基础上,本文针对软件体系结构和分布式系统交互风格的形式化描述、体系结构求精与映射、演化与重构以及体系结构驱动下的分布式系统开发方法等进行了研究,并用实际的案例进行了说明。具体的研究成果和主要贡献有: (1)提出了一个适合分布式系统的体系结构抽象模型DSAM,给出了其形式化模型,以此为基础,设计实现了一个基于属性文法的软件体系结构描述语言Dis_ADL和基于CCs的分布式构件交互风格描述语言Discid。 Dis_ADL支持对分布式系统进行规约、分析、验证、求精,通过对软件体系结构形式化描述和图形描述双重支持,提供了易用性和语义严格的统一,也具有适应环境和需求变化的动态配置能力;Discid针对分布式系统交互协议复杂,构件交互设计困难的问题,提出了一个可视化交互设计的解决方案,可以很好的对分布式系统交互中同步、并发、死锁等动态特性进行直观描述、严密分析和性质验证,极大的方便了分布式系统中最为关键的交互风格的设计。 (2)提出了体系结构求精的指导原则,并设计了一套从软件体系结构描述Dis_ADL到软件实现层面通用设计模型UML的映射规则,把求精验证后体系结构元素映射到可编码设计元素,缩小设计和实现间的距离,使软件体系结构的理论研究指导软件开发实践的作用更为突出。 (3)提出一种在模糊聚类分析基础之上进行软件体系结构重构,进而通过将设计结构矩阵相关理论和包模式识别技术相结合对重构的体系结构进行分析的方法,不但可以发现和定位违背设计实现,解决了开发过程中软件体系结构设计和软件实现的一致性丢失问题,使真实系统与体系结构保持一致,而且可以使其与软件实现更好同步演化,使软件体系结构在整个分布式软件生命周期中发挥其指导作用。 (4)提出了体系结构驱动的分布式系统开发方法ADiSC,建立了分布式系统开发的生命周期模型,在分布式系统整个生命周期中引入体系结构支撑。通过将软件体系结构自项向下的指导和自底向上基于构件组装的软件开发方法相结合实现对系统的构造;通过软件体系结构不断求精、映射,使得需求向设计、实现平缓转化,体系结构设计向面向对象设计的自动转化,极大缩小了从系统高层设计到软件实现之间的距离;通过体系结构重构分析保证真实系统与软件体系结构在开发与演化过程中的一致性,使得软件体系结构可以贯穿并有效指导整个分布式系统的开发维护过程。ADiSC方法使得分布式系统开发既具有严格的理论基础,又具有规范的工程原则。 (5)在此基础之上,设计并实现了一个可视化支持分布式软件体系结构构造、规约、分析、求精、重构的设计建模环境ADisDTool,极大减轻了分布式系统设计人员的认知难度,保证开发质量,极大地提高了系统的设计效率。同时,在本文中我们也给出了应用案例进行分析,展示了相关主要方法有效性。
【学位授予单位】:西北大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP311.5

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 何中林;;基于软件体系结构设计基础教育信息平台[J];软件;2012年05期
【参考文献】
中国期刊全文数据库 前10条
1 张世琨,王立福,常欣,杨芙清;基于层次消息总线的软件体系结构描述语言[J];电子学报;2001年05期
2 梅宏;黄罡;赵海燕;焦文品;;一种以软件体系结构为中心的网构软件开发方法[J];中国科学E辑:信息科学;2006年10期
3 杨芙清;吕建;梅宏;;网构软件技术体系:一种以体系结构为中心的途径[J];中国科学(E辑:信息科学);2008年06期
4 王晓光,冯耀东,梅宏;ABC/ADL:一种基于XML的软件体系结构描述语言[J];计算机研究与发展;2004年09期
5 刘霞,李明树,王青,周津慧;软件体系结构分析与评价方法评述[J];计算机研究与发展;2005年07期
6 朱雪阳;;双重软件体系结构描述框架XYZ/ADL[J];计算机研究与发展;2007年09期
7 张世琨;王立福;杨芙清;;基于COTS构件的系统开发[J];计算机科学;2000年01期
8 赵会群,王国仁,高远;软件体系结构抽象模型[J];计算机学报;2002年07期
9 梅宏;王千祥;张路;王戟;;软件分析技术进展[J];计算机学报;2009年09期
10 骆华俊,唐稚松,郑建丹;可视化体系结构描述语言XYZ/ADL[J];软件学报;2000年08期
中国博士学位论文全文数据库 前4条
1 于卫;软件体系结构与软件重用方法的研究[D];西安电子科技大学;1999年
2 张波;基于XML的分布式软件体系结构研究[D];中国科学院软件研究所;2001年
3 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
4 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
中国硕士学位论文全文数据库 前1条
1 金旗铭;基于时序逻辑语言的分布式实时软件体系结构描述与精化[D];苏州大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 黄梅荪,程慧霞,吴必文;基于UML统一软件开发过程的研究和实践[J];安徽大学学报(自然科学版);2003年03期
2 方涤非,魏臻;工程建设项目管理信息统一系统的构想与基础性建模分析[J];安徽建筑工业学院学报(自然科学版);2003年02期
3 程淑玉;;基于元胞自动机的SA动态演化模型的构建[J];安徽科技学院学报;2008年01期
4 李龙澍;;软件体系结构风格综述[J];安庆师范学院学报(自然科学版);2006年04期
5 张正,刘建华,吴洁明,袁山龙;利用UML活动图进行业务分析[J];北方工业大学学报;2003年03期
6 龚婕,职波;UML在分布处理参考模型中的应用[J];兵工自动化;2003年05期
7 王博然;苏钢;;软件工程的历史与发展趋势[J];北京工业职业技术学院学报;2008年03期
8 田志斌;田乃硕;金顺福;;基于休假排队的消息驱动组件性能分析[J];北京工业大学学报;2011年10期
9 汪浩,吴际,刘超,高仲仪;基于UML用例图与顺序图模型的操作剖面构造[J];北京航空航天大学学报;2003年02期
10 艾骏,陆民燕;UML在软件可靠性测试数据自动生成中的运用[J];北京航空航天大学学报;2003年05期
中国重要会议论文全文数据库 前10条
1 罗飞;邵堃;刘宗田;;基于混合分布的直接信任模型研究[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
2 贾静;廖鸿志;孙兴平;周华;;ArchDL:基于XML的软件体系结构描述框架与模式[A];2008年计算机应用技术交流会论文集[C];2008年
3 刘建华;曹红苹;;基于.NET +SQL Server的多层BLOG系统研究与实现[A];广西计算机学会2010年学术年会论文集[C];2010年
4 张玲红;张广泉;朱雪阳;戎玫;何玉乾;;UML与XYZ/ADL在电梯控制系统体系结构建模中的应用[A];企业应用集成系统与技术学术研究会论文集[C];2006年
5 吴荣华;贲可荣;;Agent和MAS中互操作方法研究[A];2005年全国理论计算机科学学术年会论文集[C];2005年
6 潘全文;李天;李行善;;预测与健康管理系统体系结构研究[A];第十七届全国测控计量仪器仪表学术年会(MCMI'2007)论文集(上册)[C];2007年
7 蔡远利;于振华;王瑞峰;;多Agent系统形式化建模方法学[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
8 董淑英;;一般社会系统的系统模型与信息系统架构模型[A];2007系统仿真技术及其应用学术会议论文集[C];2007年
9 陈亮亮;孔祥艳;程甜甜;李云飞;;基于体系结构和面向构件的虚拟仪器开发方法[A];2007'中国仪器仪表与测控技术交流大会论文集(一)[C];2007年
10 姜锴;于海波;;基于中间件的金融服务平台研究[A];全国第21届计算机技术与应用学术会议(CACIS·2010)暨全国第2届安全关键技术与应用学术会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 张冰;小组软件过程建模方法及过程定义重用研究[D];哈尔滨工程大学;2009年
2 赵倩;基于自配置的软件可信性增长模型及方法[D];哈尔滨工程大学;2010年
3 卜志国;海洋生态环境监测系统数据集成与应用研究[D];中国海洋大学;2010年
4 杨喜敏;面向多视点设计的EIS访问控制技术研究[D];华中科技大学;2010年
5 杨年华;模型驱动架构中的可信嵌入式软件建模与分析[D];华东理工大学;2011年
6 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年
7 张晶;面向钢铁质量过程控制的分布式并行软件框架模型研究[D];昆明理工大学;2009年
8 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
9 陈彬;面向DEVS的多范式建模与仿真关键技术研究与实现[D];国防科学技术大学;2010年
10 张海军;基于大规模语料的中文新词识别技术研究[D];中国科学技术大学;2011年
中国硕士学位论文全文数据库 前10条
1 陈志勇;基于刻面描述的分布式构件库系统的研究[D];南昌航空大学;2010年
2 韩丽丽;基于DDS体系结构的构件组装机制研究[D];哈尔滨工程大学;2010年
3 王永伟;基于构件的形式化方法在软件开发中的应用研究[D];哈尔滨工程大学;2010年
4 路欢欢;基于反射理论的DDS体系结构动态演化框架[D];哈尔滨工程大学;2010年
5 高上上;中小水电管理技术支持系统的设计与实现[D];大连理工大学;2010年
6 高艳云;基于Web的职业院校教师考核系统的设计与实现[D];中国海洋大学;2010年
7 王子晨;ATS系列软启动器测试系统的设计与实现[D];苏州大学;2010年
8 胡霞;面向HR领域的构件技术的研究与应用[D];苏州大学;2010年
9 唐茂勇;实验教学信息化综合管理系统的设计与实践[D];大连海事大学;2010年
10 凌辰;基于Web服务器远程无缝迁移技术的研究与应用[D];天津理工大学;2010年
【同被引文献】
中国期刊全文数据库 前2条
1 梅宏;申峻嵘;;软件体系结构研究进展[J];软件学报;2006年06期
2 马殷元;蒋兆远;;架构和面向对象技术在PLC软件开发中的应用[J];计算机工程与设计;2011年05期
中国博士学位论文全文数据库 前4条
1 蒋哲远;基于Web服务的特定领域软件体系结构及其关键技术研究[D];合肥工业大学;2006年
2 杨娟;国内新一代电信业务支撑系统软件体系结构的研究[D];北京邮电大学;2008年
3 侯金奎;支持模型驱动开发的体系结构形式化语义与转换一致性研究[D];山东大学;2008年
4 蒋涛;增量式软件产品线关键技术研究[D];浙江大学;2009年
中国硕士学位论文全文数据库 前10条
1 汪保杰;软件体系结构设计方法的研究与应用[D];湖南大学;2009年
2 雷宁宁;ArchJava在办公自动化系统中的应用与研究[D];江西师范大学;2007年
3 王烨;UML与WRIGHT/ADL在企业设备管理系统中的应用[D];苏州大学;2006年
4 李福荣;面向方面软件体系结构建模研究[D];河北工程大学;2007年
5 魏慧;基于软件体系结构的Web服务组合研究[D];苏州大学;2008年
6 李辉;基于UML和时序逻辑语言的银行ATM系统描述与求精[D];苏州大学;2007年
7 刘跃娟;面向方面的建模技术研究[D];吉林大学;2008年
8 金旗铭;基于时序逻辑语言的分布式实时软件体系结构描述与精化[D];苏州大学;2009年
9 姜丽;软件体系结构复用的研究[D];华中科技大学;2008年
10 刘艳艳;程序切片技术在软件重用中的应用[D];电子科技大学;2009年
【二级参考文献】
中国期刊全文数据库 前10条
1 张广泉;关于软件形式化方法[J];重庆师范学院学报(自然科学版);2002年02期
2 晏荣杰,张广泉;一种基于构件的软件体系结构求精方法及其应用[J];重庆师范学院学报(自然科学版);2003年02期
3 廖勇;陈旭东;桑楠;胡林辉;熊光泽;朱清新;;分布式实时系统的自适应资源管理中间件[J];电子科技大学学报;2008年01期
4 杨芙清,梅宏,吕建,金芝;浅论软件技术发展[J];电子学报;2002年S1期
5 黄罡,王千祥,曹东刚,梅宏;PKUAS:一种面向领域的构件运行支撑平台[J];电子学报;2002年S1期
6 杨芙清,梅宏,李克勤;软件复用与软件构件技术[J];电子学报;1999年02期
7 卢致杰,覃正,韩景倜,王立华;SOA体系设计方法研究[J];工业工程;2004年06期
8 张世琨,王立福,杨芙清;基于层次消息总线的软件体系结构风格[J];中国科学E辑:技术科学;2002年03期
9 黄罡,梅宏,杨芙清;基于反射式软件中间件的运行时软件体系结构[J];中国科学E辑:技术科学;2004年02期
10 吕建;陶先平;马晓星;胡昊;徐锋;曹春;;基于Agent的网构软件模型研究[J];中国科学E辑:信息科学;2005年12期
中国博士学位论文全文数据库 前2条
1 孙志勇;多Agent系统体系结构及建模方法研究[D];合肥工业大学;2004年
2 李长云;基于体系结构的软件动态演化研究[D];浙江大学;2005年
中国硕士学位论文全文数据库 前5条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
3 张国有;适应性软件体系结构的属性研究[D];太原理工大学;2003年
4 李程旭;基于网构软件理论的交通综合平台研究[D];大连理工大学;2005年
5 陈琳琳;软件体系结构描述语言XYZ/ADL与UML的转换机制研究[D];苏州大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 尹红丽;王永明;伍晓敏;;SOA的实现方法及其比较研究[J];云南师范大学学报(自然科学版);2008年02期
2 尹红丽;王永明;;面向服务的体系结构主要实现技术比较研究[J];计算机科学;2009年01期
3 赵靖;李石君;刘海青;;基于对象的分布式系统比较[J];武汉大学学报(理学版);2005年S2期
4 王凤霞,吕林涛;基于.Net的分布式软件体系结构设计与应用[J];微电子学与计算机;2005年03期
5 彭波涛;田胜利;;基于层次体系结构的管理信息系统设计与实现[J];福建电脑;2006年08期
6 李伟;李长云;;软件体系结构求精研究[J];计算机技术与发展;2008年09期
7 程城;郭伟;;基于事件的网格计算协作模式[J];潍坊教育学院学报;2009年02期
8 房鼎益,陈晓江,吴晓南;基于构件的分布式系统设计环境[J];西北大学学报(自然科学版);2003年02期
9 李长云,邬惠峰,应晶,李赣生;软件体系结构驱动的运行环境[J];小型微型计算机系统;2005年08期
10 叶俊民;王振宇;陈利;赵恒;;TFSP:一种分布式实时系统的形式化描述工具[J];计算机科学;2003年09期
中国重要会议论文全文数据库 前10条
1 刘果;邓检华;兰彦;;DAMS-Ⅳ型分布式工程安全监测系统的研制[A];中国水力发电工程学会大坝安全监测专业委员会年会暨学术交流会论文集[C];2000年
2 刘渊;姜建国;缪继东;范晓岚;;一个分布式系统通信控制软件的设计与实现[A];中国工程物理研究院科技年报(2002)[C];2002年
3 张玲;陈东义;陈霸东;韩露;马福齐;;可穿戴计算机软件体系结构综述[A];第一届中国情感计算及智能交互学术会议论文集[C];2003年
4 曹德亮;贾银芳;赖森贞;;梅钢冷连轧计算机过程控制系统[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 李佳桢;袁忠宇;倪桂强;罗健欣;;自稳定性在分布式系统中的应用[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(上册)[C];2007年
6 熊继平;;基于JMF的运动检测分布式系统的研究及实现[A];第七届全国信息获取与处理学术会议论文集[C];2009年
7 王燕;徐振朋;曹刘娟;;一种具有最小阻塞消息发送时间的检查点策略[A];第四届中国测试学术会议论文集[C];2006年
8 唐沬;雷利卿;;基于CS算法的频谱合成方法实现分布式雷达卫星的二维高分辨率成像[A];第二届微波遥感技术研讨会摘要全集[C];2006年
9 朱建军;祝红光;王智为;;数据传输平台JWDTP及其在客票系统中的应用[A];中国铁路客票发售和预订系统5.0版应用研讨会论文集[C];2006年
10 高杨菊梅;田平;邵红全;;基于JAVA的移动代码系统的实现技术[A];促进企业信息化进程——第九届中国Java技术及应用交流大会文集[C];2006年
中国重要报纸全文数据库 前10条
1 王知遇;从设计模式到体系结构模式[N];中华读书报;2003年
2 ;分布式系统与移动设备管理[N];计算机世界;2003年
3 ■ 李梅;RTOS新特征适应高档汽车应用[N];计算机世界;2005年
4 韩宗坡;全球综合地球观测系统解读[N];中国气象报;2008年
5 沈建苗编译;嬗变中的大型机[N];计算机世界;2006年
6 ;IBM改进大机管理[N];网络世界;2006年
7 牛晓涵 编译;计算机向大型主机时代回归[N];中国贸易报;2010年
8 首都经济贸易大学 金勇;用Java和XML构建分布式系统[N];计算机世界;2002年
9 闫冰;NETGEAR“小白”再升级[N];网络世界;2008年
10 大唐移动 廖镭鸣;大唐移动:TD-SCDMA室内覆盖一站式服务[N];通信产业报;2008年
中国博士学位论文全文数据库 前10条
1 陈晓江;分布式系统软件体系结构建模与开发方法研究[D];西北大学;2010年
2 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
3 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
4 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
5 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
6 何盼;面向可靠性优化设计的分布式系统资源分配研究[D];重庆大学;2012年
7 张友生;基于代数理论的软件体系结构描述及软件演化方法研究[D];中南大学;2007年
8 郑志;动态软件体系结构建模与模型验证方法的研究[D];大连理工大学;2010年
9 王湛;智能化细粒度软件抗衰策略及相关技术研究[D];南京理工大学;2007年
10 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
中国硕士学位论文全文数据库 前10条
1 徐宏兴;插件体系结构软件开发方法研究[D];四川大学;2005年
2 张俭绪;基于J2EE的I-MES的研究[D];南京航空航天大学;2005年
3 李璐;基于消息中间件的多维QoS管理模型体系结构研究与实现[D];苏州大学;2008年
4 李楠;基于UML的分布式交互仿真系统[D];吉林大学;2005年
5 李凯;基于规则的软件体系结构研究[D];天津大学;2007年
6 陆文佳;基于SA理论的代码自动生成技术实现和应用[D];复旦大学;2009年
7 孙学军;分布式对象技术在Web应用中的研究[D];西安科技大学;2003年
8 杨磊;基于科学数据共享网的软件体系结构及其质量属性的研究[D];北京工业大学;2005年
9 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
10 廖立君;基于EGSA的ADL研究及其开发工具的设计[D];中南大学;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026