期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到70篇文章
< 1 2 … 4 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
ABC/ADL:一种基于XML的软件体系结构描述语言 被引量：26
1
作者 王晓光 冯耀东 梅宏 《计算机研究与发展》 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
基于层次消息总线的软件体系结构描述语言 被引量：18
2
作者 张世琨 王立福 +1 位作者 常欣 杨芙清 《电子学报》 EI CAS CSCD 北大核心 2001年第5期581-584,共4页
以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造... 以青鸟软件生产线的实践为背景 ,提出了基于层次消息总线的软件体系结构风格JB/HMB ,并设计了相应的体系结构描述语言JB/SADL ,该语言支持从接口、静态结构和动态行为三个方面刻画构件 .采用JB/SADL ,可以方便地进行软件体系结构的构造、细化和验证 ,并具有快速生成原型的能力 ,还支持代码框架的自动生成和系统体系结构的动态演化 . 展开更多
关键词 软件体系结构 层次消息总线 体系结构描述语言
在线阅读 下载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
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量：40
4
作者 朱雪阳 唐稚松 《软件学报》 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
一种面向自适应软件系统的体系结构描述语言 被引量：4
5
作者 高俊 沈才梁 +1 位作者 郑美芳 李长云 《计算机应用研究》 CSCD 北大核心 2010年第5期1796-1801,共6页
从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构... 从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说明了面向自适应软件系统的体系结构描述语言SOS-ADL的应用。 展开更多
关键词 软件体系结构 自适应 体系结构描述语言 动态行为 高阶多型π演算
在线阅读 下载PDF
基于时序逻辑的面向方面体系结构描述语言 被引量：4
6
作者 倪友聪 应时 +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
基于面向对象Petri网的软件体系结构描述语言 被引量：10
7
作者 于振华 蔡远利 《西安交通大学学报》 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
基于时态逻辑的软件体系结构描述语言及其可视化环境 被引量：4
8
作者 张广泉 郑建丹 骆华俊 《计算机工程与应用》 CSCD 北大核心 2001年第5期14-16,共3页
在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方... 在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。 展开更多
关键词 时态逻辑 XYZ/E 软件体系结构 体系结构描述语言 可视化
在线阅读 下载PDF
WSC/ADL:Web Services组合系统体系结构描述语言 被引量：11
9
作者 杨鑫 陈俊亮 《软件学报》 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
功耗-体系结构描述语言XP-ADL及其设计环境 被引量：2
10
作者 熊悦 李曦 +1 位作者 周学海 瞿晓明 《小型微型计算机系统》 CSCD 北大核心 2003年第8期1470-1473,共4页
降低计算机系统的功耗日益成为系统设计中的重要目标 ,可配置 VL IW体系结构在低功耗系统设计中具有显著的优势 .本文提出一种功耗 -体系结构描述语言 XP- ADL ,并介绍了基于该语言的体系结构设计环境 .XP- ADL语言将系统中各功能部件... 降低计算机系统的功耗日益成为系统设计中的重要目标 ,可配置 VL IW体系结构在低功耗系统设计中具有显著的优势 .本文提出一种功耗 -体系结构描述语言 XP- ADL ,并介绍了基于该语言的体系结构设计环境 .XP- ADL语言将系统中各功能部件的结构表示和它们的执行 (功能 )语义分离开来 ,方便了可配置的 VL IW体系结构的描述 .同时 ,为了便于在功耗模型下进行体系结构空间探索 ,XP- 展开更多
关键词 功耗-体系结构描述语言 可配置VLIW 功耗模型 协同设计环境
在线阅读 下载PDF
面向方面的体系结构描述语言AC2-ADL 被引量：3
11
作者 文静 应时 +1 位作者 张琳琳 倪友聪 《计算机科学》 CSCD 北大核心 2009年第8期126-132,共7页
体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用。通过设计面向方面的软件体系结构描... 体系结构描述语言(ADL)是基于体系结构的软件开发的基础,传统的ADL由于缺乏对混杂与分散在软件体系结构多个单元中的各种设计决策的描述能力,导致软件体系结构设计方案难以理解、难以演化和难以重用。通过设计面向方面的软件体系结构描述语言AC2-ADL,使用方面组件明确地描述系统的横切关注点;并引入方面连接件以及抽象出软件体系结构语境中的注入点,呈现结构之间复杂的交互,以解决不同关注点的分散和交织等问题,试图为设计和描述面向方面的软件系统的软件体系结构提供一种有效的解决方案。研究结合电子商务领域的网上拍卖系统,讨论了该语言的主要应用过程,具有一定的参考作用。 展开更多
关键词 面向方面的软件体系结构 软件体系结构描述语言 方面组件 方面连接件 软件体系结构层注入点
在线阅读 下载PDF
产品线体系结构描述语言VADL的设计 被引量：1
12
作者 张涛 吴健 +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
13
作者 叶俊民 王振宇 +1 位作者 黄萍 赵恒 《小型微型计算机系统》 CSCD 北大核心 2005年第9期1606-1610,共5页
为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescri... 为了完成基于软件体系结构(SoftwareArchitecture,SA)分布式实时系统的测试,需要设计一种体系结构描述语言(ArchitectureDescriptionLanguage,ADL)描述被测系统,以便自动产生测试用例.在考察现有的体系结构描述语言(Architec-tureDescriptionLanguage,ADL)的基础上,分析了现存ADL的不足,提出了一种新的分布式实时系统体系结构描述语言(Dis-tributedReal-TimeSystemArchitectureDescriptionLanguage,DRTSADL),研究了该语言的语法和操作语义.结合一个分布式实时前端系统实例描述,说明了DRTSADL的应用.与现存ADL相比,新的ADL对分布式实时系统有较强的描述能力. 展开更多
关键词 软件体系结构 体系结构描述语言 分布式实时系统
在线阅读 下载PDF
XSSRA/ADL:一种基于XML的安全需求体系结构描述语言 被引量：3
14
作者 谭良 周明天 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期737-747,共11页
在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结... 在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难.提出了一种基于XML的安全需求体系结构描述语言——XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系.另外,XSSRA/ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化. 展开更多
关键词 安全需求体系结构描述语言 安全构件 半安全构件 安全连接件 半安全连接件
在线阅读 下载PDF
新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用 被引量：2
15
作者 杨鹏 刘业 《电子学报》 EI CAS CSCD 北大核心 2007年第1期165-169,共5页
首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持... 首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持对网络体系结构的形式化建模.然后以分布式流媒体服务(DSMS)体系结构的形式化规约为例,对INSADL的应用进行了探讨.通过对DSMS体系结构中的实体构件、交互连接件、体系结构配置等的规约和分析,验证了INSADL的形式化建模和体系结构分析能力. 展开更多
关键词 网络体系结构 体系结构描述语言 INSADL 流媒体服务
在线阅读 下载PDF
基于B方法的体系结构描述语言的形式化研究 被引量：2
16
作者 丁湘陵 王志刚 《计算机工程与科学》 CSCD 北大核心 2013年第1期100-106,共7页
通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法... 通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法的ABC/ADL能够形式化描述软件体系结构的结构和行为。 展开更多
关键词 体系结构描述语言 B方法 事件 形式化
在线阅读 下载PDF
一种基于交互的网络服务体系结构描述语言 被引量：1
17
作者 杨鹏 刘业 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第5期685-689,共5页
在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络... 在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础. 展开更多
关键词 网络体系结构 体系结构描述语言 实体构件 交互连接件
在线阅读 下载PDF
SMC/ADL:一种层级式构件系统的体系结构描述语言 被引量：1
18
作者 岳洋 曾广平 《计算机科学》 CSCD 北大核心 2012年第7期127-131,共5页
针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至... 针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。 展开更多
关键词 软件体系结构 体系结构描述语言 SMC XML
在线阅读 下载PDF
虚拟仪器系统软件结构描述语言的设计与应用 被引量：1
19
作者 周泓 耿晨歌 《工程设计学报》 CSCD 2001年第1期7-11,共5页
为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统... 为了正确有效地描述虚拟仪器系统软件结构 ,提出了虚拟仪器系统软件结构描述语言的概念与模型 ,对其中的模块描述、元件描述与连线描述作了详细的分析 ,并提供了结构化语言。虚拟仪器系统软件结构描述语言的提出 ,对于规范虚拟仪器系统软件结构特别是应用程序的设计与开发提供了一种新思路 ,本描述语言已实际应用于多个虚拟仪器系统集成工程中 ,取得了良好的技术效益和经济效益。 展开更多
关键词 虚拟仪器 软件结构描述语言 图形化平台 系统集成 软件设计
在线阅读 下载PDF
基于TCSP的实时软件体系结构描述语言的实现
20
作者 崔小乐 曾福萍 +1 位作者 李秋英 阮镰 《计算机工程》 CAS CSCD 北大核心 2004年第20期75-77,共3页
在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说... 在分析现有软件体系结构描述语言在实时应用中不足之处的基础上,介绍了一种新的实时软件体系结构描述语言——RTADL的实现机制。该语言将TCSP和XML相结合,在保证可扩展性的基础上,可满足大型实时软件体系结构规格中对实时和并发特性说明的要求。 展开更多
关键词 软件体系结构描述语言 TCSP XML 实时软件体系结构描述语言
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 4 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部