体系结构描述语言

摘要： 为使MPI并行计算软件具有运行时改变软件功能和拓扑的能力,基于MPI系统模型提出一种用于描述和实现动态演化的两层软件框架.在管理层,采用适用于消息传递的管道-过滤器风格规范系统的结构、分析并行软件的可演化性,并约定一种相应的动态ADL用于描述演化行为.在计算层,设计符合管道-过滤器风格的构件元模型及过滤器的重配置管理自动机.针对实现演化的两个核心问题,即进程的启动和数据连接的建立释放,实现基于MPI动态进程管理的重配置方法.通过性能测试,验证了该软件框架的可用性,为并行计算软件的动态演化提供了一种新的实现方法.

摘要： 提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建,并以此作为原型设计和对使用基于模型工具创建的设计替代方案进行分析评价的参考环境.文章提出的CPS体系结构模式在AcmeStudio中进行实现,并且对组件和连接器做了行为解释,这些行为解释通过以标签转换系统分析器(LTSA)作为扩展插件的有限状态进程(FSP)或者以多面混合自动机验证机(PHAVer)作为扩展插件的线性混合自动机(LHA)进行验证.最后,文章用一个锅炉温度控制系统的实例来解释提出的CPS体系结构模式和所用到的分析插件.

摘要： 介绍了几种通用的处理器体系结构， ASIP （专用指令集处理器）体系结构，研究分析ASIP传统的设计方法的不足，给出了基于ADL （体系结构描述语言）的ASIP系统级设计方法，描述了基于ADL的设计流程与优点。

摘要： 通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法.该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为.%By analyzing the features of B method and software architecture description language ABC/ADL, this paper proposes a formal software method combining B method and ABC/ADL. The method utilizes the extended event mechanism of B method, defines components, connectors, behavior specification, behavior constraints and constraints instances of the Architecture description language ABC/ADL, and then makes the B method based ABC/ADL be able to formally describe the structure and behavior of the software architecture.

摘要： 软件架构转变了开发者从通信线路到粗粒度的体系结构元素和整体互连结构的代码的开发重点.架构描述语言(ADLs)已被提议作为支持基于发展的软件体系建模符号.但是,对什么是ADL、什么样的架构方面应以ADL来建模和有哪几种可能的情形为最适合某个特定问题,很少达成研究界的共识.此外,很少有对ADLs在某一方面或针对某一正式的规范就模块的连接,仿真、编程语言与其他方面做出区别.本文提出了对ADLs定义和分类的框架,通过定义可以把ADLs与其他建模符号区别开来,通过框架可以区分和比较几种现有的ADLs并在这一过程中确定ADLs的关键特性.

摘要： 为了获取ASIP(专用指令集处理器)体系结构可执行模型,实现自动化设计,研究遵循"描述-综合"设计方法学,采取了ADL(体系结构描述语言)手段,构建了对象的"功能-结构-物理"三层描述,将复杂的ASIP系统划分为不同的模型视图.ADL允许设计者以纯行为形式描述抽象复杂系统,且语言本身很容易被软件捕捉执行,因此ADL规约将驱动整个ASIP设计流程.

摘要： 当前分析和设计物理信息系统的模型和方法通常是线性分离的,且由不同的数学形式化方法和工程与计算机科学中的不同方法定义.为便于处理,对关注点分离是必要的,但这种分析方式由于在系统设计时过早地将系统信息特征与物理特征分离,导致很难评估直接与这两个领域进行交互的可替换元素的影响和协调性.文中对围绕组成CPS系统的所有范围的元素的架构描述进行扩展,最终目的是能够建立一个可扩展的框架,包括一套可被创建的综合设计工具.由此文中提出这种物理信息系统建模方法并通过一个简单应用实例对方法进行说明.%Today's models and methods for analysis and design of cyber-physical systems (CPS) are typically fragmented along lines defined by disparate mathematical formalisms and dissimilar methodologies in engineering and computer science. While separation of concerns is needed for tractability, such analytical approaches often impose an early separation between the cyber and physical features of the system design,making it difficult to assess the impacts and tradeoffs of alternatives that cut across the boundaries between these domains. It presents extensions to software architectural descriptions to encompass the full range of elements that comprise cyber-physical systems. The ultimate goal is to create an extensible framework within which a comprehensive set of design tools can be created. So a CPS architectural style was presented in this way and then it was illustrated with a simple example.

