导读:本文包含了体系结构求精论文开题报告文献综述及选题提纲参考文献，主要关键词:软件体系结构,软件体系结构描述语言,可拓学,可拓设计
体系结构求精论文文献综述
王小刚,闫光辉,周宁[1]（2018）在《一种软件体系结构可拓建模和求精设计方法》一文中研究指出软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法,提出了一种新的软件体系结构建模和求精方法.软件体系结构及其元素由粒度不同的基元描述,而软件体系结构的求精则由对基元的多种变换来实现;通过定义可拓变换模式和使用转换桥方法以改进软件体系结构设计,解决不兼容甚至冲突问题;最后,给出了可拓建模和求精设计的实例.从实例可以看出,使用可拓理论和方法,能较好地从语义和结构两方面描述和精化系统,有助于在形式化层面解决软件体系结构设计中的优化问题和冲突问题.(本文来源于《兰州交通大学学报》期刊2018年04期）
谢开斌,陈海明,崔莉[2]（2014）在《物联网软件体系结构中的感执模型的求精》一文中研究指出物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构(physical-model driven software architecture,简称PMDA)研究的基础上,对PMDA中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程(communication sequential process,简称CSP)表达的子构件来说明构件端口的功能实现,并采用CSP中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP描述了子构件与子构件之间的交互.使用进程分析工具(process analysis toolkit,简称PAT)对R-SEM进行了验证.验证结果表明:R-SEM中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM精化了SEM的内部组成,且保持了SEM的有效互联性质,因此,R-SEM对最终将PMDA应用于物联网软件的开发具有实际的指导意义.(本文来源于《软件学报》期刊2014年08期）
张玲红,张广泉[3]（2011）在《基于XYZ/ADL的电梯控制系统体系结构的描述与求精》一文中研究指出研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。(本文来源于《计算机测量与控制》期刊2011年09期）
陈枢茜,张广泉[4]（2010）在《基于XYZ/ADL的工厂自动化系统体系结构描述与求精》一文中研究指出XYZ/ADL是一种以时序逻辑语言XYZ/E为基础的体系结构描述语言,可同时描述软件体系结构的静态与动态行为,支持高层到低层体系结构之间的逐层过渡。本文使用XYZ/ADL描述工厂自动化系统的体系结构,采用基于组件的求精方法对主要组件进行逐步求精。(本文来源于《微计算机信息》期刊2010年21期）
申利民,马川,王建龙,牛景春,彭思维[5]（2009）在《基于上下文相关的软件体系结构求精方法》一文中研究指出为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程。最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型。(本文来源于《计算机工程与设计》期刊2009年07期）
李伟,李长云[6]（2008）在《软件体系结构求精研究》一文中研究指出为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域。软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性。良好的软件体系结构求精方法使得软件开发自动化,加速软件产品的交付过程,降低软件成本,以及提高软件质量。针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望。(本文来源于《计算机技术与发展》期刊2008年09期）
李伟[7]（2008）在《基于π演算的软件体系结构求精研究》一文中研究指出随着用户对软件产品性能需求的不断增加,软件规模越来越大,复杂性也越来越高。为保证软件质量、提高软件的可靠性,以软件体系结构为设计规范的开发方法越来越受到软件开发人员的关注。软件体系结构成为决定软件质量的主要因素,并发展成为软件工程领域的一个研究热点。然而,在软件开发过程中,从用户需求出发得到的体系结构初始模型的抽象粒度比较大,通常只反映了软件系统的某些主要的功能,很多的非功能属性以及实现细节都需要在逐步的细化过程中被添加到体系结构上,因此体系结构求精显得尤为重要。体系结构求精是一项非常复杂而且困难的工作,不仅仅是简单地给出抽象体系结构的具体体系结构,而是要提供相关的规则和方法,保障体系结构正确求精。具体而言,体系结构求精关注两个方面:(1)体系结构求精方法,即采取何种手段、从哪个角度出发对体系结构求精,使得抽象的体系结构逐步细化为具体的体系结构;(2)体系结构求精规则,用于指导体系结构求精,为体系结构正确求精提供有力支持。本文在D-ADL动态体系结构描述语言的形式框架规约下,提出基于π演算的体系结构求精方法。文章认为体系结构求精的关键在于求精结果应满足抽象系统与具体实现一致的约束。首先,从结构求精、行为求精和属性求精叁个方面阐述了体系结构求精的方法、过程和规则;接着利用π演算的行为等价理论和检测工具MWB对该体系结构求精方法和规则进行验证。最后,以机票预定服务系统说明了上述求精方法、过程和规则的有效性。(本文来源于《湖南工业大学》期刊2008-05-20）
李长云,文志华,廖立君[8]（2007）在《软件体系结构的行为求精》一文中研究指出在D-ADL规约框架下,给出了软件体系结构的行为求精形式化规则:构件的行为求精应符合进程观察弱模拟关系,连接件的行为求精应符合进程分支弱模拟关系。(本文来源于《湖南工业大学学报》期刊2007年05期）
赵恒,叶俊民,王振宇[9]（2007）在《基于求精的软件体系结构设计方法》一文中研究指出分析了当前软件体系结构研究对软件开发支持存在的不足,将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中,结合抽象层次和层次视图,提出了一个基于求精的软件体系结构设计方法——ARSADM,给出了其关键步骤和过程,用于指导软件体系结构的正确设计。(本文来源于《计算机工程》期刊2007年16期）
祝义,张广泉[10]（2006）在《基于UML和Z的软件体系结构求精方法及其应用》一文中研究指出论文探讨了如何将可视化建模语言UML和形式化描述语言Z集成而得到一种新的求精方法,寻求一种在软件体系结构求精过程中UML到Z的映射与转换机制。最后通过使用这个新的求精方法对一个实例求精来描述整个求精过程。(本文来源于《计算机工程与应用》期刊2006年05期）
体系结构求精论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
物联网的基本功能是感知物理环境,并根据实时的感知信息和用户的执行需求实现对物理环境的控制.因此,感执模块是物联网软件的核心模块.为最终将软件体系结构应用于物联网软件的开发,在基于物理模型的物联网软件体系结构(physical-model driven software architecture,简称PMDA)研究的基础上,对PMDA中的感执模型SEM进行求精,求精后的感执模型称为R-SEM.R-SEM考虑了物联网的特有属性,将SEM的内部构件按照物理应用的感执工作流程分解为用通信顺序进程(communication sequential process,简称CSP)表达的子构件来说明构件端口的功能实现,并采用CSP中的导管运算符来说明子构件的端口与构件的端口之间的同步,通过CSP描述了子构件与子构件之间的交互.使用进程分析工具(process analysis toolkit,简称PAT)对R-SEM进行了验证.验证结果表明:R-SEM中子构件之间的交互、子构件的端口与构件的端口之间的同步保持了SEM所具有的保证物理应用之间有效互联的性质——不死锁、不中止和不发散.由于R-SEM精化了SEM的内部组成,且保持了SEM的有效互联性质,因此,R-SEM对最终将PMDA应用于物联网软件的开发具有实际的指导意义.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
体系结构求精论文参考文献
[1].王小刚,闫光辉,周宁.一种软件体系结构可拓建模和求精设计方法[J].兰州交通大学学报.2018
[2].谢开斌,陈海明,崔莉.物联网软件体系结构中的感执模型的求精[J].软件学报.2014
[3].张玲红,张广泉.基于XYZ/ADL的电梯控制系统体系结构的描述与求精[J].计算机测量与控制.2011
[4].陈枢茜,张广泉.基于XYZ/ADL的工厂自动化系统体系结构描述与求精[J].微计算机信息.2010
[5].申利民,马川,王建龙,牛景春,彭思维.基于上下文相关的软件体系结构求精方法[J].计算机工程与设计.2009
[6].李伟,李长云.软件体系结构求精研究[J].计算机技术与发展.2008
[7].李伟.基于π演算的软件体系结构求精研究[D].湖南工业大学.2008
[8].李长云,文志华,廖立君.软件体系结构的行为求精[J].湖南工业大学学报.2007
[9].赵恒,叶俊民,王振宇.基于求精的软件体系结构设计方法[J].计算机工程.2007
[10].祝义,张广泉.基于UML和Z的软件体系结构求精方法及其应用[J].计算机工程与应用.2006
标签：软件体系结构; 软件体系结构描述语言; 可拓学; 可拓设计;