软件体系结构与XYZ/E

来源 :中国科学院软件研究所 | 被引量 : 0次 | 上传用户:ade4444
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着软件系统愈来愈复杂,软件设计的核心已从"算法+数据结构"转向对系统总体结构的设计和规范,亦即软件体系结构这一层次上的设计.体系结构是软件系统的高层抽象,用于描述整个系统的结构和行为.目前,软件体系结构已发展为软件工程的一个重要研究领域.XYZ/E是一种可执行的时序逻辑语言,其最基本的特征是可以在统一的时序逻辑框架下表示从形式化规范到可执行程序的不同抽象层次的系统描述,亦即它既能表示程序的动态语义,又能表示规范的静态语义;XYZ/E的这一特征可以应用于软件体系结构的描述、求精与设计中.该文工作主要集中于软件体系结构的描述、求精与设计工具等方面的研究.
其他文献
该文第一章介绍了智能交通管理系统和车牌自动识别系统的发展和现状,以及车牌识别的难点所在.第二章讲述了车牌照识别系统的工作原理与系统设计.第三章研究了车牌从包含有汽
RP技术是20世纪80年代初发展起来的一项高新技术,是机械工程、CAD技术、数控技术、激光技术及材料技术等多学科的有机综合和交叉应用。RP技术借助计算机辅助技术的分层方法,有
我国的电力通信事业正处于迅猛的发展期,电力通信网作为电力通信事业的专用网,已经成为支撑电力系统必不可少的重要网络。电力通信网作为承载电力系统间交互信息的基础设施,
近年来,中国主要的软件研发单位都开始意识到软件测试的重要性,同时随着J2EE应用的日渐广泛,迫切需要一套有效的软件测试支持工具,能对Servlet和EJB测试提供直接支持.该课题
语音合成的目标是合成的语音可懂、清晰、自然并富有表现力.目前汉语语音合成已经很好地解决了清晰度和可懂度的问题,但是合成语音的自然度一直不理想,表现力较差.无论是自然
基本输入/输出系统(Basic Input/Output System:BIOS)作为底层系统软件以固件的形式与其它硬件设备一同出现在计算机中,在机器加电后被首先执行,它检测并初始化系统部件,然后
伴随着Internet网络和通信规模的不断扩大,越来越多的Web应用程序涌现了出来,Web应用程序正变得越来越复杂,越来越重要.为了帮助管理这种复杂性,需要为Web应用程序建模.统一
随着计算机与网络的日益普及,数据库技术在各行各业广泛应用,同时也保存着大量数据信息,这些数据大多是面向应用的、低层次的,对于企业管理人员来说从中获取有帮助的知识是非
IP电话的本质特征在于语音分组交换技术,它将模拟语音进行模数转换、压缩编码、打包分组,然后基于分组交换网络进行传输,然后再通过解包解压缩处理恢复语音从而实现语音通信.
本文探讨了社保行业数据仓库建设的必要性和可行性,社会保险是我国信息化建设较为成熟的一个领域,经过十几年持续的建设,已基本形成了稳定的应用并积累了海量的数据,这就使建设以