摘要： 网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。

摘要： 针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL.该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期.相关辅助工具表明了它的有效性和实用性.%To solve the problem of abstractly setting up the static,running and dynamic architecture model for the system constructed by the SMC component model,an architecture description language, which is named SMC/ADL and expressed by XML,was put forward. From the three perspectives of the type,instance and instance-behavior, SMC/ADL utilizes a set of XML schemas to define the integrated architecture convention framework supporting software modeling from design to running,until evolution phase, so as to extend the support for the architecture high-level abstracting to the whole lifecycle of software. Relevant tools have testified its validity and practical applicability.

摘要： This paper presents a formal software refinement method.The method combines the extended event mechanism of B and the Architecture description language,which provides a formal path from design to implementation with transformation of notation or the definition of a new calculus.%通过分析B方法和软件体系结构描述语言各自的特点,提出了一种使两者无缝集成的精化开发方法：首先定义精化约束和规则保证在精化过程中模型系统的一致性;然后对ABC/ADL复合构件和复杂连接子使用定义的精化约束和规则逐步精化,直到可执行程序,最后给出实例加以说明该方法的可行性.

摘要： 体系结构描述语言为软件体系结构提供了一种规范化的描述,使得软件体系结构的自动化分析变得可能,是基于体系结构的软件开发的基础。然而,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,从而导致了软件体系结构设计方案难以理解、难以演化和难以重用等问题。本文通过设计一种新的面向方面的软件体系结构描述语言Epoch,使用方面组件明确的描述系统的横切关注点;并对传统的体系结构层中连接器进行扩展,并抽象出软件体系结构语境中的注入点,来呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,建立高可靠的软件体系结构。此外,文中还提供了支持Epoch设计的可视化建模工具EpochStudio,以帮助架构师和设计者分析和设计面向方面的体系结构模型。

摘要： 目前描述软件体系结构的语言有很多,但是描述方法不尽相同.本文介绍了软件体系结构和体系结构描述语言的概念,在建模系结构的基础上,讨论了常见的几种体系结构描述语言的异同之处.

摘要： 近年来人们逐渐意识到进行复杂系统的开发时软件体系结构所起到的重要作用,于是许多体系结构描述语言陆续被开发出来.但是每一种语言都针对体系结构的某个不同的方面,从而使得对独立开发的体系结构分析与设计工具进行集成变得很困难.ACME作为体系结构分析与设计工具的一种通用互换格式应运而生.在这篇论文中,我们介绍了ACME语言及其工具、它的基本设计理念、以及我们使用它的一些初步经验.

摘要： 软件体系结构在大型系统开发中的作用虽然得到了前所未有的强调,目前已有的软件体系结构描述语言及支持工具多侧重对软件体系结构设计结果的描述及基于其上的软件体系结构分析和演化,对软件体系结构由粗略到详细、由抽象到具体的设计过程缺乏足够的支持.本文提出一个软件体系结构的渐进迭代设计过程,此过程中将软件体系结构设计过程划分为两个阶段,前一阶段进行软件体系结构的设计分析,是一个迭代设计和评审的过程;第二阶段进行软件体系结构的精确定义.最后,讨论了软件体系结构建模语言及建模支持环境的设计。

摘要： DRTSADL是一种针对分布式实时系统的体系结构描述语言[1].本文首先通过一个实例介绍了DRTSADL的语法结构.接着从DRTSADL的语法结构中抽取基本建模元素,完成可视化建模的设计方案.最后介绍DRTSADL可视化建模工具的具体实现,并用实现后的工具构建了描述的实例系统.

