XYZ/ADL中软件体系结构开发

来源 :中国科学院软件研究所 | 被引量 : 0次 | 上传用户:redblackzhu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
XYZ/ADL是一个基于体系结构的系统开发环境.它可以用图形和文本两种符号来表示由和连接件所构成的任意软件体系结构,特殊的,它还可以表示常用的体系结构风格.XYZ/ADL还提供了基于体系结构风格的软件设计的辅助工具.以XYZ/E作为形式语义基础是XYZ/ADL最大的特点,这使得在统一的框架下表示和分析软件体系结构的静态和动态性质成为可能.该文提出了一个软件体系结构模型,以及基于此模型的可视化体系结构描述语言,此语言以XYZ/E作为其语义基础.作者还讨论了支持体系结构设计的机制,例如参数化和继承机制.最后作者,作者以锅炉系统设计问题为例,具体讨论了XYZ/ADL的应用.
其他文献
该文针对视觉上可直观认知的数字图像水印,采用小波变换方法在频域中对数字水印技术进行了研究.该文首先对课题的背景和当前国内外研究现状做了简单的回顾,着重讨论了数字水
该文对解一般混合整数非线性问题的并行分支定界算法及其实现进行了综合研究,并对其在分布存储的MPP上的数值实验结果进行了分析.研究结果表明:(1)采用深度优先策略虽然能较
学位
该论文研究和实现了电话网上网智能卡安全交易平台.智能卡作为一种个人信息的载体,具有方便、灵活、耐用和安全的特点,它的引入避免了早期应用直接将未加密的个人敏感信息在
该文在给出网络拥塞控制的模型和简单分类后,深入分析了TCP的标准化和研究性塞控制算法,并在此基础上提出了一种基于反馈的自适应的拥塞控制算法.该算法将经典的一阶时滞系统
体视化的出现给传统的计算机图形带来一场革命,同时也展现出无比广阔的应用前景.该文简要地介绍了体现化技术的基本概念、原理、几种典型的体现化方法以及体视化软硬件系统的
目前各种研究性和商用的移动对象系统已经有很多,现有系统的研究重点主要是支持对象移动的机制本身.要把移动对象模型真正应用到实际系统中去,许多相关的基本服务还需要进行
由于传统的ISDN的视频会议的MCU都是集中式,硬件实现的.该文主要在面向ISDN网 络,软件实现MCU部分功能的前提下,就一个完整的视频会议系统的主工功能,对模块的设 计,及至部分
由于规模稍大的软件开发过程相当复杂,涉及的因素很多,所以不同软件项目所使用的开发方法、技术、支撑工具与环境不尽相同。为了提高软件生产率、降低软件成本,有必要从软件工程
该文根据当前民航的安全检查、离港系统的现状,提出并实现了机场的智能化安检与离港系统.首先,基于民航票务系统本身的封闭性,提出采用键盘、打印机仿真接口卡,实现对售票终