导读:本文包含了体系结构形式化论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:体系结构,软件,模型,语言,切点,自动机,物理。
体系结构形式化论文文献综述
罗巨波,应时,刘天时[1]（2019）在《一种支持设计时软件重用的反射式软件体系结构及其形式化研究》一文中研究指出软件体系结构在软件重用中有着特殊的意义。缺乏显式的描述并使用支持体系结构重用过程的信息和缺乏有效的重用方法是软件体系结构难以重用最根本的原因。在软件设计阶段,将元信息、元建模、反射和软件体系结构结合起来,构造了一种支持软件体系结构重用的反射式软件体系结构。给出了基于反射式软件体系结构的软件体系结构重用过程。给出了反射式软件体系结构的具体化过程的基本原理和具体化操作的Object-Z形式化描述,即创建元组件、创建元连接器、创建元组合件操作的形式化描述。给出了基于反射式软件体系结构的软件体系结构重用的支撑工具的设计过程。(本文来源于《计算机工程与科学》期刊2019年08期）
陈海明,崔莉,谢开斌[2]（2016）在《基于物理资源模型的物联网软件体系结构设计与形式化验证》一文中研究指出实现众多物理应用之间的互联是建立物联网的基本方法。然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一。针对该架构设计问题,该研究组提出了一种支持物理应用水平化互联的基于物理资源模型的物联网软件体系结构(PMDA)。PMDA由叁个模型组成,分别是物理模型、感执模型和应用模型。模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件。通过体系结构描述语言Wright对PMDA中的叁个模型的组成以及模型之间的交互进行了形式化描述。通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这叁个影响物理应用有效互联的性质。基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形。(本文来源于《科技创新导报》期刊2016年08期）
侯金奎,杨春花[3]（2016）在《面向方面软件体系结构编织的形式化描述方法》一文中研究指出面向方面的规范描述在软件体系结构建模和分析中起着重要的作用,但目前已有的方法不能对体系结构方面及其编织逻辑的详细描述提供足够的支持,也缺乏行之有效的方法对方面的编织逻辑进行推理和评价。以Petri网作为行为描述和结构描述的统一基础,提出了一种描述软件体系结构方面及其编织逻辑的形式化方法,并通过实例对相关的概念和模型进行了说明。应用研究表明,该方法描述能力强,不仅能描述复杂的方面结构、行为以及相应的编织逻辑,还可对编织效果进行推理和评价。(本文来源于《计算机应用研究》期刊2016年08期）
许海洋,庄毅,顾晶晶[4]（2014）在《一种面向嵌入式软件体系结构的形式化建模方法》一文中研究指出为了解决MARTE(Modeling and Analysis of Real Time and Embedded systems)在建立嵌入式软件模型时不够精确的问题,结合Object-Z和PTA(Probabilistic Timed Automation)的优点,本文提出了一种集成的形式化建模方法——PTA-OZ.该方法不仅能够对嵌入式软件模型的静态语义和动态语义进行精确描述,而且通过模型转换规则,能够将MARTE模型转换为PTA-OZ模型.并对模型转换的语义一致性进行了验证,证明本文方法在转换过程能够保持结构语义和行为语义的一致性.最后通过实例模型描述从嵌入式软件建模到属性检验的过程.(本文来源于《电子学报》期刊2014年08期）
黎明,唐朝霞[5]（2014）在《软件体系结构形式化方法的适用性考察》一文中研究指出论文以一个销售管理系统形式化建模为例,考察了采用形式化方法的适用性原则并探讨了存在的问题。通过遵循试验证明,所提议的规则可以促进模型的简化、强化抽象概念的提取和明确抽象模型与具体模型的区别。在下一步工作中,需要讨论开发过程多阶段的形式化描述以及如何关联多阶段模型。(本文来源于《湖南科技学院学报》期刊2014年05期）
丁湘陵,王志刚[6]（2013）在《基于B方法的体系结构描述语言的形式化研究》一文中研究指出通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。(本文来源于《计算机工程与科学》期刊2013年01期）
孙黎阳,毛少杰,林剑柠,刘中[7]（2012）在《基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述》一文中研究指出网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。(本文来源于《计算机科学》期刊2012年S1期）
倪友聪,叶鹏,杜欣,肖如良,张琳琳[8]（2012）在《软件体系结构层切点指示器的形式化描述方法》一文中研究指出软件体系结构层切点指示器是在软件体系结构层次上实现量化机制和描述方面编织的基础。一些面向方面软件体系结构的描述语言虽然引入了切点指示器(Pointcut Designator)的语法成分,但仍未给出其语义的形式化描述,因而难以精确刻画软件体系结构层方面的注入位置。针对这一问题,基于面向方面软件体系结构描述语言AC2-ADL的抽象语法树形式,设计了一种一阶逻辑语言LL4PCD(Logic Language for PCD)。在此基础上,提出AC2-ADL语言PCD的形式化描述方法。该方法能精确定义软件体系结构层PCD的语义,可为形式化分析软件体系结构层方面编织提供支持。(本文来源于《计算机科学》期刊2012年01期）
王磊,罗雪山,舒振[9]（2011）在《C~4ISR体系结构服务视图及其演化的形式化描述方法》一文中研究指出为描述"网络化作战"中C4ISR系统资源的动态集成过程,实现作战任务过程与军事系统资源的分离,在DoDAF2.0、NATOAFv3.0、MoDAF1.2等体系结构框架研究基础上,提出了一种C4ISR体系结构服务视图描述框架。通过服务视图产品的形式化描述,分析了服务视图产品间的逻辑关系,为应对作战任务过程调整重点研究了基于OWL-S的服务交互过程模型形式化描述方法,将服务交互过程模型的演化描述转化为本体描述的变化操作,最后从基本变化和组合变化操作对服务交互过程的演化描述进行了分析。(本文来源于《国防科技大学学报》期刊2011年03期）
祝义,黄志球,曹子宁,周航,刘亚萍[10]（2010）在《一种基于形式化规约生成软件体系结构模型的方法》一文中研究指出使用LOTOS描述实时系统需求规约,通过建立LOTOS规约到UML-RT模型的模型转换,提出一种基于形式化规约生成软件体系结构模型的方法.最后,通过一个实例来说明如何将该方法应用于实时软件建模.利用这种方法建立的UML-RT模型,能够从整体上提高实时系统软件体系结构设计的可信性.(本文来源于《软件学报》期刊2010年11期）
体系结构形式化论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
实现众多物理应用之间的互联是建立物联网的基本方法。然而,如何设计一种有效的架构指导物理应用的水平化互联是目前物联网研究领域尚未解决的问题之一。针对该架构设计问题,该研究组提出了一种支持物理应用水平化互联的基于物理资源模型的物联网软件体系结构(PMDA)。PMDA由叁个模型组成,分别是物理模型、感执模型和应用模型。模型之间以及模型内的组件之间通过连接器进行连接与交互,模型或组件在交互时需要满足一定的约束条件。通过体系结构描述语言Wright对PMDA中的叁个模型的组成以及模型之间的交互进行了形式化描述。通过一种形式化验证工具PAT验证了用Wright描述的PMDA可以保证水平化互联起来的物理应用的有效性,即不存在死锁、发散和中止这叁个影响物理应用有效互联的性质。基于PAT的验证结果,通过数学归纳法证明了根据PMDA开发的物联网应用系统在交互时不存在死锁、发散和中止的情形。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
体系结构形式化论文参考文献
[1].罗巨波,应时,刘天时.一种支持设计时软件重用的反射式软件体系结构及其形式化研究[J].计算机工程与科学.2019
[2].陈海明,崔莉,谢开斌.基于物理资源模型的物联网软件体系结构设计与形式化验证[J].科技创新导报.2016
[3].侯金奎,杨春花.面向方面软件体系结构编织的形式化描述方法[J].计算机应用研究.2016
[4].许海洋,庄毅,顾晶晶.一种面向嵌入式软件体系结构的形式化建模方法[J].电子学报.2014
[5].黎明,唐朝霞.软件体系结构形式化方法的适用性考察[J].湖南科技学院学报.2014
[6].丁湘陵,王志刚.基于B方法的体系结构描述语言的形式化研究[J].计算机工程与科学.2013
[7].孙黎阳,毛少杰,林剑柠,刘中.基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述[J].计算机科学.2012
[8].倪友聪,叶鹏,杜欣,肖如良,张琳琳.软件体系结构层切点指示器的形式化描述方法[J].计算机科学.2012
[9].王磊,罗雪山,舒振.C~4ISR体系结构服务视图及其演化的形式化描述方法[J].国防科技大学学报.2011
[10].祝义,黄志球,曹子宁,周航,刘亚萍.一种基于形式化规约生成软件体系结构模型的方法[J].软件学报.2010
论文知识图
