使用基于进程代数的方法建立软件体系结构的安全模型

安全体系结构集成了软件体系结构与信息安全两大领域的研究,基于进程代数的语言适合描述基于并发交互构件的软件体系结构的一系列重要性质。使用基于进程代数的描述语言对结构中各组成元素和整体拓扑构形分别建模,形成安全的软件体系结构。     

CORBA构件技术在信息系统分布式软件体系结构中的应用

随着企业(事业)分布式信息处理的日趋复杂,传统的C/S体系结构已不能适应复杂信息系统的需要,开发者必须寻找新的软件体系结构,才能成功地开发出可用性较好的信息系统。该文探讨了一种适用于企业(事业)信息系统的分布式软件体系结构,结合开发实例讨论了基于CORBA的构件技术及其在分布式信息系统开发中的一些具体方法。     

面向对象范型体系结构中构件行为相容性研究

软件体系结构(SA)为基于构件的软件开发提供了一种高层次的抽象.如何有效描述体系结构中构件的对外交互行为、验证组装构件间的行为相容及保证整个体系结构行为无死锁是其中较为重要的研究内容.在基于面向对象范型这类重要的软件体系结构中,构件组装通常是通过接口方法调用加以实现.针对这样一类基于软件体系结构的构件组装问题,形式描述与定义了构件及其对外交互协议,分析了服务请求构件与服务提供构件所能展示的不同行为,给出了组装交互的构件在请求/提供接口上协议级行为相容的一组验证规则及相关定理.最后,通过一个电子商务应用实例来说明所提出途径的可用性和针对性.     

独立软件级领域构件的复合组装机制

本文简要地介绍了粒度为独立软件级构件的领域软构件体系的设计原理及其复合组装机制的技术细节。     

不匹配构件的组装技术

分析了构件组装中出现的各种不匹配现象以及相应的解决方案,指出了构件组装的发展必然延伸到Internet计算平台上,提出采用多Agent系统能够系统地解决Internet计算平台构件组装问题的观点。     

构件组装及其形式化推导研究

基于构件的软件工程(component based software engineering,简称CBSE)能够有效地提高软件开发的质量和效率.构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张在构件组装的同时进行接口组装,通过生成功能更强、抽象级别更高的复合接口,提高构件组装的抽象级别和粒度.同时,基于Wright的形式化规约软件体系结构的研究,给出了复合构件和复合接口的组装推导算法,为系统行为的形式化分析、验证和仿真奠定了基础.     

一种基于适配器的构件组合方法

基于构件的复用技术被认为是提高软件开发效率和服务质量的有效途径,已在不同应用领域中得到了广泛应用。在面向服务的架构中,如何利用已有粒度较小的构件构造新的大粒度构件成为当前软件复用领域中的一个研究热点。针对现有面向接口的构件组合方法的不足,从可复用构件的获取标准与组合方法两个方面进行分析介绍,并在此基础上提供了一种通用的基于适配器技术的构件组合方法。     

测试外购软件产品的方法研究

随着在大型软件开发中越来越多引入外购软件,其质量也成为保障军用软件质量的重要组成部分。为了减少在使用外购软件时容易出现的问题,本文首先提出了“软件包装”的概念并进一步对其应用技术进行了详细的描述,最后分析了“软件包装”的利与弊,具有一定的实用价值。     

软件体系结构的概念

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

可复用构件组装技术研究

构件组装是基于构件的软件开发过程中的关键环节,组装机制又是构件组装中的核心问题。本文根据不同粒度构件组装行为的特点,对小粒度构件的低层次组装和大粒度构件的高层次组装机制进行了研究。探讨了用XML描述构件组装机制的方式,以及在J2EE平台中生成可编译的JAVA源代码的方法。     

基于软件体系结构的可复用构件制作和组装

软件复用和基于构件的软件开发是软件工程化开发和工业化生产的必然趋势,可复用构件的制作和集成组装是其中涉及的两个重要活动.首先分析了现有的构件集成方式所存在的不足,引出了基于体系结构的构件集成;接着对几种不同的体系结构类型进行比较,阐述了它们对构件集成的影响;然后提出了支持接口连接式和插头插座式体系结构类型的构件模型以及基于体系结构的构件集成组装框架,并给出了构件的制作和组装过程;最后对工作进行总结,并指出了进一步的研究方向.     

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language

We present an algorithm for the translation of security protocol specifications in the HLPSL language developed in the framework of the AVISPA project to a dialect of the applied pi calculus. This algorithm provides us with two interesting scientific contributions: at first, it provides an independent semantics of the HLPSL specification language and, second, makes it possible to verify protocols specified in HLPSL with the applied pi calculus-based ProVerif tool. Our technique has been implemented and tested on various security protocols. The translation can handle a large part of the protocols modelled in HLPSL.     

