免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
基于代数理论的软件体系结构描述及软件演化方法研究
中文名称: 基于代数理论的软件体系结构描述及软件演化方法研究
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3101778收藏本论文】【我的收藏】【我要投稿
英文名称: Study on Methods for Description of Software Architecture and Software Evolution Based on Algebra Theory
学位类型: 博士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 控制理论与控制工程
毕业年份: 涉及隐私,隐去***
关键字: 软件体系结构 构件 软件演化 代数理论 正交软件体系结构 构件运算 表达式
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文简介:近年来,软件工程界提出了各种需求工程和软件建模技术,然而,在软件需求和设计之间仍然存在一条很难逾越的鸿沟,从而很难有效地将需求转换为相应的设计。为此,学者们提出了软件体系结构的概念,并试图在软件需求与软件设计之间架起一座桥梁,重点解决软件系统的结构和需求向实现平坦地过渡的问题。 目前,工业界对软件体系结构的描述通常都采用框图加线条和文本的方式,学术界对软件体系结构的描述通常都采用体系结构描述语言,这些描述方法在对软件体系结构的动态行为、演化和可扩充特征方面的描述能力明显不足。 本文基于代数理论,研究软件体系结构的描述及软件演化方法。全文从本项目研究的意义、软件体系结构的基本概念和研究与应用现状出发,指出了当前研究和应用中的不足之处。引入了构件运算关系来描述软件体系结构,根据构件运算表达式的变动研究软件演化方法。在此基础上,利用XML(eXtensible Markup Language)语言描述软件体系结构基本元素和构件运算关系。研究了把构件运算表达式转换为XML文档的算法,并实现了该算法的原型,从而使软件演化由理论研究转化为实际应用成为可能。另外,本文还研究了层次式软件体系结构、正交软件体系结构的抽象化方法和相关性质。 在对构件运算关系及其性质的研究中,本文用代数理论对构件的属性和行为特征进行抽象,引入构件的顺序运算、选择运算和循环运算,研究了这三种运算的性质及其之间的关系。进一步讨论了构件组合运算的问题,任意一个软件体系结构都可以通过这三种运算的组合关系来描述。提出了一种新的软件体系结构描述方法,为进一步用数学方法讨论软件体系结构提供了一种新的途径。 在基于构件的软件开发中,软件演化可以归结为增加构件、删除构件、修改构件及构件之间的关系等,本文提出了软件体系结构的图形表达方式与构件运算表达式之间的互相转化的方法。通过软件体系结构中构件之间的关系变化,研究基于体系结构的软件演化理论与方法,把软件演化归结为构件运算表达式的变动。 层次结构作为一种对事物体系的描述方法,被广泛应用于计算机软件领域中。但目前对层次式软件体系结构的描述通常都是非形式化的,有关文献认为很难找到一个合适的、正确的层次抽象方法。本文用代数理论对层次式软件体系结构的属性和行为特征进行抽象,讨论了层次式软件体系结构的基本思想和结构框架。研究了层次式软件体系结构抽象模型,提出了“层”的抽象概念及相关性质,提出了层的极大公共子构件和极小公共父构件两种运算的观点,证明了层与这两种运算分别构成交换半群。 正交软件体系结构具有结构清晰、可维护性强、可移植性强、重用粒度大等优点,本文用代数理论对正交软件体系结构的属性和行为特征进行抽象,得出了正交软件体系结构的核心模型,提出了正交软件体系结构的抽象模型和非正交软件体系结构的正交化算法。 在上述研究的基础上,本文设计了一种基于代数理论的软件体系结构的 XML描述方法(XML for Software Architecture Based on AlgebraTheory,XSABAT),用XSABAT方法描述了软件体系结构及其元素和构件运算表达式。研究了构件运算表达式转化为XML文档的算法,算法能够有效的验证构件运算表达式的正确性,以及把构件运算表达式进行分离用于生成与之对应的XML文档。实现了构件运算表达式转化为XML文档的系统原型,从而使软件演化由理论研究转化为实际应用成为可能。
本类相关论文:
·基于Petri网的企业信息化系统建模及关键技术
·商业构件评估方法及关键技术研究
·糖尿病临床病案信息管理系统的设计开发与应用
·基于特征的软件产品线开发关键技术研究
·质量和功能目标驱动的大型复杂信息系统开发方法研
·关于EMS开发系统的研究与多功能发动机电控单元
·软件产品线关键技术研究
·大规模分布式环境下集群管理系统的研究与实现
·目标和场景相结合的需求工程
·分布式实时应用环境中的软件合成与软件集成研究
软件体系结构论文 构件论文
·探空火箭仿真及协同设计系统关键技术研究
·基于构件的软件产品线技术研究
·管道完整性数据管理的研究与设计
·话务网网管的研究与实现
·基于.NET的江西省公安厅警训管理系统的研究与
·可拓策略生成系统框架设计与复用研究
·沙质海岸防护林黑松树冠构筑型及其可塑性研究
·沙质海岸防护林黑松根系构筑型研究
·内构件抑制流化床气固返混研究
·基于构件的软件产品线技术研究
软件演化论文 代数理论论文
·基于并行设计模式的软件演化方法研究
·软件演化技术在MIS中的应用研究
·基于消息和构件运算的软件体系结构演化研究
·基于模糊形式概念分析的程序聚类及演化分析
·面向方面软件体系结构动态演化方法研究
·基于半环代数理论的有限自动机的探讨
·基于代数理论方法的基因编码研究
·Kneser图的若干性质及其自同构群
·Yangian在Dirac谐振子中的应用
·经济混沌的可拓预测方法研究
表达式论文  
·关于Г-环上元素的Drazin逆
·基于UG的油缸参数化设计
·弹性效应与弹塑性断裂破坏
·弱非圆夹杂Eshelby张量的数值验证及其应用
·反谱理论新方法中A-函数的进一步研究
 
  推荐期刊投稿
·太原大学学报
·森林公安
·西藏发展论坛
·中外健康文摘(临床医师)
·阳光能源
·现代医药卫生
·内蒙古财经学院学报(综合版)
·山东工商学院学报
·拳击与格斗
·西北大学学报(哲学社会科学版)
 
·施工技术
·无锡南洋学院学报
·西北国防医学杂志
·消防科学与技术
·Journal of Iron and
·广告大观(综合版)
·医学信息
·实验科学与技术
·内蒙古林业科技
·黑龙江民族丛刊
 
·今日山西
·矿山测量
·改革
·包装与食品机械
·交通运输工程与信息学报
·国际儿科学杂志
·中国家禽
·福建论坛(人文社会科学版)
·佳木斯大学社会科学学报
·山西水利
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号