软件体系结构求精研究

为了保证软件质量,提高软件可靠性、可重用性和可维护性,软件体系结构这一概念自提出以来就得到广泛关注,成为软件工程的一项重要研究领域.软件体系结构求精作为体系结构从抽象到具体的形式化方法,连接了体系结构分析到具体实现之间的鸿沟,从而有效地保证了软件体系结构的层次性和可跟踪性.良好的软件体系结构求精方法使得软件开发自动化,加速软件产品的交付过程,降低软件成本,以及提高软件质量.针对体系结构求精研究的主要内容,较系统地阐述了几种体系结构求精分类方法,并对求精检测的相关内容作了介绍,最后是对体系结构求精以后工作的展望.     

基于上下文相关的软件体系结构求精方法

为了提高软件体系结构求精的精确性与可追溯性,使处于不同抽象层次之间的体系结构之间形成规范的映射体系,引入了形式化方法,定义了一种基于上下文相关文法的形式化的求精文法,并将该文法应用到体系结构求精中,给出了基于构件的体系结构形式化求精过程.最后,基于体系结构求精方法建立了相应的用于指导软件开发的模型.     

一种基于代数语义的软件体系结构求精方法

软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型,有效解决了状态空间爆炸问题。此外,在求精过程中为了保证用于下层求精的子网能准确表达上层行为规约,引入了进程代数来刻画Petri网的行为语义。最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性。     

形式化与可视化相结合的软件体系结构描述方法研究

软件体系结构是软件工程领域中一个重要的研究内容,研究软件体系结构的首要问题是如何描述一个软件系统的体系结构模型。本文通过集成XYZ/ADL与UML两种描述方法在软件体系结构中的应用,寻求一种基于时序逻辑理论的形式化方法与面向对象的可视化方法相结合的软件体系结构描述新途径。着重研究XYZ/ADL与UML在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精。     

基于求精的软件体系结构设计方法

分析了当前软件体系结构研究对软件开发支持存在的不足，将软件体系结构求精技术引入大型复杂系统软件体系结构设计与开发过程中，结合抽象层次和层次视图，提出了一个基于求精的软件体系结构设计方法——ARSADM，给出了其关键步骤和过程，用于指导软件体系结构的正确设计。     

基于时序逻辑语言描述的监控系统的软件体系结构求精

该文提出了一种基于组件的软件体系结构求精方法,主要通过一个具体实例———移动通信监控系统,基于时序逻辑语言XYZ/E形式化描述其体系结构,对该求精方法及过程做进一步阐述。     

软件体系结构的概念

软件体系结构作为软件的整体结构,从整个系统的角度来看,除了包括由构件、连接件和约束构成的软件结构之外,软件体系结构还应包括软件完成的业务、执行业务的组织、组织的位置、运行软件所需的信息和技术基础设施等方面的内容。软件体系结构对软件性能和质量的影响是致命的,它与具体的开发过程紧密相关。文章从系统的角度阐述了软件体系结构的概念,基于此概念,说明了以体系结构为中心的开发过程,并结合软件体系结构与软件过程的关系说明了软件体系结构对软件质量的影响,最后总结了研究软件体系结构的目的。     

基于场景的面向方面软件体系结构度量方法

软件体系结构的评估为提高软件质量、控制系统复杂性提供保证,但多数单纯基于场景或基于度量的评估技术普遍存在度量角度单一的问题.针对该问题,结合场景技术提出了一种支持面向方面软件体系结构的度量方法.通过一组度量指标对体系结构进行度量并量化其结构特征;引入场景更细粒度地刻画体系结构的质量属性,考察场景在体系结构中的映射程度.最后对某保险案例的体系结构设计方案进行对比与选择,验证了方法的可行性及实用价值.两种技术的结合为更全面地进行面向方面软件体系结构的评估提供支持与参考.     

一种以安全性为中心的IMA软件体系结构设计方法

