面向网构软件的构件自适应机制研究*

结合软件agent技术,从构件角度出发,通过对传统构件进行包装,加入行为规则驱动和行为推导两大机制,提出了一种能够在运行时实时适应用户需求变化和运行环境变化的自适应构件。在自适应构件的运行和支撑方面,实现了一个可动态定制自适应构件行为规则的工具,改进了现有的构件支撑平台使得能满足自适应构件的运行需求;最后通过一个例子说明了自适应构件的设计、实现、运行和演化等一系列工作流程。初步实践表明,上述机制和整套框架为开发具有自适应性的网构软件提供了有效支持。     

面向服务的网构软件中间件研究 *

网构软件是近年来提出的一种具有自底向上的自主性、协同性、反应性、演化性、多态性等特征的软件状态 ,主要用来解决 Internet下分散的构件体的共享、集成和复用 ,但网构软件还处于发展初始阶段。结合 SCA简化 SOA所构建的业务应用程序的设计和集成 ,以及 SDO和 DAS的数据访问模式来构建一种网构软件中间件框架 ,并用 UML对各个阶段建模 ;最后结合 Apache下 SCA系统的 Tuscany开源包的一个远程教育集成系统来应用该网构软件中间件。     

基于可能世界的网构软件之自动推理研究

为了实现网构软件的自动推理问题,在基于可能世界的网构软件模型上,给出了一种基于概念分析的自动推理系统。通过对三段论的分析得到了自动推理的一般原则,并运用这些原则解释了三段论中正确的24式。通过对形式概念的讨论得到了概念编码的方法,并给出了编码的三值运算规则。最后,通过一个具体例子的应用分析,给出了使用该编码进行自动推理的一般步骤,运算结果表明,自动推理方法在机械化与效率方面优于传统的归结原理。     

基于身份的一次性公钥分析与重构

针对一种基于身份一次性公钥的构造方案给出2种攻击方法,指出其是可伪造的。基于超奇异椭圆曲线并利用一般椭圆曲线签名算法对基于身份的一次性公钥方案进行重新构造,新的构造方案能够抵抗伪造性攻击,是安全高效的。由于用户每次可以使用不同的公钥,方案可用于解决Internet通信中的匿名认证问题,实现用户隐私的有效保护。     

网构软件可靠性代数模型及简化计算研究

为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算的简化方法。实验证明,在网构软件的形式化分析基础上建立的模型和提出的可靠性计算方法正确、有效,可以有效地应用于网构软件设计、开发和测试、维护等方面。     

基于软件工程技术的发展分析

文中首先阐述了软件技术的发展,接着就软件技术的发展趋势中主要分析了Software Web的形成和网构软件系统2个方面。     

网构软件演化的业务一致性验证方法

为提高网构软件的可信性,提出一种网构软件演化的业务一致性验证方法.基于接口自动机对由XYZ/ADL描述的系统进行语义解释,定义XYZ/ADL到接口自动机的转换规则,给出检验系统业务一致性的3个规则,结合实例给出业务一致性的检验过程.通过模型检测器Spin证明该方法能够验证网构软件演化的业务一致性.     

Middleware Support for Internetware: A Service Perspective

The advent of Internet technology introduces a revolution to software application and development paradigms. Traditional software development and application patterns have been shifted to Internet-based service sharing and collaboration among partners across the Internet. This new paradigm imposes new challenges and complexity in the lifecycle of software development, deployment, execution and maintenance. Middleware, an intermediate layer to abstract the homogeneity and hide the di?erence of underlying systems, can be used to reduce the complexity of managing the lifecycle of Internet applications. In this paper, we exploit the needs of middleware support for Internet-based applications from a service perspective. We investigate the potential requirements and features of Internetware, and analyze the state-of-the-art solutions. We also discuss the remaining issues and their challenges, and explore the potential future research directions.     

构件软件测试技术研究进展

软构件技术提供了一种较面向对象方法更为有效的软件设计模式，构件软件被广泛应用并成为一种主流软件形态．然而，构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战，寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题．分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结；最后，对其今后若干研究方向进行了展望．     

Identifying extract class refactoring opportunities for internetware

The quality of internetware software is significantly associated with class structure.As software evolves,changes often introduce many unrelated responsibilities to the same classes or distribute tightly-related methods in different classes.These changes make the classes difficult to understand and maintain.Extract class refactoring is an effective technique to improve the quality of software structure by decomposing unrelated methods in one class to create new classes or extracting tightly-related methods from different classes.In this paper,we propose a novel approach for class extraction from internetware source codes.This approach leverages a community structure detection technique to partition software into clusters and extracts classes from the resulting clusters.Our experimental results,which investigate the public well-known internetware PKUAS,indicate that:(1)the proposed approach is much faster than existing search-based clustering approaches(Hillclimbing and Genetic algorithm)and is thus applicable for large-scale internetware;(2)the proposed approach can identify meaningful class extractions for internetware;and(3)Extract Class refactoring candidates identified by the proposed approach significantly improve class cohesion of internetware.