期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到807篇文章
< 1 2 … 41 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于层次消息总线的软件体系结构描述语言 被引量：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
软件体系结构动态演化的Z描述语言扩展方法 被引量：1
3
作者 段玉春 朱小艳 《兰州理工大学学报》 CAS 北大核心 2013年第1期88-91,共4页
针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后... 针对目前软件体系结构动态演化描述方法的不足且许多描述语言都是静态的,并不能对动态软件体系进行描述的问题,对经典Z描述语言进行扩展.该扩展的Z描述语言主要通过构件、连接件的添加及删除来达到动态演化的目的.具体给出Z语言扩展后的描述规则、构件的描述、连接件的描述和配置的描述,并用一个实例表明这个扩展的可行性. 展开更多
关键词 动态软件体系结构 Z描述语言 动态演化
在线阅读 下载PDF
基于统一建模语言的软件体系结构描述 被引量：6
4
作者 杨卫东 于卫 蔡希尧 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第1期25-29,共5页
系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键,目前对软件体系结构的研究主要集中在软件体系结构的分析、描述等方面.利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构与当前主流的面向对象软件开发... 系统设计以及整个软件系统结构的重用是支持大规模软件重用的关键,目前对软件体系结构的研究主要集中在软件体系结构的分析、描述等方面.利用统一建模语言的扩充机制,以统一建模语言为基础,将软件体系结构与当前主流的面向对象软件开发方法相结合,给出了软件体系结构的核心模型,并从多个视图描述了软件体系结构.这样,就可在软件开发方法中重用软件体系结构,也可利用开发方法众多的支持工具. 展开更多
关键词 软件重用 统一建模语言 软件体系结构 体系结构描述语言
在线阅读 下载PDF
产品线体系结构描述语言VADL的设计 被引量：1
5
作者 张涛 吴健 +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
6
作者 杨鹏 刘业 《电子学报》 EI CAS CSCD 北大核心 2007年第1期165-169,共5页
首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持... 首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持对网络体系结构的形式化建模.然后以分布式流媒体服务(DSMS)体系结构的形式化规约为例,对INSADL的应用进行了探讨.通过对DSMS体系结构中的实体构件、交互连接件、体系结构配置等的规约和分析,验证了INSADL的形式化建模和体系结构分析能力. 展开更多
关键词 网络体系结构 体系结构描述语言 INSADL 流媒体服务
在线阅读 下载PDF
一种基于交互的网络服务体系结构描述语言 被引量：1
7
作者 杨鹏 刘业 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2006年第5期685-689,共5页
在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络... 在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础. 展开更多
关键词 网络体系结构 体系结构描述语言 实体构件 交互连接件
在线阅读 下载PDF
一种基于构件的分布式软件构架描述语言 被引量：4
8
作者 何坚 房鼎益 +1 位作者 王志敏 覃征 《西安交通大学学报》 EI CAS CSCD 北大核心 2002年第6期612-615,共4页
针对分布式软件系统规模和复杂性不断增大的特点 ,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言 (DSADL) ,详细描述了DSADL的设计目标、组成元素以及形式化描述基础 ,并实现了分布式软件构架集成开发环境 (ED... 针对分布式软件系统规模和复杂性不断增大的特点 ,在扩展传统属性文法的基础上提出了一种基于构件的分布式软件构架描述语言 (DSADL) ,详细描述了DSADL的设计目标、组成元素以及形式化描述基础 ,并实现了分布式软件构架集成开发环境 (EDAD) .由于DSADL结合了SADL与构件技术 ,因此它既有严格的语义基础 ,同时又具有构件的可复用性、易移植性的特点 .实践证明 ,DSADL能够有效辅助分布式软件设计人员在构架层次上对系统进行分析和设计 。 展开更多
关键词 构件 软件体系结构 描述语言 分布式软件 属性文法
在线阅读 下载PDF
基于模板的软件体系结构描述技术 被引量：4
9
作者 高晖 张莉 樊志强 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2008年第1期122-126,共5页
软件体系结构中的基本建模元素可以通过分类进行更高层次上的抽象.为了准确地体现这种抽象层次,首先利用模板机制定义了软件体系结构的2个抽象层:软件体系结构模板层和软件体系结构模板实例层,并给出了各层中的相关概念.然后,以标准建... 软件体系结构中的基本建模元素可以通过分类进行更高层次上的抽象.为了准确地体现这种抽象层次,首先利用模板机制定义了软件体系结构的2个抽象层:软件体系结构模板层和软件体系结构模板实例层,并给出了各层中的相关概念.然后,以标准建模语言UML2.0为基础,利用<<Merge>>关系重用了UML2.0部分建模元素和机制,使用UML的profile扩展机制定义了一种基于模板的软件体系结构描述语言(TADL,Template-based software Architecture Description Language),分别从设计要求、定义技术以及profile方面对TADL进行了阐述.最后给出了利用TADL进行软件体系结构模式和软件体系结构建模的基本原则和指南,并通过ATM(Automatic Taller Machine)建模实例进行了说明. 展开更多
关键词 软件体系结构 软件体系结构描述 UML 模板
在线阅读 下载PDF
一种新型的软件体系结构描述方法研究 被引量：6
10
作者 黄正宝 张广泉 《微电子学与计算机》 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
基于动态Wright体系结构描述语言测试方法
11
作者 刘宜鑫 伦立军 《黑龙江科技信息》 2007年第12S期80-80,41,共2页
软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法,该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置,利用标... 软件体系结构测试是对构件功能描述和接口描述的测试,是保证基于构件的软件系统质量的重要手段。提出了一种针对软件体系结构层配置信息的测试方法,该方法用Dynamic Wright描述软件系统的体系结构及对系统配置信息进行新从配置,利用标号迁移系统LTS描述软件系统的状态变化及迁移信息,指导测试路径生成。 展开更多
关键词 软件体系结构 软件测试 路径生成 DYNAMIC WRIGHT 标号迁移系统
在线阅读 下载PDF
机器描述语言LISA在DSP芯片体系结构设计中的应用
12
作者 邵俊梅 陈咏恩 《集成电路应用》 2004年第4期87-90,共4页
数字信号处理(DSP)芯片的传统设计方法,需要开发设计人员具备许多领域的专业知识,是一个非常艰巨的过程。本文介绍一种全新的方法,应用机器描述语言LISA来完成这项工作。通过LISA的描述,同时可以自动生成一套软件开发工具,主要包括编译... 数字信号处理(DSP)芯片的传统设计方法,需要开发设计人员具备许多领域的专业知识,是一个非常艰巨的过程。本文介绍一种全新的方法,应用机器描述语言LISA来完成这项工作。通过LISA的描述,同时可以自动生成一套软件开发工具,主要包括编译器、链接器、仿真器、调试器等,而且还能够生成可综合的HDL代码。为了验证这个方法的可行性,以AD公司的ADSP2101为例,简要介绍了使用LISA的设计方法和流程。 展开更多
关键词 机器描述语言 LISA DSP 体系结构
在线阅读 下载PDF
基于统一建模语言的分布式企业信息系统软件体系结构模型 被引量：2
13
作者 饶若楠 尤晋元 《上海交通大学学报》 CSCD 北大核心 2000年第7期979-982,986,共5页
讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言 ( Unified Mod-eling Language,UML)的体系结构建模特性 ,在此基础上提出了基于 UML的分布式企业信息系统软件体系结构模型 UDESAM.UDESAM由组件、连接件、接口件和... 讨论了分布式企业信息系统软件体系结构建模的基本问题和统一建模语言 ( Unified Mod-eling Language,UML)的体系结构建模特性 ,在此基础上提出了基于 UML的分布式企业信息系统软件体系结构模型 UDESAM.UDESAM由组件、连接件、接口件和约束组成 ,采用 UML的一个子集作为体系结构建模语言 ,用例视图、逻辑视图、构件视图和配置视图是表示 UDESAM的 4个视图 .给出了基于 UDESAM的软件开发过程和以体系结构为中心、以面向对象为指导思想、基于构件、由用例驱动的软件开发策略 ,并以一个基于 展开更多
关键词 软件体系结构 统一建模语言 分布式企业信息系统
在线阅读 下载PDF
软件体系结构模型描述的研究 被引量：1
14
作者 周国强 鲍淑娣 陈春玲 《南京邮电学院学报（自然科学版）》 2002年第2期75-79,共5页
提出一个PetriNet的扩展理论 ,为软件体系结构的描述的正确性提供了一个比较简单但完整的描述的net基础。
关键词 软件体系结构 软件工程 PETRI网 行为语义
在线阅读 下载PDF
用于可靠性评估的软件架构描述语言研究 被引量：2
15
作者 王璐 陈未如 《辽宁省交通高等专科学校学报》 2007年第2期90-92,共3页
软件架构的设计正确与否直接影响着最终软件产品的质量,而软件架构描述语言(ADL)是设计软件架构的基础。通过对已有的ADL的研究,本文提出了一种用于可靠性评估的架构描述语言,该语言具备大多数ADL描述软件系统高层结构的能力,还支持便... 软件架构的设计正确与否直接影响着最终软件产品的质量,而软件架构描述语言(ADL)是设计软件架构的基础。通过对已有的ADL的研究,本文提出了一种用于可靠性评估的架构描述语言,该语言具备大多数ADL描述软件系统高层结构的能力,还支持便于可靠性评估的架构分割。 展开更多
关键词 软件架构 描述语言 组件 连接件 配置
在线阅读 下载PDF
基于π-ADL的软件体系结构描述
16
作者 王小刚 李玉龙 韩虎 《兰州交通大学学报》 CAS 2010年第6期99-101,共3页
为便于软件体系结构的形式化描述,在π-ADL的语法基础上,简化其连接,增加了连接件的角色描述,并给出描述体系结构及元素的基本句法.通过一个例子展示了π-ADL的使用方法.最后说明在π-ADL描述基础上软件体系结构的求精.
关键词 软件体系结构 体系结构描述语言 π-ADL 形式化
在线阅读 下载PDF
一种软件体系结构可拓建模和求精设计方法 被引量：1
17
作者 王小刚 闫光辉 周宁 《兰州交通大学学报》 CAS 2018年第4期34-39,共6页
软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法... 软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法,提出了一种新的软件体系结构建模和求精方法.软件体系结构及其元素由粒度不同的基元描述,而软件体系结构的求精则由对基元的多种变换来实现;通过定义可拓变换模式和使用转换桥方法以改进软件体系结构设计,解决不兼容甚至冲突问题;最后,给出了可拓建模和求精设计的实例.从实例可以看出,使用可拓理论和方法,能较好地从语义和结构两方面描述和精化系统,有助于在形式化层面解决软件体系结构设计中的优化问题和冲突问题. 展开更多
关键词 软件体系结构 软件体系结构描述语言 可拓学 可拓设计 基元 可拓变换
在线阅读 下载PDF
面向可靠性评估的软件架构描述语言图形化研究
18
作者 侯建梅 陈未如 《佳木斯大学学报（自然科学版）》 CAS 2009年第1期78-80,90,共4页
为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提.在研究了面向可靠性评估架构描述语言RE/ADL的基础上,提出该架构描述语言图形化的表示方法,... 为了在架构设计和开发阶段能尽早开展软件测试工作,建立架构可视化测试平台是有效的手段之一,而架构描述语言图形化是建立该可视化平台的前提.在研究了面向可靠性评估架构描述语言RE/ADL的基础上,提出该架构描述语言图形化的表示方法,分别从总体的、精练的、层次的不同视角总结了架构的建模元素(组件、连接件、配置及复合组件/连接件)与可靠性评估相关属性的图形表示,便于架构的验证和分析. 展开更多
关键词 软件架构 描述语言 可靠性 图形化
在线阅读 下载PDF
基于UML的实用软件体系结构描述方法的应用研究
19
作者 陈景霞 李萌 《陕西科技大学学报（自然科学版）》 2012年第4期85-89,共5页
提出一种基于统一建模语言(Unified Modeling Language,简称UML)的实用软件体系结构描述方法,将软件体系结构设计、描述和表示与软件系统建模有机结合在一起,并以异构网络平台的数据集成中间件(Data Integration Middleware,简称DI)开... 提出一种基于统一建模语言(Unified Modeling Language,简称UML)的实用软件体系结构描述方法,将软件体系结构设计、描述和表示与软件系统建模有机结合在一起,并以异构网络平台的数据集成中间件(Data Integration Middleware,简称DI)开发为例,通过使用大量UML构造型对软件体系结构的多个视图模型进行规范化描述,使开发者在此基础上可以容易地进行DI的详细设计和编码,也为以后DI功能的变化和体系结构设计的重用提供了良好的支持. 展开更多
关键词 软件体系结构 UML 数据集成 DI
在线阅读 下载PDF
基于复杂网络的软件体系结构复杂性度量方法 被引量：7
20
作者 秦怀斌 李道亮 +2 位作者 郭理 梁斌 邵明文 《微电子学与计算机》 CSCD 北大核心 2013年第2期5-8,共4页
介绍了复杂网络理论及软件体系结构复杂性度量思想,提出借助复杂网络理论来进行软件体系结构复杂性度量,给出了具体度量过程和算法,最后对提出的度量算法通过实例进行验证.
关键词 复杂网络 软件体系结构 复杂性 度量
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 41 下一页 到第 页
关于我们 | 版权声明 | 联系我们 | 帮助中心| 意见反馈
主办单位：上海市教育委员会
技术支持：重庆维普资讯有限公司
渝公网安备 50019002500403号
使用帮助 返回顶部