基于层次消息总线的软件体系结构描述语言 被引量：18

1

作者 张世琨 王立福 +1 位作者 常欣 杨芙清 《电子学报》 EI CAS CSCD 北大核心 2001年第5期581-584,共4页

以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造... 以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造、细化和验证 ,并具有快速生成原型的能力 ,还支持代码框架的自动生成和系统体系结构的动态演化 . 展开更多

关键词 软件体系结构 层次消息总线 体系结构描述语言

在线阅读 下载PDF 职称材料

基于面向对象Petri网的软件体系结构描述语言 被引量：10

2

作者 于振华 蔡远利 《西安交通大学学报》 EI CAS CSCD 北大核心 2004年第12期1236-1239,1275,共5页

以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直... 以面向对象Petri网为形式化理论基础 ,提出了一种基于面向对象Petri网的体系结构描述语言 (OP NADL) .与传统的体系结构描述语言相比 ,OPNADL能描述系统的静态和动态语义 ,可利用Petri网的数学分析方法对系统进行动态分析 ,能形象、直观地刻画系统的整体和个体特性 ,同时可以利用相应的Petri网支持工具对软件体系结构进行模拟、分析和验证 .通过OPNADL在公安地理信息系统和柔性制造教学系统开发中的实践证明 ,OPNADL可以有效地辅助软件设计人员在体系结构层次上对系统进行分析和设计 ,从而提高了系统的开发效率 。 展开更多

关键词 软件体系结构 体系结构描述语言 面向对象PETRI网

在线阅读 下载PDF 职称材料

产品线体系结构描述语言VADL的设计 被引量：1

3

作者 张涛 吴健 +1 位作者 胡正国 王海鹏 《西北工业大学学报》 EI CAS CSCD 北大核心 2006年第1期59-62,共4页

设计了一种产品线体系结构描述语言VARIAB ILITY-ENAB LED A RCH ITECTURE D ESCRIPTIONLANGUAGE(VADL)。该语言采用变化组件和组件变化性接口,分别描述体系结构级和组件级变化性;支持组件层次组装,特别是提供变化点动态绑定、守护条件... 设计了一种产品线体系结构描述语言VARIAB ILITY-ENAB LED A RCH ITECTURE D ESCRIPTIONLANGUAGE(VADL)。该语言采用变化组件和组件变化性接口,分别描述体系结构级和组件级变化性;支持组件层次组装,特别是提供变化点动态绑定、守护条件约束等组件变化性组装技术;具有基于扩展Π演算的行为语义模型,可描述行为语义变化性以及运行态变化性;通过体系结构实例,实现对产品线体系结构的定制和复用。 展开更多

关键词 产品线体系结构 体系结构描述语言 变化性

在线阅读 下载PDF 职称材料

新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用 被引量：2

4

作者 杨鹏 刘业 《电子学报》 EI CAS CSCD 北大核心 2007年第1期165-169,共5页

首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持... 首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持对网络体系结构的形式化建模.然后以分布式流媒体服务(DSMS)体系结构的形式化规约为例,对INSADL的应用进行了探讨.通过对DSMS体系结构中的实体构件、交互连接件、体系结构配置等的规约和分析,验证了INSADL的形式化建模和体系结构分析能力. 展开更多

关键词 网络体系结构 体系结构描述语言 INSADL 流媒体服务

在线阅读 下载PDF 职称材料

一种基于交互的网络服务体系结构描述语言 被引量：1

5

作者 杨鹏 刘业 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第5期685-689,共5页

在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络... 在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础. 展开更多

关键词 网络体系结构 体系结构描述语言 实体构件 交互连接件

在线阅读 下载PDF 职称材料

基于统一建模语言的软件体系结构描述 被引量：6

6

作者 杨卫东 于卫 蔡希尧 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第1期25-29,共5页

系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键,目前对软件体系结构的研究主要集中在软件体系结构的分析、描述等方面.利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构与当前主流的面向对象软件开发... 系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键,目前对软件体系结构的研究主要集中在软件体系结构的分析、描述等方面.利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构与当前主流的面向对象软件开发方法相结合,给出了软件体系结构的核心模型,并从多个视图描述了软件体系结构.这样,就可在软件开发方法中重用软件体系结构,也可利用开发方法众多的支持工具. 展开更多

关键词 软件重用 统一建模语言 软件体系结构 体系结构描述语言

在线阅读 下载PDF 职称材料

