大型复杂软件系统安全需求的体系结构模型

在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而传统的体系结构没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此在体系结构层次上描述安全需求还比较困难。本文首先论述了在体系结构层次上描述安全需求的必要性。然后,在传统体系结构单元——部件／连接件的基础上,引入了安全构件、半安全构件、安全连接件、半安全连接件等新的设计单元,并给出了这些设计单元形式化的语义和约束以及图形模型,解决了软件系统安全需求的构件表示方式。最后,用一个实例展示了软件系统安全需求的体系结构模型。     

模型驱动的服务构件开发工具

研究并开发一种模型驱动的服务构件开发工具,提出相应的服务构件开发流程。该工具基于服务构件架构定义构件模型,验证模型的正确性,采用模型驱动开发技术自动生成代码框架,支持构件开发的3个关键步骤,即构件制作、构件组装和构件管理。应用结果证明,该工具能提高软件开发效率。     

设备在线监测系统的软件架构研究

针对设备在线监测系统开发中存在重复研究、可扩展性及复用性差等问题,从软件架构的角度入手,通过总结和归纳领域知识,建立领域模型指导软件架构的分析与设计,并对在线监测系统的软件架构进行全面描述。基于该软件架构实现一个在线监测系统。实践证明,该架构合理有效,对于相关研究者和开发者具有一定指导及借鉴意义。     

基于场景的软件体系结构分析

文章介绍了一种基于场景的、面向对象的软件体系结构分析方法（ＳＡＡＭ）。首次提出了用基于场景的软件体系结构分析方法来分析面向对象软件系统的体系结构质量属性,如软件结构的耦合度、内聚性和结构复杂性,从而解决了传统软件体系结构质量属性由于过于抽象而无法定量地度量的问题。文中还具体介绍了将该方法成功地应用到一个测试软件ＳａｆｅｐｒｏＣ的体系结构度量上。实践证明,此方法不仅能够有效地度量软件体系结构的静态质量属性,而且还能较好地度量软件体系结构的动态质量特性。     

一种自适应系统的体系结构建模方法*

当前计算机软件已深入应用到国民经济各个领域中,然而其性能的衰退使得软件系统无法满足用户的需求,因此研究一种新的具有自适应功能的系统已十分迫切。针对这个问题,采用C2体系结构风格描述一个自适应系统,并利用统一建模语言UML对其进行建模。     

基于SCA的SHP组件动态部署方案

在软件通信体系结构(SCA)中,调制解调级硬件抽象层(MHAL)规范不支持专用硬件处理器(SHP)中组件的动态部署。为此,提出一种基于SCA的SHP组件动态部署方案。介绍MHAL通信机制,设计硬件装配描述文件和硬件组件描述文件,在此基础上实现动态部署。分析结果表明,该方案能实现波形开发和部署阶段软件与硬件的分离,增强SCA对SHP的兼容性。     

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

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

SCML及其解析器SCML4J的设计及其实现

利用XML技术可以实现独立于平台的数据结构化表示,可以预见XML将成为分布计算中数据结构化表示的标准。目前许多大型分布式应用已经到XML的平台独立性和灵活的数据结构化特性,在数据描述、软件配置和应用程序间的消息通信中使用XML（例如SUN的J2EE、微软的net等）,颁上式应用本身要求软件系统具备动态配置的特性,以往那种静态配置的方式已经不太适应用。文中提出了一种通用软件配置标记语言SCML（Software Configuration Markup Language）,并利用Java技术实现了SCML4J解析器,上层应用这个解析器可以非常简便地实现软件的动态配置。     

电子政务综合服务门户应用研究*

在借鉴企业信息门户的基础上,根据我国城市的特点,针对政府行政管理和变革的需要和各级政府电子政务的实践,提出了适合我国城市电子政务建设的电子政务综合服务门户模型。通过对电子政务建设过程中各级政府、部门间系统独立,缺乏协同,形成信息孤岛,缺乏统一规范入口等问题,从系统和工程的观点提出了应用角色互动网络模型,可以应用到电子政务系统中的综合服务门户的解决框架,并通过给出的框架建立电子政务系统的应用软件系统框架结构,最后对电子政务综合服务门户应用实践进行了分析和阐述。     

并行程序开发平台体系结构的形式化研究*

用软件体系结构描述语言WRIGHT对并行程序开发平台结构进行形式化描述,指出这种描述的优点以及软件体系结构形式化研究的重要性。     

基于Agile方法的软件架构设计与实现

介绍了一种新兴的Agile软件开发方法及其特点,提出了基于Agile的软件架构设计思路和开发方法。在此基础上,结合事例实现了基于Agile方法的软件架构设计与开发,指出了在Agile方法的发展过程中需要解决的一些问题。     

构件技术与软件Agent技术研究

构件技术的提出对软件重用和软件开发效率的提高具有非常重要的意义。而软件Agent技术的提出为复杂问题的求解找到了很好的办法。首先分析了组件技术和软件Agent技术的主要内容,然后提出将构件技术与软件Agent技术相融合可以有效地提高软件的重用性、灵活性及适应性等,最后分析了组件技术和软件agent技术在软件开发中的应用。     

一个改进的基于构架的软件可靠性模型

本文通过对Wen-LiWang等人提出的基于构架的软件可靠性模型的改进,克服了该模型在不同结构中存在的对连接器的可靠性考虑不足的问题,同时,还提出了在混合结构中如何构造状态转换矩阵的方法,极大的拓宽了模型的应用范围,为分析构件、连接器和某种结构对整个构架可靠性的影响提供了一定的理论基础。     

软件体系结构描述研究与进展

软件体系结构是当前软件工程领域的一个研究热点,是大型软件开发中必须解决的核心技术。无数的软件工程实践也证明了:一个成功的软件系统往往都有一个好的软件体系结构。由于软件体系结构描述是体系结构构造、演化、验证、分析、维护和基于体系结构的软件开发的基础,因此体系结构     

Symphony和I／A series系统功能的对比分析

为使从事集散控制系统设计与应用的热控专业技术人员尽快掌握不同厂家生产的集散控制系统,从集散控制系统的网络通信、硬件配置和软件结构三个方面,对Symphony和I/A series系统的功能进行了对比分析,阐述了两者之间的对应关系及主要区别,给出了分析结果。这对从事集散控制系统设计与应用的热控专业技术人员具有一定的参考价值。     

基于MVC的软件界面体系结构研究与实现*

软件体系结构研究是目前软件工程领域研究的新一轮热潮,是对软件的更高层次抽象。在分析MVC（Model/View/Controller）模式机理的基础上,给出了基于MVC的软件界面体系结构及其工作机理。软件界面体系结构带来了软件设计的灵活性和高度重用性。最后,以软件界面体系结构为指导,分析了MFC（Microsoft Fundament Class）的文档视图结构,并给出了软件界面体系结构的具体设计和实现。     

SMC/ADL:一种层级式构件系统的体系结构描述语言

针对基于SMC构件模型的软件系统静态、运行态和动态抽象建模问题,提出由XML元语言定义和表达的体系结构描述语言——SMC/ADL。该语言从选取系统建模元素的类型、实例和实例行为这3个角度,利用一套XMLSchema定义了软件从设计到运行,直至演化阶段的完整体系结构规约框架,使其对系统高层抽象的支持扩展到整个软件生命周期。相关辅助工具表明了它的有效性和实用性。