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 条
  • [31] A framework for component-based construction - Extended abstract
    Sifakis, J
    SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 293 - 299
  • [32] Architectures for interoperation between component frameworks (extended abstract)
    Graw, G
    Mester, A
    OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, 1998, 1543 : 155 - 156
  • [33] Specifying QoS Requirements and Capabilities for Component-Based Robot Software
    Parra, Samuel
    Schneider, Sven
    Hochgeschwender, Nico
    2021 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON ROBOTICS SOFTWARE ENGINEERING (ROSE 2021), 2021, : 29 - 36
  • [34] Distributed Density Peaks Clustering Revisited (Extended Abstract)
    Lu, Jing
    Zhao, Yuhai
    Tan, Kian-Lee
    Wang, Zhengkui
    2021 IEEE 37TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2021), 2021, : 2352 - 2353
  • [35] A distributed high assurance reference monitor - Extended abstract
    Chander, A
    Dean, D
    Mitchell, J
    INFORMATION SECURITY, PROCEEDINGS, 2004, 3225 : 231 - 244
  • [36] Localizability of fairness constraints and their distributed implementations - Extended abstract
    Joung, YJ
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 336 - 351
  • [37] A software component for simultaneous plan execution and adaptation
    Joyeux, Sylvain
    Alami, Rachid
    Lacroix, Simon
    2007 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, VOLS 1-9, 2007, : 3044 - 3049
  • [38] A review on specifying software Architectures using extended automata-based models
    Sharafi, Mehran
    Aliee, Fereidoon Shams
    Movaghar, Ali
    INTERNATIONAL SYMPOSIUM ON FUNDAMENTALS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4767 : 423 - +
  • [39] Predicting architectural styles from component specifications Extended abstract
    Bhattacharya, Sutirtha
    Perry, Dewayne E.
    5TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE, PROCEEDINGS, 2006, : 231 - +
  • [40] Benchmarking Numerical Libraries for Flight Software Prequalification EXTENDED ABSTRACT
    Selea, Teodora
    Vulpe, Anca
    Brandibur, Oana
    Erascu, Madalina
    Kaslik, Eva
    Zaharie, Daniela
    Frincu, Marc
    INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2017), 2018, 1978
12345