软件动态配置模型中的构件依赖描述

构件间的依赖关系是当前基于构件的分布式软件的研究热点之一.提出一种基于XML的描述构件间依赖的方法,并将该方法应用于一个动态配置分布式软件的模型中,成功地实现了构件的动态配置和部署,证明了该方法的可行性.     

可配置信息化构件模型与装配

为适应行业日益复杂多变的信息环境,实现快速、高效地构建信息系统,从构件模型与构件装配两个方面探讨基于构件技术的信息系统开发。对传统的构件模型进行改进,提出了一种新的构件——动态可配置构件,该类构件可显示化描述所处环境,并通过内置动态配置逻辑,实现自身结构和功能的动态配置;给出一种新的构件装配模型,并详细描述了构件的装配流程。     

通用鱼雷模拟器适应性软件开发

提出一种具有动态重配置功能的分布式仿真系统成员适应性软件构架,开发通用鱼雷模拟器的适应性软件,它由接口通信层、需求管理层、适应性重配层以及功能实现层构成,给出软件开发所需的关键技术,包括动态重配引擎、可配置化构件模型与功能构件库。利用该通用鱼雷模拟器适应性软件进行实例测试,结果验证了其可行性与有效性。     

基于事务的SMC动态演化容错机制

为提高“软件人”构件动态演化失败时的容错能力,提出一种基于事务的“软件人”构件动态演化容错机制。通过在“软件人”构件的管理外壳中扩展事务元接口,使“软件人”构件具备事务操作能力,定义演化失败时的事务处理流程;为支持“软件人”构件的分布式事务处理,提出一个轻量级的、支持“软件人”构件分布式动态配置的事务处理实现框架,为“软件人”构件动态演化失败时容错恢复的实施提供有效保障。     

动态配置机制及其在水利信息系统中的应用

动态配置是指在软件系统运行时动态地改变系统的配置项。基于构件的软件系统配置项涉及系统的构件组成、构件间的连接关系和构件的物理分布。根据支持软件系统动态配置的反射体系结构,建立了动态配置模型,分析了动态配置模型的构成要素,定义了动态配置模型的元数据,以保障运行时系统一致性为基础,构造了动态配置模型的元协议。最后,通过实例,分析了所提出的动态配置机制在水利信息系统软件功能动态配置中的应用。实践表明,基于反射的系统动态配置模型及其实现机制,能在水利信息系统中有效应用,为解决水利信息系统的资源动态配置、支持动态需求等问题,提供了可行的技术方案。     

应用预测链接的分布式社会网络隐私保护方法

针对单机工作站环境下处理大规模动态社会网络图时执行效率低,以及动态社会网络发布中数据可用性较差的问题,提出基于预测链接的分布式动态社会网络隐私保护方法D-DSNBLP。该方法通过Pregel-like消息迭代更新模型,实现匿名大规模图数据的并行处理。首先通过快速迭代完成结点分组;其次根据各个组内的结点属性值并行构建候选结点集合;最后通过构建互斥边集合添加边,实现结点的隐私保护。实验表明,D-DSNBLP方法提高了大规模动态社会网络发布的效率,保证了匿名图的数据可用性。     

基于主动服务结点的分布式主动服务框架

主动服务结点既是服务的提供者,又是服务的使用者,具有自主移动计算和提供服务能力。主动服务结点采用私有UDDI和构件资源库,通过私有UDDI及WEB服务描述语言与UCDL之间的转换提供主动服务。文中结合基于私有UDDI的WEB服务模型和本地构件资源库方式,提出主动服务结点模型和基于主动服务结点的分布式主动服务框架,克服了基于UDDI框架的服务集中管理的问题。     

基于组件的分布式软件的动态配置和容错

论文提出一种结构化新方法,它能通过动态配置支持基于组件的分布式软件的容错。采用面向图形的编程模型,基于组件的分布式软件的软件体系结构可用一个逻辑图来表示,该逻辑图可以精化为一个明确的对象并分布到网络中,软件的动态配置通过执行定义在图上的一系列操作来实现,发生错误时通过动态重配置软件来支持容错。论文描述了该方法的基本模型、系统结构及其在CORBA上的实现原型。     

一种面向图的分布式软件动态配置和容错方法

提出一种新的方法，通过动态配置对基于组件的分布式软件的容错提供支持。此方法采用面向图的GOP编程模型，将整个分布式软件的体系结构用一张逻辑图来描述，系统的动态配置可以通过执行图上预定义的一组操作来完成。检测到故障或异常的时候实施这种动态配置能够支持系统的容错。文中描述了此方法的基本模型、系统结构和基于CORBA的原型实现。     

UECNET分布式实时操作系统核心的实现

UECNET 是一个分市式实时操作系统原型,已在三台 PC/AT 连成的分布式系统上实现。本文主要叙述 UECNET 分布式实时核心的实现技术,UECNET 分布式实时核心建立在 PC—DOS 之上、实时核心包括多任务环境的建立,同步机制,实时调度,时钟管理等模块。通信核心提供了带时间信息的消息传递机制以及物理层通信的实现。核心支持动态重配置,提供了结点失效后的系统同步、动态重配置分析,动态系统恢复等功能。     