摘要： 由专用指令集处理器(ASIP)构成的片上系统(SoC)具有高效、灵活等优点.有效的ASIP行为级设计方法对于SoC设计具有重大意义.本文对ASIP行为级设计方法进行研究,提出了一种基于体系结构描述语言(ADL)的ASIP行为级设计方法,并介绍了基于该方法的可视化ASIP行为级设计平台xptoo1s.

摘要： EDA技术的成熟和进步,缩短了微处理器硬件设计和综合的周期.同时,开发工具链设计的自动化,已成了高效率、高质量嵌入式微处理器设计的重要内容.本文提出了采用体系结构描述语言(ADL)实现微处理器开发工具链自动设计的有效方法.针对ADL描述流水线的局限性,进行了扩展改进,因而使改进后的ADL能用来直接描述流水线.新方法在CK*CORE开发工具链设计中的应用表明,比用GNU工具链功效有了显著提高.

摘要： SOC的体系结构设计空间搜索过程要求自动生成可重定向的编辑器和仿真器,本文给出一种基于XML的体系结构描述语言XP-ADL以支持实现这个目的.XP-ADL的特征和灵活性使之可以描述不同的体系结构,特别适于描述VLIW.

摘要： Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值.在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ/ASDL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式.

摘要： Web服务组合能够快速开发复杂的Web服务,以促进Web服务的增值.在分析并比较现有的Web服务组合方法的基础上,提出了一种形式化和工业化方法相结合的Web服务组合描述方法。针对Web服务及其组合的特点,研究了基于体系结构的Web服务组合描述方法,采用扩展的XYZ/ASDL定义Web服务及描述其交互的连接件,最后结合一个实例描述Web服务组合的工作方式.

摘要： 本文公开了一种半导体结构及其制造方法、硬件描述语言设计结构，具体公开了形成在半导体材料上的穿透硅过孔(TSV)和接触体、制造方法以及设计结构。该方法包括在形成于基板上的电介质材料中形成接触孔。该方法还包括在基板中以及穿过电介质材料形成过孔。该方法还包括利用沉积技术使接触孔和电介质材料具有金属衬垫，所述沉积技术将避免衬垫在形成于基板中的过孔中形成。该方法还包括用金属填充接触孔和过孔，使得金属形成在接触孔中的衬垫上或者在基板上直接形成在过孔中。

摘要： 本发明公开了半导体器件制造方法及器件结构，硬件描述语言设计结构，具体公开了一种制造器件结构，以及双极结型晶体管的器件结构与设计结构的方法。该器件结构包括在基板中的集电极区域、延伸到该基板中且包括电绝缘体的多个隔离结构、以及在该基板中的隔离区域。隔离结构具有长度，并且以横向于该长度的节距布置，使得隔离结构的每个相邻对被基板的相应部分分开。隔离区域通过集电极区域的第一部分与隔离结构中的至少一个侧向分开。隔离区域将集电极区域的第二部分与集电极区域的第一部分侧向分开。所述器件结构还包括在集电极区域第二部分上的本征基极和在本征基极上的发射极。发射极具有相对于隔离结构的长度横向定向的长度。

摘要： 本发明公开了半导体器件制造方法及器件结构，硬件描述语言设计结构，具体公开了一种制造器件结构，以及双极结型晶体管的器件结构与设计结构的方法。该器件结构包括在基板中的集电极区域、延伸到该基板中且包括电绝缘体的多个隔离结构、以及在该基板中的隔离区域。隔离结构具有长度，并且以横向于该长度的节距布置，使得隔离结构的每个相邻对被基板的相应部分分开。隔离区域通过集电极区域的第一部分与隔离结构中的至少一个侧向分开。隔离区域将集电极区域的第二部分与集电极区域的第一部分侧向分开。所述器件结构还包括在集电极区域第二部分上的本征基极和在本征基极上的发射极。发射极具有相对于隔离结构的长度横向定向的长度。

