一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法

  本文关键词：一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法，由笔耕文化传播整理发布。

博硕论文分类列表

马列主义、毛泽东思想 艺术

数理科学和化学 文学

天文学、地理科学 军事

文化科学、教育体育 经济

自然科学总论 哲学

查看更多分类

论文搜索

相关论文

面向服务实体的网构软件演化模型的
动态软件体系结构建模与模型验证方
面向实时作战决策支持的动态数据驱
一种严格分离模型和视图的模板引擎
“模型-视图-控制器”体系结构视
面向对象软件簇级的一种动态测试工
基于UML的软件体系结构六视图描
基于体系结构的软件动态演化研究
基于BDI模型和ARCHON模型
面向方面软件体系结构动态演化方法
基于体系结构、特征驱动的软件动态
面向体系结构的软件安全性需求开发
基于Bigraph的面向方面动态
面向动态需求的软件模块化结构评价
面向服务的构件动态演化方法及其实
面向软件产品族的构件演化方法研究
一种气体燃料发动机面向控制的动态
一种面向方面的需求分离建模方法研
基于演化博弈的网构软件动态信任模
面向可用性的软件体系结构模型SA
基于非功能性特征的软件动态自演化
体系结构驱动的软件开发方法研究
基于构件的动态软件体系结构模型的
用例驱动方法在软件需求获取方面的
面向动态需求的产品定制系统构建方
一种本体驱动的需求分析方法研究

科目列表

博士论文    

一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法

     论文目录

摘要第1-5页

Abstract第5-8页

目录第8-12页

第1章 绪论第12-24页

   ·研究背景第12-14页

     ·新形势下的软件自动化第12-13页

     ·软件发展构件化第13-14页

     ·软件演化动态化第14页

   ·动因第14-18页

     ·动态演化而临的“挑战”第15-16页

     ·现有的典型研究成果的应对方法与不足第16-17页

     ·针对动态演化本文的若干重要观点第17-18页

   ·本文拟提出的应对之道第18-21页

     ·以需求模型为驱动第19页

     ·以体系结构模型为视图第19页

     ·以行为管程为支撑第19-20页

     ·以解决动态演化面临的挑战为导向第20页

     ·以具有严格数学基础的形式化方法为基石第20-21页

   ·研究意义第21页

     ·理论意义第21页

     ·实际意义第21页

   ·创新点第21-22页

   ·论文组织结构及其关系第22-24页

     ·组织结构第22-23页

     ·各章之间的关系第23-24页

第2章 相关工作和研究基础综述第24-42页

   ·引言第24页

   ·软件演化综述第24-28页

     ·软件演化的概念第24-25页

     ·软件演化的分类第25-26页

     ·静态演化第26-27页

     ·动态演化第27-28页

   ·软件需求建模综述第28-29页

     ·需求建模概述第28-29页

     ·面向特征的需求建模方法第29页

   ·软件体系结构综述第29-35页

     ·体系结构的概念第29-31页

     ·非形式化的体系结构建模第31-33页

     ·形式化的体系结构建模第33-35页

   ·进程代数第35-38页

   ·Petri网第38-41页

   ·小结第41-42页

第3章 面向动态演化的需求建模第42-60页

   ·引言第42页

   ·面向动态演化的需求建模要求第42-43页

   ·面向动态演化的需求元模型的设计思路第43-44页

   ·面向动态演化的需求元模型的框架第44-45页

   ·面向动态演化的行为特征建模第45-54页

     ·计算行为特征第46-48页

     ·交互行为特征第48-51页

     ·行为特征第51-52页

     ·行为特征元模型的操作语义第52-54页

   ·面向动态演化的属性特征建模第54-57页

     ·属性特征第54-56页

     ·面向动态演化建模的一个重要属性特征第56-57页

   ·面向动态演化的需求模型第57-58页

   ·需求元模型对需求建模要求的支持第58页

   ·小结第58-60页

第4章 面向动态演化需求模型的规范化第60-82页

   ·引言第60页

   ·行为特征模型的规范化第60-70页

     ·行为特征规范化的要求第60-61页

     ·行为特征的规范形第61-65页

     ·行为特征元模型的公理系统第65-68页

     ·行为特征可规范化的完备性定理第68-70页

   ·属性特征模型的规范化第70-80页

     ·属性特征模型规范化的要求第70-71页

     ·需求模型的参照完整性第71页

     ·需求模型的依赖一致性第71-72页

     ·需求模型的互斥一致性第72-73页

     ·属性特征模型范式第73-80页

   ·小结第80-82页

第5章 面向动态演化的体系结构建模第82-102页

   ·引言第82-83页

   ·面向动态演化的体系结构建模要求第83页

   ·面向动态演化的体系结构元模型的设计思路第83-84页

   ·面向动态演化的体系结构元模型的框架第84-85页

   ·静态视图建模第85-93页

     ·构件Petri网结构第85-87页

     ·构件第87-90页

     ·连接件第90-93页

   ·动态视图建模第93-96页

     ·动态构件系统第94-95页

     ·动态体系结构第95-96页

   ·动态演化建模第96-99页

     ·构件的结构演化第96-97页

     ·连接件的添加、删除第97-98页

     ·构件的替换、添加和删除第98-99页

   ·体系结构元模型对建模要求的支持第99-100页

   ·小结第100-102页

