期刊文献+
共找到99篇文章
< 1 2 5 >
每页显示 20 50 100
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量:40
1
作者 朱雪阳 唐稚松 《软件学报》 EI CSCD 北大核心 2003年第4期713-720,共8页
体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于... 体系结构描述语言(architecture description language,简称ADL)是基于体系结构的软件开发的基础,便于表示求精的ADL,使得好的设计能够方便地导出好的实现.时序逻辑语言XYZ/E可在统一的逻辑框架下既表示静态语义又表示动态语义,因而基于XYZ/E的体系结构描述语言XYZ/ADL支持从高层级体系结构到低层级体系结构之间的逐步过渡.系统地阐述了XYZ/ADL的概念框架并用XYZ/E进行语义解释,介绍了如何用XYZ/ADL描述体系结构和体系结构风格. 展开更多
关键词 时序逻辑 软件体系结构 描述语言 XYZ/adl 软件开发 体系结构描述语言 时序逻辑语言
在线阅读 下载PDF
ABC/ADL:一种基于XML的软件体系结构描述语言 被引量:26
2
作者 王晓光 冯耀东 梅宏 《计算机研究与发展》 EI CSCD 北大核心 2004年第9期1521-1531,共11页
作为基于构件的软件开发过程的系统蓝图 ,软件体系结构 (SA)扮演了非常重要的角色 ,其研究受到越来越多的关注 而软件体系结构描述语言 (ADL)是研究和应用SA的基础 提出了一种基于XML的体系结构描述语言———ABC/ADL ABC/ADL具备大多... 作为基于构件的软件开发过程的系统蓝图 ,软件体系结构 (SA)扮演了非常重要的角色 ,其研究受到越来越多的关注 而软件体系结构描述语言 (ADL)是研究和应用SA的基础 提出了一种基于XML的体系结构描述语言———ABC/ADL ABC/ADL具备大多数ADL描述软件系统高层结构的能力 ,还支持系统的逐步精化与演化 ,并支持系统的自动化组装和验证 采用数据互操作标准XML作为元语言 ,不仅使ABC/ADL具有与其他ADL的互操作性 。 展开更多
关键词 软件体系结构 体系结构描述语言 XML ABC方法
在线阅读 下载PDF
A-ADL:一种多智能体系统体系结构描述语言 被引量:12
3
作者 马俊涛 傅韶勇 刘积仁 《软件学报》 EI CSCD 北大核心 2000年第10期1382-1389,共8页
多智能体系统 ( multi- agent system,简称 MAS)具有复杂的动态结构及行为特征 .传统的体系结构描述语言 ( architecture description language,简称 ADL)在语义和表达能力两方面难以满足要求 .提出了一种基于智能体的体系结构描述语言 ... 多智能体系统 ( multi- agent system,简称 MAS)具有复杂的动态结构及行为特征 .传统的体系结构描述语言 ( architecture description language,简称 ADL)在语义和表达能力两方面难以满足要求 .提出了一种基于智能体的体系结构描述语言 A- ADL( agent- based- ADL) .该语言采用计算 /联接智能体替代部件 /连接器作为体系结构单元 ,基于体系结构原语、规则及多视图 ,解决了多智能体系统的动态性和语义问题 .通过实例详细阐述了 A- ADL的动态体系结构建模机制 ,并通过相关研究的比较证明了 A- ADL对于 MAS的适用性 . 展开更多
关键词 多智能体系 A-adl 体系结构描述语言 软件工程
在线阅读 下载PDF
软件体系结构描述语言ADL及其研究进展 被引量:6
4
作者 孙志勇 刘宗田 袁兆山 《计算机科学》 CSCD 北大核心 2000年第1期36-39,共4页
1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了跟踪研究。在文[3]中,Shaw与Garlan指出,软件体系结构的研究活动大... 1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了跟踪研究。在文[3]中,Shaw与Garlan指出,软件体系结构的研究活动大致分四类: 展开更多
关键词 软件体系结构 软件工程 adl语言 建模
在线阅读 下载PDF
体系结构描述语言XADL和组合失配检测 被引量:7
5
作者 张波 冯玉琳 黄涛 《软件学报》 EI CSCD 北大核心 2002年第12期2238-2243,共6页
在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-messagebased architecture description languag... 在各种构件模型和构件标准定义中,接口描述信息的不足和隐含式的构件交互协议容易造成构件复用的失配问题,不利于构件的复用、验证和管理.提出了基于XML消息的体系结构描述语言XADL(XML-messagebased architecture description language),支持对构件交互协议和构件组合关系的描述,在此基础上给出了组合失配的定义和检测算法.XADL不仅丰富了构件的接口语义,能够有效地避免组合失配问题,并且便于实现系统的运行监控、性能分析和动态调整. 展开更多
关键词 体系结构 描述语言 Xadl 组合失配检测 软件开发 软件复用 软件构件
在线阅读 下载PDF
WSC/ADL:Web Services组合系统体系结构描述语言 被引量:11
6
作者 杨鑫 陈俊亮 《软件学报》 EI CSCD 北大核心 2006年第5期1182-1194,共13页
Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系... Webservices组合是Webservices领域的研究热点,虽然已经提出了很多组合的方法,但从体系结构方面去研究Webservices组合,则是一个新的研究角度.BPEL4WS是当前工业界主流的Webservices组合描述语言.给出了基于BPEL4WS的Webservices组合系统体系结构风格,并针对这种风格设计了体系结构描述语言WSC/ADL(Webservicescomposition/architecturedescriptionlanguage),WSC/ADL是基于体系结构的、自顶向下的Webservices组合开发的研究基础,其组成包含描述Webservices的服务构件、描述Webservices之间交互的连接件以及建立服务构件和连接件实例联系的配置.给出了WSC/ADL的详细分析介绍和实例说明,并与相关工作进行了比较. 展开更多
关键词 WEB服务组合 软件体系结构 体系结构描述语言 BPEL4WS 通信顺序进程
在线阅读 下载PDF
面向方面的软件体系结构描述语言AO-ADL 被引量:5
7
作者 杨敬中 戎玫 张广泉 《计算机工程》 CAS CSCD 北大核心 2008年第10期80-82,共3页
分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体... 分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体系结构中横切功能的模块化。 展开更多
关键词 面向方面编程 软件体系结构 XYZ/adl语言 AO-adl语言
在线阅读 下载PDF
面向方面的体系结构描述语言AC2-ADL 被引量:3
8
作者 文静 应时 +1 位作者 张琳琳 倪友聪 《计算机科学》 CSCD 北大核心 2009年第8期126-132,共7页
体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用。通过设计面向方面的软件体系结构描... 体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用。通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案。研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用。 展开更多
关键词 面向方面的软件体系结构 软件体系结构描述语言 方面组件 方面连接件 软件体系结构层注入点
在线阅读 下载PDF
一种基于进程代数的软件体系结构描述语言PEADL 被引量:2
9
作者 赵会群 孙晶 高远 《计算机工程与应用》 CSCD 北大核心 2003年第5期118-120,156,共4页
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。
关键词 进程代数 软件体系结构 描述语言 PEadl 面向对象 软件工程
在线阅读 下载PDF
产品线体系结构描述语言VADL的设计 被引量:1
10
作者 张涛 吴健 +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
功耗-体系结构描述语言XP-ADL及其设计环境 被引量:2
11
作者 熊悦 李曦 +1 位作者 周学海 瞿晓明 《小型微型计算机系统》 CSCD 北大核心 2003年第8期1470-1473,共4页
降低计算机系统的功耗日益成为系统设计中的重要目标 ,可配置 VL IW体系结构在低功耗系统设计中具有显著的优势 .本文提出一种功耗 -体系结构描述语言 XP- ADL ,并介绍了基于该语言的体系结构设计环境 .XP- ADL语言将系统中各功能部件... 降低计算机系统的功耗日益成为系统设计中的重要目标 ,可配置 VL IW体系结构在低功耗系统设计中具有显著的优势 .本文提出一种功耗 -体系结构描述语言 XP- ADL ,并介绍了基于该语言的体系结构设计环境 .XP- ADL语言将系统中各功能部件的结构表示和它们的执行 (功能 )语义分离开来 ,方便了可配置的 VL IW体系结构的描述 .同时 ,为了便于在功耗模型下进行体系结构空间探索 ,XP- 展开更多
关键词 功耗-体系结构描述语言 可配置VLIW 功耗模型 协同设计环境
在线阅读 下载PDF
XSSRA/ADL:一种基于XML的安全需求体系结构描述语言 被引量:3
12
作者 谭良 周明天 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期737-747,共11页
在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结... 在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难.提出了一种基于XML的安全需求体系结构描述语言——XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系.另外,XSSRA/ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化. 展开更多
关键词 安全需求体系结构描述语言 安全构件 半安全构件 安全连接件 半安全连接件
在线阅读 下载PDF
SMC/ADL:一种层级式构件系统的体系结构描述语言 被引量:1
13
作者 岳洋 曾广平 《计算机科学》 CSCD 北大核心 2012年第7期127-131,共5页
针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至... 针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。 展开更多
关键词 软件体系结构 体系结构描述语言 SMC XML
在线阅读 下载PDF
可视化软件体系结构描述语言IOSADL
14
作者 叶俊民 王振宇 +1 位作者 赵恒 曹瀚 《计算机工程与应用》 CSCD 北大核心 2002年第18期108-109,113,共3页
软件体系结构将设计者的注意力从代码行上转移到大粒度的体系结构元素及其交互的设计上。软件体系结构描述语言(ADL)已经成为基于体系结构开发的建模符号系统。在文中,首先在研究ADL特性的基础上,提出一种可视化体系结构描述语言IOSADL(... 软件体系结构将设计者的注意力从代码行上转移到大粒度的体系结构元素及其交互的设计上。软件体系结构描述语言(ADL)已经成为基于体系结构开发的建模符号系统。在文中,首先在研究ADL特性的基础上,提出一种可视化体系结构描述语言IOSADL(Icon-based Openness Software Architecture Description Languages),它使用组件、连接件和配置等概念来描述体系结构。 展开更多
关键词 软件体系结构 体系结构描述语言 IOSadl 构件 连接件 配置
在线阅读 下载PDF
面向服务的动态体系结构描述语言SO-DADL 被引量:1
15
作者 秦辉 史维峰 张丹 《计算机工程与应用》 CSCD 北大核心 2011年第6期68-74,共7页
面向服务的架构(SOA)是一种基于Internet的分布式软件体系结构。在SOA中,粗粒度的,可发现的,松散耦合的,自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言,提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DAD... 面向服务的架构(SOA)是一种基于Internet的分布式软件体系结构。在SOA中,粗粒度的,可发现的,松散耦合的,自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言,提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DADL指定服务的接口、行为、语义和质量特性,提供了对动态和不断演化的结构建模和分析的机制,并支持基于架构的服务组合和运行时动态演化,用案例说明了SO-DADL的应用。 展开更多
关键词 软件体系结构 面向服务的架构 体系结构描述语言(adl) 服务 高阶多型π-演算 动态行为
在线阅读 下载PDF
体系结构描述语言XYZ/ADL到UML的映射 被引量:4
16
作者 陈琳琳 戎玫 张广泉 《计算机应用》 CSCD 北大核心 2006年第2期468-471,共4页
选择了一种基于时序逻辑语言XYZ/E的体系结构描述语言XYZ/ADL,分析了其设计元素和UML建模元素的语义,并通过UML扩展机制和对象约束语言进行扩展和约束,建立起从XYZ/ADL到UML的映射。
关键词 软件体系结构 形式化描述 可视化描述 XYZ/adl UML
在线阅读 下载PDF
一种形式化的动态体系结构描述语言 被引量:33
17
作者 李长云 李赣生 何频捷 《软件学报》 EI CSCD 北大核心 2006年第6期1349-1359,共11页
描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamicarchitecturedescriptionlanguage).在D-ADL中,构件、连接件和体系结构风格被模型化为高阶多型π演算中的抽象(abst... 描述动态体系结构的关键在于如何刻画软件的动态行为.基于高阶多型π演算理论,提出了动态体系结构描述语言D-ADL(dynamicarchitecturedescriptionlanguage).在D-ADL中,构件、连接件和体系结构风格被模型化为高阶多型π演算中的抽象(abstraction)类型,系统行为被模型化为进程(process),构件和连接件的交互点则被模型化为通道(channel).为方便系统变更逻辑的编写、修改和理解,D-ADL将动态行为从计算行为中分离出来,显式、集中地表达.由于动态行为可形式化为高阶π演算进程,其结果因此能够被预先推导.在D-ADL规约框架下,给出了将π演算的行为模拟和等价理论用于系统联机演化和体系结构模型求精的规则.实际案例说明了D-ADL的应用. 展开更多
关键词 软件体系结构 adl 构件 高阶多型π演算 动态行为
在线阅读 下载PDF
基于层次消息总线的软件体系结构描述语言 被引量:18
18
作者 张世琨 王立福 +1 位作者 常欣 杨芙清 《电子学报》 EI CAS CSCD 北大核心 2001年第5期581-584,共4页
以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造... 以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造、细化和验证 ,并具有快速生成原型的能力 ,还支持代码框架的自动生成和系统体系结构的动态演化 . 展开更多
关键词 软件体系结构 层次消息总线 体系结构描述语言
在线阅读 下载PDF
软件体系结构描述语言研究现状分析 被引量:5
19
作者 田丽从 张莉 周伯生 《计算机科学》 CSCD 北大核心 2005年第2期109-113,共5页
软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确AD... 软件体系结构描述语言ADL(Architecture Description Language)为软件体系结构的表示和分析提供了语言符号和支持工具。目前,已定义的ADL超过20种,新的ADL还在不断出现。然而,各种ADL并没有在实际项目开发中得到真正的推广。为了明确ADL的研究进展情况,分析了ADL的研究现状,讨论了ADL研究中存在的主要问题及解决思路。 展开更多
关键词 adl 研究现状 分析 研究进展 主要问题 软件体系结构 描述语言 支持工具 表示 项目开发
在线阅读 下载PDF
基于时序逻辑的面向方面体系结构描述语言 被引量:4
20
作者 倪友聪 应时 +2 位作者 张琳琳 文静 叶鹏 《计算机科学》 CSCD 北大核心 2010年第1期146-152,162,共8页
运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一... 运用传统体系结构描述语言描述的软件体系结构(SA)方案始终存在着一些横切行为和特征,它们混杂和散列在不同的SA设计单元中,使得SA难以理解、难以演化和难以重用。针对这一问题,基于时序逻辑语言XYZ/E,在统一的时序逻辑框架下设计出一种面向方面体系结构描述语言AC2-ADL。系统地阐述了AC2-ADL的概念框架并用XYZ/E进行语义解释,最后结合案例介绍了如何用AC2-ADL对SA进行描述。 展开更多
关键词 软件体系结构 软件体系描述语言 时序逻辑 面向方面体系结构描述语言
在线阅读 下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部