基于中间层的软件体系结构模型

随着软件规模和复杂程度不断地扩大和增加,软件开发已不再完全取决于数据结构和软件算法的选择,而是在很大程度上取决于软件体系结构,软件体系结构模型是影响软件的关键.根据待开发软件的应用场合和所处理问题的特点,选取合适的体系结构,有利于缩短开发周期、节约开发成本和软件维护.经过对常见软件体系结构模型的分析后,提出一种新的软件建模方式--基于中间层的软件体系结构.然后,通过一个实际的例子--校园一卡通系统,阐述了所提出的基于中间层的软件体系结构模型.     

软件体系结构可靠性分析

软件体系结构可靠性评估是软件体系结构质量度量的重要内容之一,软件体系结构可靠性模型的研究是解决软件体系结构可靠性评估技术研究的重点。从软件体系结构的风格出发,依据马尔可夫随机过程理论,讨论了几种体系结构风格的可靠性模型,并说明可靠性模型的应用。软件体系结构可靠性评价在软件系统的设计初期进行实施,可以在设计的较早阶段发现系统中存在的问题,有利于改善系统性能,节约系统开发成本。     

对几种常见软件体系结构模型的思考

本文通过介绍几种软件开发中常见软件体系结构模型,以及对几种模型进行分析比较,从而为软件开发过程中软件体系结构的选择提供一些思路,并减少一些开发软件过程中的风险。     

软件体系结构的CDT模型

文章采用以范畴理论为基础的CDT(范畴数据类型)模型给出了体系结构的形式化定义。在此基础上对软件体系结构的重用进行了理论分析与探讨，这为软件体系结构的进一步研究提供了坚实的理论基础．     

具有自主计算特征的动态软件体系模型研究

如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。针对这一问题,文中提出一种具有自主计算特性的动态软件体系结构模型,并给出该模型的组成。该模型核心是构件元模型,在传统构件模型中添加自主计算特征,通过一个实例说明该模型的可行性和有效性。     

特定领域软件体系结构研究

在分析典型的软件体系结构概念之后，给出了一种新的、通用的软件体系结构定义。目前，大多数软件体系结构的研究主要集中在特定领域软件体系结构，其包括域工程和应用工程。通过分析域工程中域分析的几种不同的概念．提出了域分析和动态域模型的定义，建立了特定领域软件体系结构开发模型，并成功地应用于一复杂的软件系统开发。最后还指出了软件体系结构领域的发展方向。     

协同系统体系结构模型的形式化语义

 针对模型驱动的协同应用系统开发,将范畴理论、代数规范和进程代数相结合,为软件体系结构模型提出了一种新的语义描述方法.该方法在构件规约描述的基础上,用态射表示构件之间的关系,态射类型蕴含了构件关系的不同语义,从而用类型范畴图表来描述软件体系结构模型,用函子描述体系结构模型之间的映射关系.体系结构模型的形式化描述可用于判断一个转换是否满足某些特性或约束.以一个协同编著系统为例说明了该方法的应用.     

几种软件体系结构风格论述

软件体系结构设计是软件生命周期的一个重要环节。文章剖析了四种软件体系结构的系统模型,从技术层面探讨了它们的特性,随后进一步探讨了异构结构体系结构。     

公安地理信息系统软件体系结构开发模型

本文系统地论述了四种软件体系结构开发模型。在此基础上，运用基于总线的系统模型，第一次提出了公安地理信息系统软件体系结构通用开发模型，并详细地分析了该模型中的核心组件的功能，利用此通用模型，可以提高公安地理信息系统的软件开发效率。     

基于反射的动态软件体系结构实现

文章结合元模型、反射等技术首先从宏观的角度提出了一个支持分布式应用环境的动态软件体系结构模型，并描述了如何对系统进行动态演化，然后从微观的角度给出了软件体系结构的形式化描述。基于此框架．作者在Web环境下实现的一个可动态演化的网上宠物商店系统证明了该方法的有效性。     

公安地理信息系统软件体系结构开发模型

本文系统地论述了四种软件体系结构开发模型。在此基础上，运用基于总线的系统模型，第一次提出了公安地理信息系统软件体系结构通用开发模型，并详细地分析了该模型中的核心组件的功能，利用此通用模型，可以提高公安地理信息系统的软件开发效率。     

浅析物联网软件结构中感执模型的求精过程