第6章 从需求模型到体系结构模型的变换第102-118页

   ·引言第102-103页

   ·模型变换的依据第103-104页

   ·两类最基本特征的变换第104-106页

     ·原子计算行为特征的变换第104-105页

     ·主动特征和被动特征的变换第105-106页

   ·组合和复合的变换第106-110页

     ·顺序组合的变换第106-108页

     ·选择组合的变换第108-109页

     ·迭代组合的变换第109页

     ·并行复合的变换第109-110页

   ·变换中的抽象与细化第110-112页

     ·抽象第111页

     ·细化第111-112页

   ·变换得到的体系结构模型的结构性质要求第112-115页

     ·构件的结构性质要求第113-114页

     ·体系结构的结构性质要求第114-115页

   ·小结第115-118页

第7章 面向动态演化的行为管程第118-136页

   ·引言第118-119页

   ·行为管程概述第119-122页

     ·行为管程的概念第119-120页

     ·行为管程在动态演化实施中所处的位置第120-122页

   ·行为管程的管理职能第122-125页

     ·行为管程的托肯管理第122-123页

     ·行为管程的库所管理第123-125页

     ·行为管程的变迁管理第125页

   ·行为管程的监控职能第125-129页

     ·行为管程的监视职能第126-127页

     ·行为管程的控制职能第127-129页

   ·行为管程的演化职能第129-135页

     ·驱动构件进入静止管理态第129-130页

     ·驱动构件进入活动管理态第130-131页

     ·连接件添加操作第131-132页

     ·连接件删除操作第132-133页

     ·构件添加操作第133-134页

     ·构件删除操作第134-135页

   ·小结第135-136页

第8章 面向动态演化的构件之间相关性分析第136-164页

   ·引言第136-137页

   ·相关性分析分类第137页

   ·构件之间的结构相关性分析第137-148页

     ·基本结构相关性第138-145页

     ·复合结构相关性第145-148页

   ·构件之间的行为关系及其相关性分析第148-163页

     ·结构相关性对行为相关性的作用第149-153页

     ·行为相关性的部分传递性处理第153-159页

     ·构件行为相关性分析第159-163页

   ·小结第163-164页

第9章 动态演化实施的一致性保持第164-180页

   ·引言第164-165页

   ·一致性的定义第165页

   ·构件状态迁移第165-168页

     ·构件的状态保存第166页

     ·基于库所映射方案的托肯更新第166-168页

     ·构件的状态恢复第168页

   ·构件的行为空间和行为图第168-171页

     ·构件的行为空间第169-170页

     ·构件的行为图第170-171页

   ·一致性保持第171-179页

     ·构件的内部一致性保持第171-174页

     ·构件的外部一致性保持第174-179页

   ·小结第179-180页

第10章 案例研究第180-198页

   ·引言第180页

   ·面向动态演化的需求建模第180-185页

     ·行为特征建模第180-182页

     ·属性特征建模第182-184页

     ·需求模型及其规范化第184-185页

   ·面向动态演化的体系结构建模第185-189页

     ·体系结构建模第185-187页

     ·构件建模第187-189页

   ·动态演化实施分析第189-197页

     ·相关性分析第190-193页

     ·一致性保持第193-197页

   ·小结第197-198页

第11章 工作总结与展望第198-206页

   ·工作总结第198-203页

   ·未来工作展望第203-206页

参考文献第206-210页

攻读博士学位期间主持和参与的课题第210-212页

攻读博士学位期间的主要成果第212-216页

 1. 以第一作者身份发表和录用的学术论文第212-213页

 2. 以合作者身份发表和录用的学术论文第213-214页

 3. 攻读博士学位期间获得的奖励第214-216页

致谢第216-217页

论文编号BS6416，这篇论文共217页
会员购买按0.35元/页下载，共需支付75.95元。        直接购买按0.5元/页下载，共需要支付108.5元 。

 您可能感兴趣的论文

论文标题页数级别

面向需求持续演化的软件体系结构决策评价方法研究63页硕士论文

嵌入式软件需求规约到软件体系结构模型的转换研究97页博士论文

面向对象软件的结构特性及演化模型的研究118页博士论文

面向方面的软件体系结构演化研究72页硕士论文

神经构件模型和软件体系结构演化方法的研究72页硕士论文

面向服务的动态演化软件模型研究65页硕士论文

基于需求驱动的软件体系结构的研究与设计64页硕士论文

一种基于Java接口和类加载器的软件动态演化模型65页硕士论文

面向领域的软件体系结构复用与演化62页硕士论文

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

面向服务的语义模型驱动企业应用软件开发方法及关键技术研究146页博士论文

一种面向SaaS的软件重构方法的研究55页硕士论文

一种基于依赖关系图模型的减少演化影响范围的本体演化方法50页硕士论文

基于.NET反射机制的软件动态演化方法研究57页硕士论文

版权申明：本目录由网站制作，本站并未收录原文，，如果您是作者，需要删除本篇论文目录请通过QQ或其它联系方式告知我们，我们承诺24小时内删除。

  本文关键词：一种需求驱动、以体系结构为视图的面向软件动态演化的模型与方法，由笔耕文化传播整理发布。