分享到:

基于域分析的CAPP软件体系结构

计算机辅助工艺设计是先进制造技术的核心技术之一,是实现CIMS、并行工程乃至敏捷制造、智能制造的重要基础性技术。本文以解决影响CAPP发展的根本性问题,即:缺乏完整的理论与技术体系以保证CAPP系统能够适应分布异构的动态应用环境为目的,从软件实现的角度,全面而深入地开展了基于域分析的CAPP软件体系结构的基础理论与相关应用技术研究,通过这些研究和实践可以充分提高CAPP软件系统的可重构性、可重用性和可扩展性(即RRS特性),从而使CAPP软件成为一个适应性很强、柔性很高的敏捷系统。本文主要的研究内容以及成果包括:1.CAPP发展问题研究及基于域分析的软件体系结构方法论通过对不同阶段CAPP研究特点以及影响CAPP发展本质问题的分析,首次提出通过开展基于域分析的CAPP软件体系结构研究以解决影响CAPP研究与发展根本问题的新思路,并在此基础上提出了基于域分析的软件体系结构方法论。基于域分析的软件体系结构方法论是进行不同领域中的域分  (本文共144页) 本文目录 | 阅读全文>>

中国科学院研究生院(软件研究所)
中国科学院研究生院(软件研究所)

分布事件通知服务的关键技术及其应用研究

Internet的广泛应用使得传统的基于请求/应答的点对点的同步通信不能满足大规模的动态分布式应用环境。基于事件通信的发布/订阅(Publish/Subscribe)模型是支持大规模分布式系统的有效通信方式。该模型支持发布者和订阅者在时间、空间和同步方面的非耦合以及多对多的通信模式,从而满足大规模分布事件通知服务的基本要求。论文在分析和总结分布式事件系统的原理、应用和关键技术的基础上,对基于内容的事件过滤技术、复合事件检测技术和动态可重配的分布事件通知服务的体系结构等方面进行了重点研究。首先,基于BDD(Binary Decision Diagram)模型,对基于内容的事件过滤方法进行了系统研究,利用BDD方法提出了一个事件过滤算法,对该算法进行了模拟试验,分析并比较了它与基于谓词索引、基于测试网络等方法在时间、空间和易维护性方面的优劣。复合事件检测技术的运用使得基于事件通信机制的应用系统可以支持复合事件模式的表示,极大地扩展了...  (本文共122页) 本文目录 | 阅读全文>>

中国科学院研究生院(软件研究所)
中国科学院研究生院(软件研究所)

软件体系结构形式描述研究

体系结构设计在软件开发整个过程中扮演着重要角色。工程中常用直观、半形式化的图形建模的方法对软件体系结构进行描述,但这些建模语言的缺点是语义不够精确,难以对它们所表示的模型进行分析,这一点上形式化方法可与之互补。如何结合二者之长以提高软件的可靠性,是工业界和学术界共同关心的问题。为此,我们提出了双重软件体系结构描述框架XYZ/ADL:支持工程中关于软件体系结构的基本概念,前端用一般的体系结构框图作为结构描述,抽象行为用UML活动图、状态图表示,以便于软件工程师的使用和交流;后端用时序逻辑语言XYZ/E作为一致的语义基础,以支持进一步的形式化分析验证。本文主要贡献在于:◆ 结合体系结构框图、UML活动图、状态图等图形语言和时序逻辑语言XYZ/E作为双重软件体系结构描述框架。该框架包括一套完整的图形语言,并以一套完整的形式化文本语言(XYZ/E的扩充)作为语义支持。◆ 用XYZ/E作为软件体系结构各部分的语义基础;对XYZ/E进行扩充...  (本文共132页) 本文目录 | 阅读全文>>

武汉大学
武汉大学

GIS动态集成框架及其UIB核心相关问题研究

分布式地理信息系统的运作过程以资源共享、任务分担和协同工作为主要目标,突出的问题是异构系统的集成、资源共享和群体协作,而有效的解决以上问题的途径是遵循开放的原则,采用标准化技术,建立集成软件环境。开放性、标准化、构件化的软件开发思路也是面向复用的软件工程化开发和工业化生产的必然趋势。目前主流软件开发技术支持这一目标的实现,并且制定了较为全面的规范和接口标准。但是由于实现厂商的差别,事实上他们产品之间集成与互操作的实现存在很多问题。另外他们可能无法满足众多领域所需的多类服务需求,因此用于特定领域的工业级公用集成总线的研究被提出并被认为是解决领域集成的可行技术。本文拟通过GIS领域分析和多类使能技术的性能比较,将软件体系结构原理、方法与基于构件的软件开发方法相结合,从两个不同层次,探讨开放式GIS公用集成总线(GUIB:GIS Utility Integration Bus)的软件体系结构和实现技术。在此基础上,提出建立以GUIB为...  (本文共141页) 本文目录 | 阅读全文>>

哈尔滨工程大学
哈尔滨工程大学

基于软件体系结构的测试用例生成技术研究

从90年代开始,软件体系结构(Software Architecture,SA)技术受到了研究界和工业界的普遍重视并开始得到应用。软件体系结构的设计对于整个软件系统的开发至关重要,这种重要性不仅表现在软件的构造上,还表现在对软件测试的指导上。因此,为了提高软件体系结构设计的质量并用软件体系结构设计指导软件测试,有必要研究基于规格说明的软件体系结构测试技术。软件体系结构为软件测试提出了很多新问题,但目前对软件体系结构测试的研究还很薄弱。能否找到有效的适用于软件体系结构的测试技术,将决定着软件体系结构技术是否能够应用成功。基于软件体系结构的测试技术研究的核心是自动生成测试用例。为此,需要选择或设计合适的软件体系结构描述语言,将被测系统IUT(Implementation Under Test)的描述建立在软件体系结构层上,并以此为出发点,寻找恰当的测试视点、测试覆盖准则和测试用例生成算法。本文的第一部分工作是从软件测试的角度出发,以...  (本文共164页) 本文目录 | 阅读全文>>

复旦大学
复旦大学

一种轻量级觉察上下文软件体系结构的研究

普适计算(Pervasive Computing)致力于将计算技术融入人们的日常生活中,将由计算和通信结点及系统组成的计算空间与人类生活的物理空间无缝集成为和谐的人机交互信息环境。从技术上来说,这就要求普适计算软件对环境信息具有高度的可觉察性,人机交互更自然化,设备和软件的自适应性能力更强。普适计算的研究涵盖了中间件、移动计算、人机交互、嵌入式技术、传感器、网络技术等子领域,其最重要的分支为觉察上下文计算(Context-aware Computing),即计算机系统能够获取地点、时间、气候、用户行为等周围环境的信息,并根据这些信息动态自动调整其行为,使得用户可跳出传统人机交互方式导致的控制循环,上升为只需作出关键决定的系统监控者。觉察上下文计算思想虽源来已久,然而仍是一个开放领域,存在许多令人感兴趣的挑战:例如觉察计算的软件体系结构、上下文信息的有效获取、表达和认知;应用程序如何自适应上下文的变化;系统安全性等等。随着普适计算...  (本文共124页) 本文目录 | 阅读全文>>