在改进体系结构权衡分析法的基础上,提出了一种以安全性为中心的IMA软件体系结构设计方法。利用危险场景评价IMA软件体系结构的安全性,针对重大安全设计隐患,给出相应的危险预防、消除或减轻策略;利用契约捕获IMA体系结构求精所需满足的约束,推动IMA软件体系结构螺旋式求精。本设计方法有助于消除IMA软件中可能会影响综合航电系统以及飞机安全性的设计缺陷。     

软件体系结构求精方法研究

1.引言软件设计在相当大的程度上可与建筑设计相类比,在古今中外建筑设计中,有诸多如欧洲的“歌特式”、“巴洛克式”、“维多利亚式”,中国的“园林式”、“宫廷式”等不同结构风格的建筑。同样在软件设计上,经过多年的理论探索和工程实践,也逐渐形成了一系列不同结构风格的软件体系结构。如UNIX操作系统中的管道一过滤器(pipe-filters)风格、分布式系统中典型的客户机/服务器(client/server)风格以及通信系统中的分层(layer)系统等等。     

基于时序逻辑软件构架形式化方法研究

随着软件系统的规模和复杂性日益增加,人们已经超越传统的“算法+数据结构=程序”的软件设计模式,软件系统的整体结构,即软件构架(Software Architecture)成为软件设计的重心和难点。运用形式化方法描述大规模、复杂软件系统的构架,能够阐明软件系统的真实内涵,有助于系统设计人员和相关人员更准确地了解系统,达成共识,避免误解。但更重要的是,形式化描述软件构架奠定了利用数学方法对软件构     

软件构件求精方法研究

从体系结构设计的角度,对构件的求精设计技术进行了研究.针对分布式系统的应用特征,给出分布式构件的描述模型,应用I/O行为状态机对分布式构件提出一种基于求精的构件设计方法与步骤,重点研究构件的层次分解的方法与实现算法.实际应用表明,该方法支持面向重用的设计,可实现组合构件的松散耦合,具有较好的可操作性.     

软件体系结构评估技术

作为在软件生命周期早期保障软件质量的重要手段之一,软件体系结构评估技术是软件体系结构研究中的一个重要组成部分.将现有的软件体系结构评估方法划分为3类:基于场景的评估方法、基于度量和预测的评估方法以及特定软件体系结构描述语言的评估方法.按照软件体系结构评估技术的评价框架,分别从评估方法的目标、质量属性、关键技术等方面对这3类方法的特点进行介绍和对比.最后分析了现有研究中存在的不足并进一步探讨了软件体系结构评估技术的研究趋势.     

面向对象软件度量工具的研究与实现

利用软件度量工具对程序源代码的各类质量属性度量已是提高程序质量的一个重要方法,文章提出了一个以中间件为核心适用于多种面向对象程序设计语言的软件度量工具的灵活的软件结构,同时介绍了自行设计实现的度量工具,最后指出了下一步的的研究方向。     

软件体系结构设计方法的研究

科学合理的软件体系结构是开发一个成功应用系统的必要条件,对于提高系统的开发效率和质量具有非常重要的意义。首先分析了软件体系结构与相关概念的关系,接着剖析了软件体系结构的几种主要设计方法的设计过程,最后指出了这些设计方法的不足之处及下一步可能的研究方向。     

软件体系结构层次的适应性度量技术研究

软件适应特定变化的能力对软件开发和维护都具有重要的影响.软件适应性(Software Flexibility)是反映软件适应变化能力的一项重要质量特征.实践说明软件体系结构设计在很大程度上决定了软件的适应性.在软件体系结构层次上量化地度量软件适应性,有助于设计人员改善和比较软件体系结构的设计方案,并可以辅助设计人员评价软件体系结构的质量.本文首先定义了软件适应性的因素-准则-度量模型(FCM模型);然后在此基础上提出了一种利用变化影响图(CIG)对软件适应性进行度量的方法.