期刊文献+
共找到198篇文章
< 1 2 10 >
每页显示 20 50 100
A Structural and Generative Approach to Multilayered Software Architectures
1
作者 Georges Edouard Kouamou Willy Kengne Kungne 《Journal of Software Engineering and Applications》 2017年第8期677-692,共16页
The layered software architecture is the model commonly adopted for the development of information systems since it favors the modularity and the scalability of the systems. On the other hand, the emergence of model e... The layered software architecture is the model commonly adopted for the development of information systems since it favors the modularity and the scalability of the systems. On the other hand, the emergence of model engineering aims to raise the level of abstraction to allow developers to reason on models, and less in code. The research question is to combine the two approaches to facilitate the work of developers. The proposal resulting from this study is based on a set of concepts defined using the UML profiles. These concepts include services, business components, and data persistence. Then the Kruchten model is adopted to represent the development cycle according to several views, each view being represented by UML diagrams derived from the previously defined profiles. Finally, rules are available for checking inter-view consistency, from refinement to code generation. The result is a step towards the definition of a domain specific ADL and a development process as much as it includes the expected characteristics of such a language, namely: the fundamental concepts, the support tools and the multiview development. 展开更多
关键词 adl ARCHITECTURAL STYLE Model DRIVEN Engineering UML Service software Development Process
在线阅读 下载PDF
Study on conversion mechanism from software architectural description language to UML
2
作者 ZHANG Guang-quan RONG Mei TANG Zhi-song 《通讯和计算机(中英文版)》 2007年第7期1-7,共7页
关键词 UML 软件 形式描述 描述语言 视觉描述 转化机制
在线阅读 下载PDF
Measuring the complexity of product line architecture with vADL
3
作者 ZHANG Tao CAO Yan-ping +1 位作者 ZHANG Chang-li MA Chun-yan 《通讯和计算机(中英文版)》 2008年第9期19-22,共4页
关键词 线架构 SPL 软件 计算机技术
在线阅读 下载PDF
ABC/ADL:一种基于XML的软件体系结构描述语言 被引量:26
4
作者 王晓光 冯耀东 梅宏 《计算机研究与发展》 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
5
作者 马俊涛 傅韶勇 刘积仁 《软件学报》 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 被引量:29
6
作者 骆华俊 唐稚松 郑建丹 《软件学报》 EI CSCD 北大核心 2000年第8期1024-1029,共6页
提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语... 提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 . 展开更多
关键词 时序逻辑语言 可视化 体系结构 软件工程
在线阅读 下载PDF
基于时序逻辑的软件体系结构描述语言XYZ/ADL 被引量:40
7
作者 朱雪阳 唐稚松 《软件学报》 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
软件体系结构描述语言ADL及其研究进展 被引量:6
8
作者 孙志勇 刘宗田 袁兆山 《计算机科学》 CSCD 北大核心 2000年第1期36-39,共4页
1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了跟踪研究。在文[3]中,Shaw与Garlan指出,软件体系结构的研究活动大... 1.引言 Perry与Wolf,Garlan与Shaw的早期研究成果发表后,软件体系结构的研究引起了学术界极大兴趣。目前,软件体系结构已经成为软件工程研究中的热点,我国学者也开始了跟踪研究。在文[3]中,Shaw与Garlan指出,软件体系结构的研究活动大致分四类: 展开更多
关键词 软件体系结构 软件工程 adl语言 建模
在线阅读 下载PDF
面向方面的软件体系结构描述语言AO-ADL 被引量:5
9
作者 杨敬中 戎玫 张广泉 《计算机工程》 CAS CSCD 北大核心 2008年第10期80-82,共3页
分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体... 分析面向方面编程(AOP)的核心思想及其优越性,将编码阶段的AOP概念进一步提升到软件体系结构层次。在软件体系结构描述语言XYZ/ADL的基础上,通过增加新的元素和相关复合机制,得到一种面向方面的体系结构描述语言AO-ADL,实现了在软件体系结构中横切功能的模块化。 展开更多
关键词 面向方面编程 软件体系结构 XYZ/adl语言 AO-adl语言
在线阅读 下载PDF
WSC/ADL:Web Services组合系统体系结构描述语言 被引量:11
10
作者 杨鑫 陈俊亮 《软件学报》 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
一种基于进程代数的软件体系结构描述语言PEADL 被引量:2
11
作者 赵会群 孙晶 高远 《计算机工程与应用》 CSCD 北大核心 2003年第5期118-120,156,共4页
对性能评价进程代数(PEPA)扩展,提出具有时序特征的随机进程代数(ESPA)。在此基础上进一步提出一种软件体系结构描述语言(PEADL)。介绍PEADL的语法和语义,并通过三层C/S结构应用系统展示PEADL的表述能力。
关键词 进程代数 软件体系结构 描述语言 PEadl 面向对象 软件工程
在线阅读 下载PDF
UML与ADL在软件体系结构建模中的应用研究 被引量:7
12
作者 张广泉 张玲红 《重庆师范大学学报(自然科学版)》 CAS 2004年第4期1-6,共6页
通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径。着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主... 通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径。着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。 展开更多
关键词 UML adl 软件体系结构 建模 电梯控制系统
在线阅读 下载PDF
基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述 被引量:2
13
作者 孙黎阳 毛少杰 +1 位作者 林剑柠 刘中 《计算机科学》 CSCD 北大核心 2012年第B06期365-369,共5页
网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿... 网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿真核心服务层实施了分解与逐步求精。该体系结构描述方法不但从可视化角度表示了仿真运行支撑平台体系结构框图及行为抽象,还从形式化角度验证了体系结构设计的正确性和完整性。该研究是形式化描述方法在军事领域的全新尝试,为仿真运行支撑平台服务的合成与重用机制提供了形式化的理论指导。 展开更多
关键词 网络中心化仿真 任务共同体 运行支撑平台体系结构 体系结构描述语言 XYZ/adl
在线阅读 下载PDF
基于AADL的软件可靠性验证 被引量:8
14
作者 谯婷婷 王乐 耶国栋 《计算机应用》 CSCD 北大核心 2012年第A02期92-95,139,共5页
针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题... 针对软件可靠性面临的安全等级和流延迟两类问题,提出了一种基于结构分析与设计语言(AADL)的软件可靠性验证方法。首先建立两类问题的需求模型,并将需求模型转化为设计模型;其次是调用分析插件对设计模型进行分析,查找模型中存在的问题;最后根据存在的问题对设计模型进行修改和完善。仿真结果表明,所提出的方法有效验证了安全等级和流延迟两类问题,为AADL在航电系统软件验证方面的应用奠定了基础。 展开更多
关键词 软件可靠性 结构分析与设计语言 安全等级 流延迟
在线阅读 下载PDF
UML与ACME/ADL在运输业务管理系统体系结构建模中的应用 被引量:2
15
作者 张玲红 戎玫 张广泉 《苏州大学学报(工科版)》 CAS 2004年第4期8-13,共6页
探讨了UML与ACME/ADL在运输业务管理系统体系结构建模中的应用问题。首先提出了软件体系结构的建模要素;然后用UML描述了系统体系结构的视图模型:进而用ACME/ADL描述了系统主要构件的交互模型;最后对这两种建模语言在体系结构建模方面... 探讨了UML与ACME/ADL在运输业务管理系统体系结构建模中的应用问题。首先提出了软件体系结构的建模要素;然后用UML描述了系统体系结构的视图模型:进而用ACME/ADL描述了系统主要构件的交互模型;最后对这两种建模语言在体系结构建模方面的应用特性进行了比较和分析,得出了自己的结论。 展开更多
关键词 UML ACME/adl 运输业务管理系统 建模 软件体系结构
在线阅读 下载PDF
SMC/ADL:一种层级式构件系统的体系结构描述语言 被引量:1
16
作者 岳洋 曾广平 《计算机科学》 CSCD 北大核心 2012年第7期127-131,共5页
针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至... 针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。 展开更多
关键词 软件体系结构 体系结构描述语言 SMC XML
在线阅读 下载PDF
基于XYZ/ADL的电梯控制系统体系结构的描述与求精 被引量:1
17
作者 张玲红 张广泉 《计算机测量与控制》 CSCD 北大核心 2011年第9期2176-2179,共4页
研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/AD... 研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。 展开更多
关键词 XYZ/adl 软件体系结构 描述 求精 电梯控制系统
在线阅读 下载PDF
XSSRA/ADL:一种基于XML的安全需求体系结构描述语言 被引量:3
18
作者 谭良 周明天 《计算机研究与发展》 EI CSCD 北大核心 2007年第5期737-747,共11页
在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结... 在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而安全需求的体系结构描述语言(SRADL)是研究和应用安全需求体系结构的基础.传统的体系结构描述语言没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此,在体系结构层次上描述安全需求还比较困难.提出了一种基于XML的安全需求体系结构描述语言——XSSRA/ADL,它引入了安全构件、半安全构件、安全连接件、半安全连接件等设计单元,不仅能够描述安全需求的体系结构,而且也较好地解决了软件系统中业务需求与安全需求在高层的交互和依赖关系.另外,XSSRA/ADL采用数据互操作标准XML作为元语言,这使得它具有与其他ADL的互操作性,并便于支持系统的精化和演化. 展开更多
关键词 安全需求体系结构描述语言 安全构件 半安全构件 安全连接件 半安全连接件
在线阅读 下载PDF
基于XYZ/ADL的Web服务组合形式化描述 被引量:1
19
作者 魏慧 张广泉 《苏州大学学报(工科版)》 CAS 2007年第4期28-33,共6页
组合现有的Web服务是为了能快速地开发复杂的Web服务。介绍了几种常见的Web服务组合方法,并根据4种关键需求(连通性、非功能服务质量属性、正确性、可伸缩性)对它们加以比较。提出了一种基于软件体系结构描述语言XYZ/ADL的Web服务组合... 组合现有的Web服务是为了能快速地开发复杂的Web服务。介绍了几种常见的Web服务组合方法,并根据4种关键需求(连通性、非功能服务质量属性、正确性、可伸缩性)对它们加以比较。提出了一种基于软件体系结构描述语言XYZ/ADL的Web服务组合形式化描述方法,由XYZ/ADL定义描述Web服务的组件、组件之间交互的连接件以及建立组件和连接件实例联系的配置,最后结合一个实例描述Web服务组合的工作方式。 展开更多
关键词 WEB服务 服务组合 体系结构描述语言 XYZ/adl
在线阅读 下载PDF
双重软件体系结构描述框架XYZ/ADL 被引量:3
20
作者 朱雪阳 《计算机研究与发展》 EI CSCD 北大核心 2007年第9期1485-1494,共10页
体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模... 体系结构设计在软件开发过程中扮演着重要角色.工程中常用图形语言为软件体系结构建模,它们有直观、半形式化的优点;但是语义不够精确,难以对它们表示的模型进行分析,在这方面,形式化方法可与之互补.但在工程使用中仅用形式化语言建模又不太现实,所以如何结合二者之长以提高软件的可靠性已成为工业界和学术界共同关心的问题.提出了双重软件体系结构描述框架XYZ/ADL:支持工程中软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,用UML活动图、状态图作为抽象行为表示;后端用既可表示系统动态语义又可表示系统静态语义的时序逻辑语言XYZ/E作为一致的语义基础.前端的图形语言便于软件工程师的交流和使用,后端的形式语言是进一步的形式化分析验证的基础. 展开更多
关键词 软件体系结构 体系结构描述语言 双重描述框架 XYZ/E 时序逻辑 IM 活动图 状态图 形式语义
在线阅读 下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部