从需求到体系结构的设计

目前还没有一个好的方法能够将需求过渡到软件体系结构,其部分原因是由于它们二者所涵盖的概念和术语各不相同。讨论了一种基于目标和场景的方法来实现从需求到体系结构的设计。     

考虑组件复制的SA软件部署可靠性研究

复制软件组件能提高服务的可靠性和系统可靠性,然而,复制额外的软件组件需要消耗系统可用系统资源.为了充分利用系统可用资源,得到更高的可靠性优化值,设计了启发式的贪婪复制算法,该算法根据单位带宽的可靠性优化值增量OB和单位内存的可靠性优化值增量OM,利用贪婪思想选择出将被复制的两个软件组件集合,其中具有更高可靠性优化值的集合是该算法确定的将被复制的软件组件集合.实验结果表明:当给定有限的系统可用资源时,与贪婪复制算法相比,该算法能得到更高的可靠性优化值和更高的服务可靠性.     

基于层次式软件体系结构的教师继续教育管理系统的设计与实现

文章介绍了层次式软件体系结构的概念,并分析其在软件开发中的地位和作用,阐述了层次式软件体系结构模型在教师继续教育管理系统的设计和实现。     

汽包水位温压补偿控制系统研究和应用

对汽包双室平衡容器水位温压补偿控制系统进行了探讨和研究,根据温压补偿模型,分析了P L C系统难以独立实现的原因以及查表法的缺陷,提出了P L C系统与上位机系统相结合的水位温压实时连续补偿的综合控制策略,提出并分析比较了三种体系结构及其实现原理和技术,工程应用结果表明该控制系统提高了水位控制的实时性、稳定性、准确性和安全性。     

基于业务组件划分的多集群体系结构

主要研究了如何通过改进业务层中的集群结构，来提高业务层的性能。分析了单集群结构在负载均衡、扩展能力和优化手段等多方面的不足，提出了基于业务组件划分的多集群结构。同时还提出了在多集群结构中进行业务组件划分的基本思路和方法，并且分析和比较了4种不同的多集群体系结构。     

描述软件体系结构的算子集的性质研究

基于语法树并以数据类型为对象而构造的描述软件体系结构的算子,进一步深入地研究描述软件体系结构的算子集的定义及其相关概念,并对算子集中的简单算子集Asimple和复合算子集Acomplex的性质进行了推导,从而得出了一些重要的推论和定理.这些结论为进一步研究复合算子集Acomplex的性质奠定了基础.     

软件体系结构的数学论域

把两个数学集合ISAC和IP定义为软件体系结构SAC的形式逻辑系统的数学论域,并在其上建立了一系列形式逻辑谓词公式,成功地描述了在该论域中对象(算子)的分布特征和SAC的若干有趣的性质和结论,为SAC的结构分析和评估提供了观点、方法和工具.     

基于CHAM模型的LTS状态树生成算法

标号迁移系统(1abelled transition system，LTS)是形式化一致性测试的重要研究方向，在软件体系结构(software architectures，SA)测试计划生成的研究中，需要从化学抽象机(chemical abstract machine，CHAM)模型中生成LTS，以表达出软件体系结构的动态特征，因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题，基于CHAM模型，提出了通用LTS状态树生成算法，并使用实例验证了该算法。     

一种实时系统软件体系结构风格:NewRob

该文分析了现有的软件体系结构风格描述语言的特点,并结合嵌入式实时系统的领域特征,提出了一个面向嵌入式实时系统的软件体系结构风格:NewRob。NewRob所生成的一个基本说明书,由一个同步控制任务组成,它负责将系统作为包含各类异步组件的集合,进行动态重构。控制任务通过对各组成元件逐级细化、分解,得到进化后的低级控制任务,每个低级任务也都管理一个新的组件集合。采用时序逻辑描述和验证不同抽象级别的软件体系结构的一致性。     

基于机群和多层软件体系结构的电子商务系统构造方法

构造高可靠性的电子商务系统，不能单从硬件或软件的角度考虑，而必须从硬件和软件的体系结构出发，充分利用它们的特点，编写适合于这种体系结构的应用程序。只有这样，才能提高系统的综合性能。本文在分析机群技术和N层软件体系结构的基础上，介绍了基于机群和N层体系结构的电子商务系统构建技术和方法。