Knowledge Representation of Software Component Interconnection Information for Large-Scale Software Modifications

Logic can be used to precisely express human thoughts and inferences. In this paper, an approach using first-order logic for knowledge representation of software component interconnection information to facilitate the validity and integrity checking of the interconnection among software components during software development or modification is presented. Directed graphs are first used to model the structure and behavior of a large-scale software system, and a first-order theory of directed graphs (the DG theory) is established. The interconnection behavior among software components in a large-scale software system is a directed graph which is called software component interconnection graph (CIG). The behavior of the CIG is interpreted using the DG theory and translated into logic representation. The translated logic representation is a set of logic clauses and can be considered as a set of axioms. Automated reasoning techniques based on these axioms can be used to perform the validity and integrity checking of software properties in the software development or maintenance phase.     

基于时间约束的软件工程资源配置petri网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境。而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果。本文提出了一种基于petri网模型的基于时间约束的软件工程资源动态配置检测模型,依据petri网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突。从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础。实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失。     

动态分布式系统中多层次配置文件的形式描述及管理

介绍了分布式程序设计模型ＥｘＧＯＭ（ＥｘｔｅｎｄｅｄＧｒａｐｈ－ＯｒｉｅｎｔｅｄＭｏｄｅｌ）中一种新型多层次配置文件的结构及相关的配置描述。基于树型结构的多层次的配置文件为分布式系统的动态重配置提供了灵活,清晰的结构和丰富的基于图结构的配置操作,一个树型结构的分布式应用的配置文件包含若干人处于不同层次的深度不大于２的子树,这些子树通过装配对规则可装配成一棵大树,它就是分布式应用程序的逻辑图结构,通     

软件构架动态行为建模与检测

针对软件构架描述语言在分析、验证软件构架动态行为中的不足,用抽象代数对构件、连接器和体系结构配置进行抽象,提出了软件构架层次模型,并采用Pr／T网对软件构架动态行为建模．提出基于线性时序逻辑的软件构架动态行为模型检测方法,给出了该方法的算法描述．最后,详细描述了电子商务系统中并发控制机制的建模过程和检测结果．提出的软件构架动态行为建模与检测方法结合了Pr／T网和线性时序逻辑的优点,为开展软件构架动态行为的分析、验证提供了理论基础．     

基于时间约束的软件工程资源配置Petri网检测模型

随着物联网、云计算等大规模分布式系统在国内的日益流行,软件工程的应用环境已经不可避免的转向适用于分布式环境。而已有的基于时间约束的软件工程资源动态配置模型大都有所局限,无法评价其在大规模分布式环境中的效果。文中提出了一种基于Petri网模型的基于时间约束的软件工程资源动态配置检测模型,依据petri网理论,模拟大规模分布式环境下,检测异构软件工程资源动态配置模型间的协作与冲突。从而为软件工程资源动态配置模型更好的应用于实践,提供坚实的理论基础。实验证明,该方法可以及时的发现大规模分布式环境中,软件工程资源动态配置模型的冲突,为设计者及时反馈信息,避免损失。     

Assembling a resolution multiprocessor from interface,programming and distributed processing components

An effective resolution multiprocessor can be built from distributed processing, logic programming, and interface elements. Widely used, portable, components can be modularly composed into a portable parallel system that displays good resistance to premature obsolescence by software evolution. A virtual multiprocessor offering common message passing and configuration services integrates a distributed mesh of sequential resolution engines. Users configure and control the resolution engines and virtual multiprocessor through a GUI using an embedded command language to drive its facilities. Prolog programs either explicitly control parallel execution through message passing or would have to rely on program transformation techniques to extract parallelism implicitly.     

Reusing software components in telecommunications network engineering

This paper proposes a methodology for reusing the graph theory algorithms in telecommunications network design. After having briefly defined the main aspects of network planning such as routing, reliability, network configuration, and so on, it characterizes the different situations where basic algorithms of graph theory could be reused. The statement of the principles for adapting software components has allowed us to specify the main steps of the proposed methodology: selection, modification and integration. The implementation and test of this methodology show that reusing software components can significantly improve the developers' productivity, as well as the quality of network design software, as the reused components are already intensively tested in a wide variety of situations.     

Configuration and dynamic reconfiguration of components using the coordination paradigm

One of the most promising approaches in developing component-based (possibly distributed) systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such as the ability to express different software architectures and abstract interaction protocols, support for multi-linguality, reusability and programming-in-the-large, etc. Configuration programming is another promising approach in developing large scale, component-based systems, with the increasing need for supporting the dynamic evolution of components. In this paper we explore and exploit the relationship between the notions of coordination and (dynamic) configuration and we illustrate the potential of control- or event-driven coordination languages to be used as languages for expressing dynamically reconfigurable software architectures. We argue that control-driven coordination has similar goals and aims with the notion of dynamic configuration and we illustrate how the former can achieve the functionality required by the latter.