导读:本文包含了体系结构精化论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:体系结构,软件,语言,方法,时序,分布式,实时。
体系结构精化论文文献综述
任洪敏,刘晋[1]（2013）在《软件体系结构交互动作精化研究》一文中研究指出分析了当前体系结构精化的研究工作,基于体系结构形式化描述语言ADL,提出了体系结构交互动作精化的概念,定义了交互动作精化的规约方法,给出了交互动作精化遵循的法则,有效地解决体系结构精化过程中构件与其交互动作的抽象层次不匹配的问题。开发了体系结构交互动作精化的推导算法,确保精化过程中高层体系结构的行为特性得到保持,并自动生成低层体系结构。实例研究表明了该方法的可行性。(本文来源于《电子科技大学学报》期刊2013年01期）
丁湘陵[2]（2012）在《基于B方法的体系结构描述语言的精化研究》一文中研究指出通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法:首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.(本文来源于《怀化学院学报》期刊2012年02期）
金旗铭[3]（2009）在《基于时序逻辑语言的分布式实时软件体系结构描述与精化》一文中研究指出如何解决系统的分布性、实时性和并发性问题是分布式实时系统研究中的难点和重点。但如果将参与实时交互行为的各独立计算结点看成一个个组件,那么参与实时交互行为成为了各组件的实时性交互行为,分布式实时系统的分布性、实时性和并发性也转换成了各组件之间交互行为的属性。本文介绍了分布式实时系统的概念、特点和软件体系结构的基本理论,比较和分析了几种常用形式化方法的特点。在分布式实时软件体系结构描述和精化中引入了实时组件与实时连接件的概念,给出了它们的XYZ/E时序逻辑语义,并证明了它们之间实时连接匹配的条件。本文主要提出了基于时序逻辑语言XYZ/E的分布式实时软件体系结构描述与精化的方法。首先,分析系统中组件之间实时性交互行为,形成系统规范并予以整体描述。然后,确定系统的组件和连接件的规范;组件与组件、组件与连接件之间的连接,实现了体系结构第一层的整体描述。接着对连接件和抽象的组件进行逐层分解,精化到若干个具体的功能组件;再将功能组件逐步平滑过渡到具体可执行的实时语句程序。最后以实时售票系统为例,分析系统实时性,描述软件体系结构,逐层精化实时组件,平滑过渡到具体的可执行的实时语句程序。通过该实例表明此方法是清晰、简洁、实用、可靠,具有一定的实际应用价值。(本文来源于《苏州大学》期刊2009-05-01）
陈枢茜[4]（2007）在《基于UML和XYZ/ADL的软件体系结构描述及精化研究》一文中研究指出随着信息系统与软件产品规模的急剧扩大,软件体系结构逐渐成为软件工程领域的热点及关键技术,日益受到国内外学术界和工业界的关注。软件体系结构关注系统的全局组织形式,是对系统结构高层抽象的描述。软件体系结构描述是软件体系结构的一个首要研究内容。采用适当的方法描述体系结构,关系到开发人员之间的理解,也影响到系统的分析、精化、验证等后续工作。目前,软件体系结构描述的主要方法是UML与ADL。其中UML是通用的可视化建模语言,适用于软件开发的各个阶段。软件体系结构描述语言ADL是形式化描述体系结构的基本工具,采用更接近程序语言的符号体系,适用于不同系统的建模。两者在体系结构描述方面各有优点。本文首先介绍了软件体系结构的基本概念及描述方法,比较了UML与ADL描述软件体系结构的优缺点;分析了XYZ/ADL描述软件体系结构的方法;提出一种UML状态图到XYZ/ADL的转换机制;根据UML与ADL各自的特点,采用将UML与XYZ/ADL相结合的方法对软件体系结构进行描述,并通过对工厂自动化系统进行体系结构描述及精化来验证该方法的可行性。本文的研究结果说明在软件体系结构描述及精化过程中,UML与XYZ/ADL可以很好的相结合,可以将两者的优势充分的发挥,使得软件体系结构的每一步精化都能够平滑的过渡。(本文来源于《苏州大学》期刊2007-10-01）
杨云杞[5]（2006）在《软件体系结构精化和代码生成的自动化》一文中研究指出一个大型软件的体系结构应该是一个分层次的体系结构，每一层都是该软件的一个体系结构。位于最上层的体系结构是最抽象的，位于最下层的体系结构是最具体的，直接用于生成代码，中间每一层都是它上层体系结构的精化。这样，一个体系结构层次，通常是从最上层自顶向下对每个构件、连接子逐步精化得到的。 目前，在软件体系结构精化领域，普遍认可的是，使用精化模式完成对软件体系结构构件和连接子的精化。本文立足于软件体系结构精化领域，提出了一种新的算法，分别用于体系结构构件和连接子的精化，并使用C++语言实现了该算法。该算法基于一阶逻辑和CSP(Communicating Sequential Processes)理论，它们都是用来描述构件和连接子的语义的，一阶逻辑可以很好地描述顺序程序的语义部分，但缺乏描述并发事件的能力；CSP是专门为描述并发事件的进程而设计的，故而，并发程序语义部分用CSP来描述。具体来说，首先，将构件的规范和连接子的连接信息形式化描述为一阶逻辑，即计算机可以识别的形式。对于连接子部分，还需要用进程符号来描述交互事件的时序控制逻辑；然后，利用消解原理，对转化为计算机内部表示的体系结构定理、待证结论进行消解，将软件体系结构的精化问题转换为定理的自动证明问题；再根据消解过程中生成的最一般合一替换以及对有用子句的跟踪构造消解证明树，换成合一树，进而从合一树中抽取用于精化体系结构的重要信息，对于连接子内部并发进程代码部分，CSP可以自动生成，这样便完成了对构件和连接子的自动精化。这些信息包括精化后体系结构的那些构件和连接子的内部互联，与体系结构原有部分的互联，以及旧体系结构的构件和连接子与新体系结构的构件和连接子之间的对应关系。在基于构件的软件开发过程中，可以利用该算法自动生成胶合代码。(本文来源于《大连理工大学》期刊2006-12-05）
丁湘陵[6]（2006）在《基于B方法的软件体系结构描述语言的精化研究》一文中研究指出伴随着计算机软件系统的规模和复杂程度的提高,软件系统的结构变得日益复杂,软件设计重心从“算法+数据结构”设计转变成为体系结构设计。软件体系结构已经成为决定软件系统质量的重要因素,是软件产品线开发的关键技术之一,并因此成为当前软件工程领域的一个研究热点。 体系结构描述语言(ADL,Architecture Description Language)是软件体系结构研究的核心问题之一。它不但是形式化描述软件体系结构的基本工具,而且也是对软件体系结构进行求精、验证、演化和分析的前提和基础。在最近一段时期,人们已经提出了很多用于体系结构建模的体系结构描述语言。基于这些已经开发的体系结构描述语言,Medvidovic和Taylor提出了一种体系结构规约语言分类和比较的框架,详细分析了十种体系结构规约语言存在的优点和不足,他们指出现有体系结构规约语言通常都提供形式化的标记符号描述构件、连接件和系统配置,提供工具支持体系结构的分析和可视化,然而在体系结构精化、动态体系结构、体系结构分析和体系结构实现等方面存在不足,研究和支持甚少。 据此,选择缺乏形式化语义基础的体系结构描述语言ABC/ADL,使用经过事件机制扩展的形式化方法B方法对ABC/ADL语言进行精确描述,提出了构件、连接子观察模型,基于观察模型分析了体系结构并提出构件、连接子的定义。其中重点研究了基于软件体系结构描述语言的构件和连接子的精化方法,通过将ABC/ADL描述的构件或者连接子初始观察模型进行更深层次的精化达到可执行代码,通过实例数据库系统的建模、描述和精化来说明这种方法的可行性。最后进行了总结和展望。(本文来源于《湖南师范大学》期刊2006-03-01）
体系结构精化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法:首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
体系结构精化论文参考文献
[1].任洪敏,刘晋.软件体系结构交互动作精化研究[J].电子科技大学学报.2013
[2].丁湘陵.基于B方法的体系结构描述语言的精化研究[J].怀化学院学报.2012
[3].金旗铭.基于时序逻辑语言的分布式实时软件体系结构描述与精化[D].苏州大学.2009
[4].陈枢茜.基于UML和XYZ/ADL的软件体系结构描述及精化研究[D].苏州大学.2007
[5].杨云杞.软件体系结构精化和代码生成的自动化[D].大连理工大学.2006
[6].丁湘陵.基于B方法的软件体系结构描述语言的精化研究[D].湖南师范大学.2006
论文知识图
