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

基于代数理论的软件体系结构描述及软件演化方法研究

张友生  
【摘要】: 近年来,软件工程界提出了各种需求工程和软件建模技术,然而,在软件需求和设计之间仍然存在一条很难逾越的鸿沟,从而很难有效地将需求转换为相应的设计。为此,学者们提出了软件体系结构的概念,并试图在软件需求与软件设计之间架起一座桥梁,重点解决软件系统的结构和需求向实现平坦地过渡的问题。 目前,工业界对软件体系结构的描述通常都采用框图加线条和文本的方式,学术界对软件体系结构的描述通常都采用体系结构描述语言,这些描述方法在对软件体系结构的动态行为、演化和可扩充特征方面的描述能力明显不足。 本文基于代数理论,研究软件体系结构的描述及软件演化方法。全文从本项目研究的意义、软件体系结构的基本概念和研究与应用现状出发,指出了当前研究和应用中的不足之处。引入了构件运算关系来描述软件体系结构,根据构件运算表达式的变动研究软件演化方法。在此基础上,利用XML(eXtensible Markup Language)语言描述软件体系结构基本元素和构件运算关系。研究了把构件运算表达式转换为XML文档的算法,并实现了该算法的原型,从而使软件演化由理论研究转化为实际应用成为可能。另外,本文还研究了层次式软件体系结构、正交软件体系结构的抽象化方法和相关性质。 在对构件运算关系及其性质的研究中,本文用代数理论对构件的属性和行为特征进行抽象,引入构件的顺序运算、选择运算和循环运算,研究了这三种运算的性质及其之间的关系。进一步讨论了构件组合运算的问题,任意一个软件体系结构都可以通过这三种运算的组合关系来描述。提出了一种新的软件体系结构描述方法,为进一步用数学方法讨论软件体系结构提供了一种新的途径。 在基于构件的软件开发中,软件演化可以归结为增加构件、删除构件、修改构件及构件之间的关系等,本文提出了软件体系结构的图形表达方式与构件运算表达式之间的互相转化的方法。通过软件体系结构中构件之间的关系变化,研究基于体系结构的软件演化理论与方法,把软件演化归结为构件运算表达式的变动。 层次结构作为一种对事物体系的描述方法,被广泛应用于计算机软件领域中。但目前对层次式软件体系结构的描述通常都是非形式化的,有关文献认为很难找到一个合适的、正确的层次抽象方法。本文用代数理论对层次式软件体系结构的属性和行为特征进行抽象,讨论了层次式软件体系结构的基本思想和结构框架。研究了层次式软件体系结构抽象模型,提出了“层”的抽象概念及相关性质,提出了层的极大公共子构件和极小公共父构件两种运算的观点,证明了层与这两种运算分别构成交换半群。 正交软件体系结构具有结构清晰、可维护性强、可移植性强、重用粒度大等优点,本文用代数理论对正交软件体系结构的属性和行为特征进行抽象,得出了正交软件体系结构的核心模型,提出了正交软件体系结构的抽象模型和非正交软件体系结构的正交化算法。 在上述研究的基础上,本文设计了一种基于代数理论的软件体系结构的XML描述方法(XML for Software Architecture Based on Algebra Theory,XSABAT),用XSABAT方法描述了软件体系结构及其元素和构件运算表达式。研究了构件运算表达式转化为XML文档的算法,算法能够有效的验证构件运算表达式的正确性,以及把构件运算表达式进行分离用于生成与之对应的XML文档。实现了构件运算表达式转化为XML文档的系统原型,从而使软件演化由理论研究转化为实际应用成为可能。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 谭凯,林子禹,彭德纯,唐胜群;多级正交软件体系结构及其应用[J];小型微型计算机系统;2000年02期
2 张广泉;软件体系结构:概念、风格与描述语言[J];重庆师范学院学报(自然科学版);2000年03期
3 张久彪,叶枫,赵保华;软件体系结构[J];滁州师专学报;2000年02期
4 孙昌爱;刘超;金茂忠;;软件体系结构分析及场景技术在其中的应用[J];计算机科学;2000年06期
5 赵会群,徐凌宇,王国仁,高远;软件体系结构一致性仿真测试[J];东北大学学报;2001年06期
6 麦中凡,戴彩霞;软件体系结构的概念[J];计算机工程与应用;2001年11期
7 励刚,苏寅生,陈陈;电力系统软件体系结构和框架设计[J];计算机应用;2001年09期
8 张旭;数字城市软件体系结构的合约设计模式[J];武汉大学学报(工学版);2001年06期
9 耿技;周明天;秦志光;;解析奠定软件体系结构研究与设计基础的一组基本概念[J];计算机科学;2001年10期
10 孙昌爱,金茂忠,刘超;软件体系结构研究综述[J];软件学报;2002年07期
11 刘海青,李晖,郑鹏;软件体系结构算子及其分析与分解[J];武汉大学学报(工学版);2002年06期
12 叶俊民,赵恒,曹瀚,王鸿丰,王振宇;软件体系结构风格的实例研究[J];小型微型计算机系统;2002年10期
13 舒丽霞;复杂嵌入式系统的可靠软件体系结构[J];计算机与现代化;2002年08期
14 张友生;;软件体系结构的概念[J];程序员;2002年06期
15 张友生;;软件体系结构系列文章之五——软件体系结构的描述方法[J];程序员;2002年11期
16 李刚;金茂忠;;适应性软件体系结构研究[J];计算机科学;2002年02期
17 赵会群;孙晶;王国仁;高远;;软件体系结构:一个新的研究领域[J];计算机科学;2002年11期
18 刘海青,李晖;一种描述软件体系结构的算子[J];计算机工程与应用;2002年17期
19 赵会群,王国仁,高远;软件体系结构抽象模型[J];计算机学报;2002年07期
20 王常武,刁联旺,商建云,方家骐;集中式位置融合系统软件体系结构研究[J];计算机应用;2002年10期
中国重要会议论文全文数据库 前10条
1 王昆;胡延军;;煤矿信息化中软件体系结构的设计[A];第十七届全国煤矿自动化学术年会、中国煤炭学会自动化专业委员会学术会议论文集[C];2007年
2 刘其成;陈小宏;郝振江;;时移地震软件体系结构研究[A];中国地球物理学会第二十届年会论文集[C];2004年
3 杨娟;张雷;王柏;艾波;;新一代电信业务支撑系统软件体系结构的研究[A];2003年通信软件技术学术年会论文集[C];2003年
4 唐姗;赵文耘;;基于反射的动态软件体系结构实现[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
5 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
6 姚乃明;谢吉慧;刘畅;龚喆;;下一代航天器真空热环境试验测控平台的软件体系结构研究[A];中国宇航学会深空探测技术专业委员会第九届学术年会论文集(下册)[C];2012年
7 丁博;史殿习;王怀民;;一种面向普适计算的适应性软件体系结构[A];第四届和谐人机环境联合学术会议论文集[C];2008年
8 陈强;李昀辉;;基于软件体系结构的客户端程序设计[A];铁道部信息技术中心成立30周年暨铁路运输管理信息系统(TMIS)工程全面竣工投产TMIS工程建设论文专辑(二)[C];2005年
9 柳刘;金培权;周英华;岳丽华;;一种可重用和可重构的ERTDBS软件体系结构[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
10 陈庆;王津平;孟晓宇;邓晓彬;;软件体系结构的思想在VEE编程中的应用[A];2009安捷伦科技节论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 杨捷;安全软件体系结构的形式化方法研究[D];武汉大学;2004年
2 杨娟;国内新一代电信业务支撑系统软件体系结构的研究[D];北京邮电大学;2008年
3 杨春花;软件体系结构中状态方面的编织研究[D];山东大学;2010年
4 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
5 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
6 杨红;适应性软件体系结构评价方法研究[D];大连理工大学;2007年
7 王华;预见式自适应软件体系结构的研究[D];浙江大学;2009年
8 何秋生;一种轻量级觉察上下文软件体系结构的研究[D];复旦大学;2007年
9 吴克寿;基于公理设计的软件体系结构构建方法研究[D];华中科技大学;2011年
10 黄万艮;基于消息和构件运算的软件体系结构演化研究[D];中南大学;2008年
中国硕士学位论文全文数据库 前10条
1 徐士华;基于软件体系结构的测试技术[D];哈尔滨工程大学;2009年
2 陈国彬;动态软件体系结构形式化描述与应用[D];重庆师范大学;2010年
3 李建新;自助游策略生成系统正交软件体系结构研究[D];广东工业大学;2011年
4 周小健;基于模式的软件体系结构研究与应用[D];兰州理工大学;2006年
5 刘新涛;软件体系结构分析与评估方法研究[D];哈尔滨工程大学;2006年
6 杨安乐;软件体系结构及基于软件体系结构的系统开发[D];安徽大学;2003年
7 张国有;适应性软件体系结构的属性研究[D];太原理工大学;2003年
8 苏宇;基于业务总线的软件体系结构模型设计[D];昆明理工大学;2003年
9 郭莹;软件体系结构及其描述初步研究[D];东北财经大学;2003年
10 郑国君;基于企业业务框架的软件体系结构研究[D];浙江大学;2004年
中国重要报纸全文数据库 前10条
1 王知遇;从设计模式到体系结构模式[N];中华读书报;2003年
2 财政部财政科研所研究生部 杨周南教授;财务软件业转向何方[N];中国计算机报;2001年
3 邱燕娜;管理软件:正在走向成熟[N];中国计算机报;2004年
4 本报记者 青云;ASP何日春风化雨[N];中国计算机报;2001年
5 ;三大平台 四项软件[N];计算机世界;2001年
6 兆山;学习软件原理的一本好书[N];中国邮政报;2003年
7 本报记者 李良玉 熊伟;为推广.Net奔波[N];计算机世界;2000年
8 张萌;亚信助力联通多省CDMA 1X网络精确计费[N];通信产业报;2004年
9 李永胜;长风联盟锁定SOA战略[N];中国计算机报;2006年
10 中国科学院软件研究所 刘绍华;“坐,请坐,请上坐!”[N];计算机世界;2005年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978