构件仓库的研究与应用

为了解决构件的使用和管理问题,提出构件仓库的解决方案。首先,研究了构件仓库的总体结构和逻辑结构,从整体上分析构件仓库。其次,介绍了构件仓库的部署。最后,从构件使用、构件发布、构件管理和仓库设置四个方面研究了构件仓库的应用。对构件仓库的使用,根据用户角色的不同分别赋予不同的权限,合理地对构件仓库中的构件进行管理。采用构件仓库管理构件,可以有效地提高软件开发的效率,使构件能够更合理地得到复用,提高构件的复用率。实践表明,构件仓库能够有效地解决构件的使用和管理问题,为软件开发提供有力支持。     

基于Ajax技术的跨浏览器组件研究

随着网络技术的发展,出现了多种流行的浏览器。由于不同的浏览器,有着各自的特征和限制,因此更多的浏览器的出现,将会促使更多的技术融入到Ajax中去。跨浏览器是Web应用可用性的重要组成部分,处理跨浏览器兼容性成了一个迫切需要解决的问题。Ajax技术为创建一个可以很容易在所有浏览器中使用的可移植的组件提供了一个通用编程模式。     

基于行为的构件组合及存在性检查

多个构件的组合可以解决单个构件的行为不能完全满足用户需求的问题。构件组合的关键是检查组合后复合构件的行为是否完全满足用户的需求。针对上述问题,提出一个基于行为的构件组合方法。该方法采用具有终止状态的接口自动机描述构件行为和用户需求。为了检查组合后复合构件的行为是否满足用户需求,提出基于行为映射图的组合存在性检查方法,给出从复合构件中提取用户所需行为的方法。     

基于通用连接器模型的复合构件的组装

基于构件的软件体系结构(SA)由构件与连接器组成,连接器作为构件间的交互实体在SA中扮演着重要角色。现有的连接器模型只能支持特定软件体系结构风格的组装,该文针对构件组装的核心问题：构件间交互的不匹配,采用复合构件组装的方法,提出一种通用连接器模型用以对不同连接器模型进行描述。给出4种复合构件组装机制及各种机制的组装方式,并对复合构件进行扩展,使其具有动态性,能较方便地实现动态体系结构。     

基于SSM的软件体系结构开发过程研究

软件体系结构开发过程和软件体系结构产品是软件体系结构时空的外在表现,软件体系结构的开发过程直接影响着软件体系结构的质量;在基于SSM的SA开发过程循环图的指导下,文中系统分析了体系结构相关的设计、测试、评估等活动之间的联系,并设计出一种新的体系结构开发过程模型——多三角体系结构开发过程模型,充分体现出尽早测评、全面测评、全过程测评、独立的迭代测评的特点,从而以合理的过程指导优质体系结构的设计。     

R软件在主成分分析中的应用研究

在研究复杂问题时,主成分分析方法可以抓住问题的主要矛盾,揭示其内部各因素之间的规律性,提高分析的效率。R软件是一款免费且功能强大的软件,研究表明R软件可以方便快捷地完成主成分分析的计算,且具有很高的计算精度。     

面向组件的软件老化抗衰策略的研究

随着软件应用系统的复杂性不断提高,系统性能衰退的现象也日益普遍,研究表明计算机应用系统性能的衰退现象主要是由于软件的老化产生的.为了缓解软件老化问题、减少软件性能衰退造成的损失,最终实现一种可准确对系统当前老化状态的预测模型,本文提出一种面向组件的软件老化抗衰策略.该策略在以往研究的基础上,细化了软件再生粒度,将老化的预测和再生扩展到应用组件级.使用灰色预测方法实现在可利用的系统资源不足的情况下的老化状态的预测.还应用Matlab对该模型进行了模拟实验.实验结果表明该策略具有良好的可用性和有效性,延长了软件系统的运行时间,提高了用户的访问成功率,并进一步增强了系统稳定性.     

一个支持构件演化的配置管理框架

构件库在基于构件的软件开发(CBSD)中扮演着重要的角色,然而在实际的软件开发过程中,构件的生产、维护、复用等还存在许多困难,其中一个主要的困难是大多数构件库仅提供构件的描述、存储和检索功能,缺乏配置管理支持。该文提出了一个支持构件演化的配置管理框架。这个框架将构件库作为一类特殊的资源库加以管理,从而为构件的演化提供系统的配置管理支持。