Specifying Distributed Adaptation through Software Component Relocation - Extended Abstract

被引：0
|
作者：
Sun, Jingtao [1 ]
Satoh, Ichiro [1 ,2 ]
机构：
[1] SOKENDAI, Chiyoda Ku, 2-1-2 Hitotsubashi, Tokyo 1018430, Japan
[2] Natl Inst Informat, Chiyoda Ku, 2-1-2 Hitotsubashi, Tokyo 1018430, Japan
来源：
2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING | 2015年
关键词：
D O I：
10.1109/ICAC.2015.65
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper proposes a theoretical foundation for specifying and reasoning about adaptations based on our middleware system that introduces the relocation of software components to define functions between computers as a basic mechanism for adaptation on distributed systems. It provides a language for specifying adaptations policies. The language is useful to reason about adaptations and can be executed in the middleware system.
引用
收藏
页码：337 / 342
页数：6
相关论文
共 50 条
  • [41] Telecommunication software validation using a synchronous approach - Extended abstract
    du Bousquet, L
    Ouabdesselam, F
    Richier, JL
    1998 IEEE WORKSHOP ON APPLICATION-SPECIFIC SOFTWARE ENGINEERING AND TECHNOLOGY (ASSET 98) - PROCEEDINGS, 1998, : 98 - 101
  • [42] Software Safety and Security for Programmable Logic Controllers Extended Abstract
    Farkas, Csilla
    Valentine, Sidney
    PROCEEDINGS OF THE 2013 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2013, : 639 - 639
  • [43] Distributed component technologies and their software engineering implications
    Emmerich, W
    ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2002, : 537 - 546
  • [44] Distributed component software for EMC test and measurement
    Atkinson, K
    IEEE 1997 INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY - SYMPOSIUM RECORD, 1997, : 101 - 105
  • [45] Performance technology for parallel and distributed component software
    Malony, A
    Shende, S
    Trebon, N
    Ray, J
    Armstrong, R
    Rasmussen, C
    Sottile, M
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2005, 17 (2-4): : 117 - 141
  • [46] Behavioral specification of distributed software component interfaces
    Della Torre, C
    Rotenstreich, S
    COMPUTER, 1999, 32 (07) : 46 - +
  • [47] Distributed Collaborative Reasoning for HAR in Smart Homes Extended Abstract
    Jarraya, Amina
    Bouzeghoub, Amel
    Borgi, Amel
    Arour, Khedija
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS (AAMAS' 18), 2018, : 1971 - 1973
  • [48] Run statistics for geometrically distributed random variables - (Extended abstract)
    Grabner, PJ
    Knopfmacher, A
    Prodinger, H
    LATIN 2000: THEORETICAL INFORMATICS, 2000, 1776 : 457 - 462
  • [49] Subtyping and locality in distributed higher order processes - Extended abstract
    Yoshida, N
    Hennessy, M
    CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 557 - 572
  • [50] An Approximation Algorithm for Distributed Resilient Submodular Maximization EXTENDED ABSTRACT
    Zhou, Lifeng
    Tokekar, Pratap
    2019 INTERNATIONAL SYMPOSIUM ON MULTI-ROBOT AND MULTI-AGENT SYSTEMS (MRS 2019), 2019, : 216 - 218
12345