一种新型的软件体系结构描述方法研究 被引量：6

7

作者 黄正宝 张广泉 《微电子学与计算机》 CSCD 北大核心 2006年第12期82-84,88,共4页

UML2.0与XYZ/ADL在软件体系结构描述方面具有很强的互补性,如果将两者结合起来描述软件体系结构,不仅便于开发人员之间的理解和交流,也可以对体系结构进行下一步的分析和验证。文章分析了UML2.0跟UML1.X相比在软件体系结构描述方面的改... UML2.0与XYZ/ADL在软件体系结构描述方面具有很强的互补性,如果将两者结合起来描述软件体系结构,不仅便于开发人员之间的理解和交流,也可以对体系结构进行下一步的分析和验证。文章分析了UML2.0跟UML1.X相比在软件体系结构描述方面的改进之处,根据UML2.0与XYZ/ADL在软件体系结构描述中的对应关系,提出一种通过定义UML2.0的XYZ/E语义,将UML2.0与XYZ/ADL结合起来描述软件体系结构的一种新的途径。 展开更多

关键词 软件体系结构 体系结构描述语言 形式化描述 可视化描述 UML 2.0 XYZ/ADL

在线阅读 下载PDF 职称材料

基于π-ADL的软件体系结构描述

8

作者 王小刚 李玉龙 韩虎 《兰州交通大学学报》 CAS 2010年第6期99-101,共3页

为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了π-ADL的使用方法.最后说明在π-ADL描述基础上软件体系结构的求精.

关键词 软件体系结构 体系结构描述语言 π-ADL 形式化

在线阅读 下载PDF 职称材料

一种软件体系结构可拓建模和求精设计方法 被引量：1

9

作者 王小刚 闫光辉 周宁 《兰州交通大学学报》 CAS 2018年第4期34-39,共6页

软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法... 软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法,提出了一种新的软件体系结构建模和求精方法.软件体系结构及其元素由粒度不同的基元描述,而软件体系结构的求精则由对基元的多种变换来实现;通过定义可拓变换模式和使用转换桥方法以改进软件体系结构设计,解决不兼容甚至冲突问题;最后,给出了可拓建模和求精设计的实例.从实例可以看出,使用可拓理论和方法,能较好地从语义和结构两方面描述和精化系统,有助于在形式化层面解决软件体系结构设计中的优化问题和冲突问题. 展开更多

关键词 软件体系结构 软件体系结构描述语言 可拓学 可拓设计 基元 可拓变换

在线阅读 下载PDF 职称材料

基于ADL描述的ASIP模型体系架构 被引量：1

10

作者 朱勇 《微电子学与计算机》 CSCD 北大核心 2013年第8期53-56,共4页

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

关键词 体系结构描述语言 “功能-结构-物理”模型 专用指令集处理器 “描述-综合”设计方法学

在线阅读 下载PDF 职称材料

软件体系结构研究概述 被引量：2

11

作者 柴世红 《兰州工业高等专科学校学报》 2008年第1期40-44,共5页

近年来,软件体系结构逐渐成为软件工程领域的研究热点.分析了软件体系结构发展的背景,给出了几种重要的软件体系结构的定义并进行了对比,介绍软件体系结构近十年来的研究进展,概述了国内外软件体系结构的研究方向及应用情况.

关键词 软件体系结构 体系结构模型 体系结构描述语言

在线阅读 下载PDF 职称材料

Wright语言的实时扩展 被引量：1

12

作者 崔小乐 张兴 +2 位作者 闵俊 崔小欣 胡建军 《微电子学与计算机》 CSCD 北大核心 2006年第3期11-15,共5页

Wright是一种适合于对具有并发特性的系统进行仿真建模的著名体系结构描述语言。文章针对Wright语言对实时性描述支持的不足,利用TCSP对其进行了行为语义的扩展,增强其对具有实时并发特性的系统进行建模的能力。利用扩展后的Wright语言... Wright是一种适合于对具有并发特性的系统进行仿真建模的著名体系结构描述语言。文章针对Wright语言对实时性描述支持的不足,利用TCSP对其进行了行为语义的扩展,增强其对具有实时并发特性的系统进行建模的能力。利用扩展后的Wright语言,在系统开发的早期即可对系统的活性、安全性等时间相关的特性进行模型检验。 展开更多

关键词 体系结构描述语言 Wfight TCSP 实时系统

在线阅读 下载PDF 职称材料