【24h】

Building component families to support adaptation

机译:建立组件族以支持适应

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

摘要

Autonomic systems undergo dynamic compositional adaptation that often require state transfer and synchronization to correctly initialize the state of the new component, while ensuring that multiple fractions of the component are added and removed consistently. In general, if there are n different components for a given functionality, then there exist n(n - 1) possible adaptations for selecting an appropriate component. Identifying all these adaptations is not an easy task. Moreover, as verification of such adaptations is also difflcult, it is desirable to reduce total number of these adaptations.We propose a component family design for systematically building a repository of components from the perspective of dynamic adaptation. For a family of n components, we show that it suffices to identify n different adaptations. Moreover, to add a new component to this family, it suffices to consider only two adaptations. We also propose a design to separatethe adaptation concern from component functionality for simplifying the specification and verification of adaptation. We introduce the enhanced-primitive relation between two components; when such a relation is known to exist, we show that it is possible to simplify the adaptation and its verification.
机译:自治系统会经历动态组成调整,这通常需要状态转移和同步以正确初始化新组件的状态,同时确保不断添加和删除组件的多个部分。通常,如果给定功能有 n 个不同的组件,则存在 n n -1)个可能的适应选择合适的组件零件。识别所有这些适应并非易事。此外,由于对这种适应性的验证也很困难,因此希望减少这些适应性的总数。我们提出了组件族设计,用于从动态适应性角度系统地构建组件存储库。对于一个 n 个组件家族,我们证明足以识别 n 个不同的匹配项。此外,要向该系列添加新的组件,仅考虑两个改编就足够了。我们还提出了一种设计方案,将适应问题与组件功能分开,以简化规范和适应性验证。我们介绍两个组件之间的增强型原语关系;当已知存在这样的关系时,我们表明可以简化适应及其验证。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号