体系结构描述语言

作品数：106被引量：284H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李曦张广泉周学海余洁高妍妍更多>>
相关机构：中国科学技术大学武汉大学中国科学院软件研究所北京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划安徽省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种软件体系结构可拓建模和求精设计方法被引量：1
《兰州交通大学学报》2018年第4期34-39,共6页王小刚 闫光辉 周宁 
国家自然科学基金(61163010;61650207);甘肃省科技计划资助项目(1610RJZA059);兰州市科技计划项目(2014-1-171)
软件体系结构建模和求精是软件工程领域的重要研究方面.在一定建模方法的基础上,通过逐步求精设计,抽象的软件体系结构成为具体的软件体系结构.为了便于形式化建模和求精以及解决设计过程中的优化问题和冲突问题,基于可拓理论和可拓方法...
关键词：软件体系结构 软件体系结构描述语言 可拓学 可拓设计 基元 可拓变换 
基于XBA的软件体系结构描述方法的研究
《现代计算机》2017年第11期84-87,共4页周允强 
XBA作为一种描述性语言,主要针对软件体系结构,通过对其组成体系结构的基本元素进行描述,再根据不同系统的风格不同的特点,利用XML的可扩展性,对具体系统结构进行描述及定义。通过利用XBA定义的核心XML Schema来对C2体系结构风格描述成...
关键词：XBA 软件体系结构描述语言 XML C2 
基于体系结构的信息物理融合系统的研究与分析被引量：1
《小型微型计算机系统》2016年第6期1371-1376,共6页梁刚强 张立臣 
国家自然科学基金项目(61370082)资助;国家自然科学基金项目(61173046)资助
提出一种对现有软件体系结构的扩展来满足复杂的信息物理融合系统(CPS)的建模需求,增加对CPS的物理系统、物理系统的的联系交互、物理系统和信息系统之间交互的建模支持.首先引入一种新的CPS体系结构模式来对整个系统架构进行描述和构建...
关键词：体系结构描述语言 信息物理融合系统 CPS体系结构模式 有限状态进程 线性混合自动机 
一种MPI并行软件的动态演化框架
《计算机应用与软件》2016年第1期8-10,76,共4页周航 王希敏 蔡志明 
为使MPI并行计算软件具有运行时改变软件功能和拓扑的能力,基于MPI系统模型提出一种用于描述和实现动态演化的两层软件框架。在管理层,采用适用于消息传递的管道-过滤器风格规范系统的结构、分析并行软件的可演化性,并约定一种相应的动...
关键词：软件工程 动态演化 并行计算 MPI 体系结构描述语言 
软件体系结构描述语言-WrightADL
《科技风》2014年第9期53-54,共2页陈雪元 
本文主要介绍一种比较具有代表性的软件体系结构描述语言-WrightADL,通过一个简单的例子对WrightADL的语法进行说明,最后讨论了WrightADL的一致性检测方法。
关键词：体系结构描述语言(ADL) WrightADL 一致性检测 
基于ADL描述的ASIP模型体系架构被引量：1
《微电子学与计算机》2013年第8期53-56,共4页朱勇 
国家自然科学基金项目"ASIP行为逻辑及其综合的关键技术研究"(61142006)
为了获取ASIP(专用指令集处理器)体系结构可执行模型,实现自动化设计,研究遵循"描述-综合"设计方法学,采取了ADL(体系结构描述语言)手段,构建了对象的"功能-结构-物理"三层描述,将复杂的ASIP系统划分为不同的模型视图.ADL允许设计者以...
关键词：体系结构描述语言 “功能-结构-物理”模型 专用指令集处理器 “描述-综合”设计方法学 
一种软件体系结构描述语言分类和比较方法被引量：1
《中国管理信息化》2013年第1期34-36,共3页徐莹 
软件架构转变了开发者从通信线路到粗粒度的体系结构元素和整体互连结构的代码的开发重点。架构描述语言(ADLs)已被提议作为支持基于发展的软件体系建模符号。但是,对什么是ADL、什么样的架构方面应以ADL来建模和有哪几种可能的情形为...
关键词：软件体系结构 体系结构描述语言 构件 连接件 体系结构配置 定义 分类 比较 
基于B方法的体系结构描述语言的形式化研究被引量：2
《计算机工程与科学》2013年第1期100-106,共7页丁湘陵 王志刚 
湖南省教育厅基金资助项目(29030523);怀化学院资助科研项目(基于B方法的UML转换机制研究)
通过分析B方法和软件体系结构描述语言ABC/ADL各自的特点,提出了一种两者结合的形式化方法。该方法利用B方法扩充的事件机制,定义软件体系结构描述语言的构件和连接子观察模型、行为规约和约束规约,并给出了规约实例,从而使得基于B方法...
关键词：体系结构描述语言 B方法 事件 形式化 
SMC/ADL:一种层级式构件系统的体系结构描述语言被引量：1
《计算机科学》2012年第7期127-131,共5页岳洋 曾广平 
国家高技术研究发展计划(863计划)(2009AA01Z119);国家自然科学基金项目(60973065)资助
针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至...
关键词：软件体系结构 体系结构描述语言 SMC XML 
基于XYZ/ADL的网络中心化仿真运行支撑平台体系结构形式化描述被引量：2
《计算机科学》2012年第B06期365-369,共5页孙黎阳 毛少杰 林剑柠 刘中 
网络中心化仿真运行支撑平台体系结构是为了满足动态构建仿真任务共同体而提出的相应支撑环境。采用基于XYZ/ADL的双重软件体系结构描述框架,分别从图形语言和形式语言对仿真运行支撑平台体系结构进行了描述并对仿真任务共同体构建中仿...
关键词：网络中心化仿真 任务共同体 运行支撑平台体系结构 体系结构描述语言 XYZ/ADL 
全选清除导出
共11页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部