摘要： 本文公开了一种半导体结构及其制造方法、硬件描述语言设计结构，具体公开了形成在半导体材料上的穿透硅过孔(TSV)和接触体、制造方法以及设计结构。该方法包括在形成于基板上的电介质材料中形成接触孔。该方法还包括在基板中以及穿过电介质材料形成过孔。该方法还包括利用沉积技术使接触孔和电介质材料具有金属衬垫，所述沉积技术将避免衬垫在形成于基板中的过孔中形成。该方法还包括用金属填充接触孔和过孔，使得金属形成在接触孔中的衬垫上或者在基板上直接形成在过孔中。

摘要： 本发明提供一种基于结构化描述语言的测试系统，对前端控制组合各关键技术进行验证，包括执行测试程序集配置模块、测试模块、数据库管理模块；可以实现跨平台安装，扩展了测试渠道，使测试任务进行的更加灵活，软件具备自动生成测试报告功能，减少了人工录入的工作量与出错率。

摘要： 本发明涉及在保护和管理多媒体内容中用于更新IPMP工具的语言表示方法和数据结构、使用它们更新IPMP工具的方法以及使用它们的客户机设备，通过上述能够动态地表示IPMP工具，以便向用户提供便利。在MPEG－21多媒体框架中更新IPMP工具的语言表示方法中，描述IPMP工具的更新信息的更新元素被定义为高一级元素；并且具有关于允许向其承载IPMP工具的位置的信息的位置元素被描述为更新元素的低一级元素。

摘要： 描述了用于扩充配置相关可扩充软件程序的方法和系统。可以通过添加配置相关扩展来扩充核心可扩充软件程序的类。扩展可在编译软件程序的核心版本之前静态地添加，或者在运行时刻动态地添加。可扩充核心类的声明可包括具有该类是静态可扩充还是动态可扩充的指示的可扩充属性。也描述了用于适当地声明配置相关可扩充类的对象描述语言。也描述了用于处理该对象描述语言来生成可扩充类声明及其扩展的源代码表示的预处理器。源代码表示然后可以用来生成核心软件程序的扩充版本。

摘要： 本发明提供了一种获取体系结构描述语言的方法和一种建模工具，所述的方法包括：首先制定一种能描述产品线变化性的DPOSPL ADL元模型；然后，在DPOSPL ADL中引入变量定义和赋值语法；最后，根据体系结构模型的约束，制定DPOSPL ADL的描述规范；所述的体系结构描述语言支持领域分析后的需求特征模型到体系架构模型的转换，可针对需求特征模型中的可变点快速开发出针对特定需求的实际产品的体系架构。

摘要： 本发明提供了一种获取体系结构描述语言的方法和一种建模工具，所述的方法包括：首先制定一种能描述产品线变化性的DPOSPL ADL元模型；然后，在DPOSPL ADL中引入变量定义和赋值语法；最后，根据体系结构模型的约束，制定DPOSPL ADL的描述规范；所述的体系结构描述语言支持领域分析后的需求特征模型到体系架构模型的转换，可针对需求特征模型中的可变点快速开发出针对特定需求的实际产品的体系架构。

摘要： 本发明公开了一种软件体系结构描述语言的快速构建和支持的方法，其特征在于：包括：(1)构建一个可扩展体系结构语言基础FEAL，FEAL指定一套描述性的抽象元素定义、一组元素结构规范和一套映射机制规范，提供构造新ADL的各种表义符号的下层架构基础，将软件体系结构描述语言ADL的表义符号映射到FEAL内部元素；(2)构建基于FEAL的软件体系结构的具有软件体系结构开发通用的模型显示、可视化编辑、属性显示、多视图支持、ADL自动生成、模型结构展示功能的插件式开发平台XArch。本发明可实现一种形式化语法的解析器用于不同的ADL或者体系结构模型，使定义ADL的工作更加方便和快捷，极大的方便了对软件体系结构的研究和分析。有利于软件体系结构在实际工程中应用的推广。