导读:本文包含了软件体系结构描述语言论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:体系结构,语言,软件,动态,构件,时序,软件工程。
软件体系结构描述语言论文文献综述
陈雪元[1]（2014）在《软件体系结构描述语言-WrightADL》一文中研究指出本文主要介绍一种比较具有代表性的软件体系结构描述语言-WrightADL,通过一个简单的例子对WrightADL的语法进行说明,最后讨论了WrightADL的一致性检测方法。(本文来源于《科技风》期刊2014年09期）
肖佳[2]（2013）在《基于软件体系结构的构件模型和语言初探》一文中研究指出本文主要介绍了一种基于软件体系结构的构件模型和语言,其中主要包括构件模型SACM,面向构件语言SAJ,SAJ语言的语法、语义和类型系统,丰富构件接口信息等几个方面。通过研究表明,该模型和方案能解决软件开发中所面临的问题,有利于软件的开发和完善,在今后的实际工作中值得进一步推广和应用。(本文来源于《学园》期刊2013年14期）
段玉春,朱小艳[3]（2013）在《软件体系结构动态演化的Z描述语言扩展方法》一文中研究指出针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性.(本文来源于《兰州理工大学学报》期刊2013年01期）
徐莹[4]（2013）在《一种软件体系结构描述语言分类和比较方法》一文中研究指出软件架构转变了开发者从通信线路到粗粒度的体系结构元素和整体互连结构的代码的开发重点。架构描述语言(ADLs)已被提议作为支持基于发展的软件体系建模符号。但是,对什么是ADL、什么样的架构方面应以ADL来建模和有哪几种可能的情形为最适合某个特定问题,很少达成研究界的共识。此外,很少有对ADLs在某一方面或针对某一正式的规范就模块的连接,仿真、编程语言与其他方面做出区别。本文提出了对ADLs定义和分类的框架,通过定义可以把ADLs与其他建模符号区别开来,通过框架可以区分和比较几种现有的ADLs并在这一过程中确定ADLs的关键特性。(本文来源于《中国管理信息化》期刊2013年01期）
周绪川[5]（2012）在《适用于动态软件体系结构的扩展的Z描述语言》一文中研究指出动态软件体系结构语言已成为描述复杂软件体系结构的重要工具,然而许多描述语言都是静态的,并不能对动态软件体系进行描述。为此,对经典Z描述语言进行扩展,主要通过对构件、连接件和它们的添加以及删除来达到动态演化的目的。实例分析表明了这种扩展的可行性。(本文来源于《计算机应用研究》期刊2012年09期）
徐莹[6]（2012）在《关于模块化软件体系结构描述语言的综合方法》一文中研究指出过去几十年的研究表明,在组件和连接器方面对软件进行模块化构建是用途广泛的,这导致了大量模块标记的产生。每种标记专注于系统模块化的不同方面,一般来说这些标记致力于利用已有的标记来发展新的标记而忽略了重用和扩展。为了解决这一问题,本文研究了一种新的办法———允许快速地构建新的描述性语言(ADLs),该语言利用XML和XML的扩展机制来完成。本文定义了一组类别,重用ADL模块称作XADL 2.0,它可以作为ADL单独使用,也可以扩展支持新的应用和领域,实验验证了本文方法的有效性、可扩展性和灵活性。(本文来源于《中国管理信息化》期刊2012年05期）
刘辉[7]（2010）在《基于Petri网的面向服务软件体系结构描述语言》一文中研究指出面向服务软件体系结构(SOA)作为近年来软件工程领域出现的一个新兴研究方向,因其能够应对复杂多变的企业业务需求而得到迅速的发展和应用。面向服务以服务作为其核心元素,以Internet为支撑平台,以分布式原理为指导,它对分布在网络上的服务以灵活透明的方式进行组合编排以完成特定的业务需求。面向服务领域的形式化研究目前尚处于起步阶段,而非形式化描述的不清晰和不一致给软件系统的开发带来诸多困难。基于以上背景本文对服务和面向服务进行了研究分析,给出基于角色的SOA参考模型,并提出了面向服务体系结构的形式化描述语言SOP/ADL。采用SOP/ADL对SOA系统进行描述,能够保证系统描述的精确性,在系统实施前可对其进行可行性与有效性验证。本文具体工作如下：首先,以继承的观点对服务的元素和属性及它们之间的关系进行详细分析,得到服务的基本属性和目标属性。在服务属性分析的基础之上,给出了基于角色的SOA参考模型,并对静态模型部分中角色和数据元素、及动态模型部分中角色间的交互进行了深入研究,然后给出了静态模型和动态模型之间的关系。其次,根据对面向服务体系结构的研究,给出了面向服务体系结构描述语言的基本框架,包括服务组件、连接件和系统配置等基本元素。以Petri网为形式化基础,定义了面向服务软件体系结构的描述语言SOP/ADL,并给出了服务组件的四种基本组合运算的定义和描述。最后,分析了一个简单的SOA实例,给出其模型结构,在其上应用SOP/ADL进行描述,并对描述后形成的网系统,利用Petri网分析方法对其性质进行分析验证,得到SOP/ADL在SOA系统上描述的可行性和正确性。(本文来源于《东北大学》期刊2010-06-01）
高俊,沈才梁,郑美芳,李长云[8]（2010）在《一种面向自适应软件系统的体系结构描述语言》一文中研究指出从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说明了面向自适应软件系统的体系结构描述语言SOS-ADL的应用。(本文来源于《计算机应用研究》期刊2010年05期）
郭广义,李代平,梅小虎[9]（2009）在《Z语言与软件体系结构风格的形式化》一文中研究指出软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式。形式化则是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一。文中通过Z语言描述管道-过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用Z语言形式化的描述软件体系结构风格,从中可以看出Z语言的严谨、清晰、简洁。(本文来源于《计算机技术与发展》期刊2009年05期）
金旗铭[10]（2009）在《基于时序逻辑语言的分布式实时软件体系结构描述与精化》一文中研究指出如何解决系统的分布性、实时性和并发性问题是分布式实时系统研究中的难点和重点。但如果将参与实时交互行为的各独立计算结点看成一个个组件,那么参与实时交互行为成为了各组件的实时性交互行为,分布式实时系统的分布性、实时性和并发性也转换成了各组件之间交互行为的属性。本文介绍了分布式实时系统的概念、特点和软件体系结构的基本理论,比较和分析了几种常用形式化方法的特点。在分布式实时软件体系结构描述和精化中引入了实时组件与实时连接件的概念,给出了它们的XYZ/E时序逻辑语义,并证明了它们之间实时连接匹配的条件。本文主要提出了基于时序逻辑语言XYZ/E的分布式实时软件体系结构描述与精化的方法。首先,分析系统中组件之间实时性交互行为,形成系统规范并予以整体描述。然后,确定系统的组件和连接件的规范;组件与组件、组件与连接件之间的连接,实现了体系结构第一层的整体描述。接着对连接件和抽象的组件进行逐层分解,精化到若干个具体的功能组件;再将功能组件逐步平滑过渡到具体可执行的实时语句程序。最后以实时售票系统为例,分析系统实时性,描述软件体系结构,逐层精化实时组件,平滑过渡到具体的可执行的实时语句程序。通过该实例表明此方法是清晰、简洁、实用、可靠,具有一定的实际应用价值。(本文来源于《苏州大学》期刊2009-05-01）
软件体系结构描述语言论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要介绍了一种基于软件体系结构的构件模型和语言,其中主要包括构件模型SACM,面向构件语言SAJ,SAJ语言的语法、语义和类型系统,丰富构件接口信息等几个方面。通过研究表明,该模型和方案能解决软件开发中所面临的问题,有利于软件的开发和完善,在今后的实际工作中值得进一步推广和应用。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
软件体系结构描述语言论文参考文献
[1].陈雪元.软件体系结构描述语言-WrightADL[J].科技风.2014
[2].肖佳.基于软件体系结构的构件模型和语言初探[J].学园.2013
[3].段玉春,朱小艳.软件体系结构动态演化的Z描述语言扩展方法[J].兰州理工大学学报.2013
[4].徐莹.一种软件体系结构描述语言分类和比较方法[J].中国管理信息化.2013
[5].周绪川.适用于动态软件体系结构的扩展的Z描述语言[J].计算机应用研究.2012
[6].徐莹.关于模块化软件体系结构描述语言的综合方法[J].中国管理信息化.2012
[7].刘辉.基于Petri网的面向服务软件体系结构描述语言[D].东北大学.2010
[8].高俊,沈才梁,郑美芳,李长云.一种面向自适应软件系统的体系结构描述语言[J].计算机应用研究.2010
[9].郭广义,李代平,梅小虎.Z语言与软件体系结构风格的形式化[J].计算机技术与发展.2009
[10].金旗铭.基于时序逻辑语言的分布式实时软件体系结构描述与精化[D].苏州大学.2009
论文知识图