物联网是近几年在我国得到快速发展的一门新兴技术,得到了社会各界人士的关注,引起了人们的讨论,物联网的主要工作原理是通过对周围环境的感官来进行环境掌控,以求在外界环境中尽可能满足用户的需求,由此可见,从物联网的根本性质出发,感执模块是其中较为重要的一个内容,在对其进行求精的过程中,充分考虑了物联网的自身特色,并根据表达的理论实现相应的物理应用,致力于物联网的软件开发,并完善物联网软件体系结构,本文将对物联网软件体系结构中的感执模型的求精进行简要探析。     

浅析物联网软件结构中感执模型的求精过程

物联网是近几年在我国得到快速发展的一门新兴技术，得到了社会各界人士的关注，引起了人们的讨论，物联网的主要工作原理是通过对周围环境的感官来进行环境掌控，以求在外界环境中尽可能满足用户的需求，由此可见，从物联网的根本性质出发，感执模块是其中较为重要的一个内容，在对其进行求精的过程中，充分考虑了物联网的自身特色，并根据表达的理论实现相应的物理应用，致力于物联网的软件开发，并完善物联网软件体系结构，本文将对物联网软件体系结构中的感执模型的求精进行简要探析。     

ICEMDA:一种可互操作可配置可执行的模型驱动体系结构

 国际对象管理组织提出模型驱动软件体系结构(MDA),以模型建立与模型转换为中心的思想为软件开发带来了新变革,但OMG并未给出各层次具体模型与建模理论.为了对随需应变的企业管理软件开发提供一组理论与方法支持,本文提出一种可互操作、可配置与可执行的企业模型驱动体系结构ICEMDA:面向过程的ICE-CIM、面向对象的ICE-PIM、面向模式的ICE-PSM和面向构件与配置的ICE-CODE.本文阐述了ICE-MDA各层次模型的建模思想、核心概念及以核心概念为主的模型之间的转换.ICEMDA可有效指导用户快速开发与实施复杂管理软件.     

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.     

无线传播模型参数推荐K值

本文结合多个城市传播模型校正结果,对各城市传播模型的参数进行了研究归纳,给出了2GHz频段传播模型普遍适用的K值参数推荐值,这对传播模型的校正工作和规划仿真工作具有重要的指导意义。     

4G移动通信城市环境电波传播特性测量与建模

开展IMT-Advanced频谱特性研究对于促进4G移动通信技术发展意义重大.针对中国4G现场测试环境,研究提出了一种电波传播特性测量与建模方法,结合高性能测试仪器和虚拟仪器技术设计构建了3.5 GHz测量系统,在宽带无线业务集中的城市热点地区开展了测量,提取了路径损耗指数、阴影衰落标准方差等特性参数,建立了实测模型.通过与国际标准SUI模型及COST-231 Hata模型进行比较,发现SUI模型与实测结果更为吻合,说明在3.5 GHz频段国际标准模型对于中国城市热点地区适用存在差异性.这为我国无线电管理部门进一步开展4G频段频谱特性研究提供了参考依据.     

多核处理器并行计算模型研究

针对并行计算机体系结构中没有通用的计算模型这一问题,分析了一些现有的典型计算模型,在同步性、通信方式、参数方面进行比较,以LogGP模型为基础提出一种改进的mzLogGP模型.利用MPI并行算法对满足节点计算资源非独占、网络存在拥塞条件下的并行程序进行分析与测试,通过增加memory层次化层数和网络拥塞指数这两个参数,...     

可编程路由器中基于缓冲队列长度阈值的处理器调度

可编程路由器除了转发IP分组之外,还需要执行计算任务.如何调度可编程路由器中CPU的处理能力是一个需要解决的重要问题.本文首先建立了一种通用的可编程路由器软件体系结构,在此基础上,提出了一种基于缓冲队列长度阈值的CPU调度算法,采用随机Petri网对算法进行了模型分析和计算.结果表明,该调度算法可以同时保证可编程路由器中的尽力发送流和QoS流的计算需求.     

从需求规约到软件体系结构——一个实例研究

软件需求工程和软件体系结构设计是软件开发中的两个早期关键活动．如何自动或半自动地实现从需求规约到软件体系结构的变换一直是学术界和产业界关注的难题．目前，实践中仍然没有系统化的、有效的方法、技术、工具和过程指导从需求规约到软件体系结构的变换．本文基于一个实际项目一奥运会注册制证子系统的软件体系结构建模，探讨了从需求规约到软件体系结构变换的经验性过程，并分析了变换过程中涉及的关键问题。以期为获得一个一般性变换过程奠定基础．