...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Software >A robust reconfiguration protocol for the dynamic update of component-based software systems
【24h】

A robust reconfiguration protocol for the dynamic update of component-based software systems

机译：用于动态更新基于组件的软件系统的强大的重新配置协议

获取原文
获取原文并翻译 | 示例
   

获取外文期刊封面封底 >>

       
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper focuses on the dynamic reconfiguration of component-based software systems. From a structural point of view, such systems are made of components linked together through their provided and required services, the code of components being defined by modules (e.g., jar files). Today, the ability to reconfigure component-based systems at runtime faces limitations. Some component frameworks allow to dynamically reconfigure components -starting or stopping them, or changing how they are wired together for instance but forbid any dynamic evolution of the modules defining their code. Other frameworks allow to dynamically update modules but at the cost of loosing control on component wires, preventing software architects or tools alike to decide how components are wired together. In this paper, we propose a component framework that addresses these limitations through a unified approach for the management of components and modules. Our approach uniquely enables to reconfigure both components and modules at runtime, without restrictions. We prototyped the proposed framework in Java and exercised various dynamic reconfigurations of componentbased systems. Furthermore, we formalized this framework and proved the correctness of its reconfiguration protocol with the Coq proof assistant. Copyright (C) 2017 John Wiley & Sons, Ltd.
机译：本文重点介绍基于组件的软件系统的动态重新配置。从结构的角度来看，这样的系统由通过其提供的和所需的服务链接在一起的组件组成，这些组件的代码由模块（例如jar文件）定义。如今，在运行时重新配置基于组件的系统的能力面临限制。一些组件框架允许动态重新配置组件-例如，启动或停止它们，或更改它们的连接方式，但禁止定义其代码的模块的任何动态演变。其他框架允许动态更新模块，但以失去对组件导线的控制为代价，从而阻止了软件架构师或工具来决定如何将组件连接在一起。在本文中，我们提出了一个组件框架，该组件框架通过统一的组件和模块管理方法来解决这些限制。我们的方法独特地使您能够在运行时不受限制地重新配置组件和模块。我们使用Java对提出的框架进行了原型设计，并对基于组件的系统进行了各种动态重新配置。此外，我们对该框架进行了形式化验证，并使用Coq证明助手证明了其重新配置协议的正确性。版权所有（C）2017 John Wiley＆Sons，Ltd.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号