Home > Research > Publications & Outputs > A Programming Language for Sound Self-Adaptive ...

Research

Electronic data

  • main

    Accepted author manuscript, 224 KB, PDF document

    Available under license: CC BY-NC: Creative Commons Attribution-NonCommercial 4.0 International License

Links

Text available via DOI:

View graph of relations

A Programming Language for Sound Self-Adaptive Systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

A Programming Language for Sound Self-Adaptive Systems. / Porter, Barry; Rodrigues Filho, Roberto.
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). IEEE, 2021. p. 145-150.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Porter, B & Rodrigues Filho, R 2021, A Programming Language for Sound Self-Adaptive Systems. in 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). IEEE, pp. 145-150, 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS), Washington, District of Columbia, United States, 27/09/21. https://doi.org/10.1109/ACSOS52086.2021.00036

APA

Porter, B., & Rodrigues Filho, R. (2021). A Programming Language for Sound Self-Adaptive Systems. In 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) (pp. 145-150). IEEE. https://doi.org/10.1109/ACSOS52086.2021.00036

Vancouver

Porter B, Rodrigues Filho R. A Programming Language for Sound Self-Adaptive Systems. In 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). IEEE. 2021. p. 145-150 doi: 10.1109/ACSOS52086.2021.00036

Author

Porter, Barry ; Rodrigues Filho, Roberto. / A Programming Language for Sound Self-Adaptive Systems. 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS). IEEE, 2021. pp. 145-150

Bibtex

@inproceedings{aa62b0f603b443d38c46f83c0cf9af66,
title = "A Programming Language for Sound Self-Adaptive Systems",
abstract = "The ability for systems to adapt at runtime by hot-swapping their logic, seamlessly and without any apparent interruption, allows a program to adjust its behavior to its context. Research in adaptive systems support has to date focused on the basic mechanics of hot-swapping code at runtime, with the soundness of a system after each hot-swap left to the developer to assure on a case-by-case basis. Providing this assurance in existing programming languages is sufficiently difficult that self-adaptive systems using hot-swapping remain largely untrusted for production use. In this context we study two research questions: (i) what is the general soundness principle for self-adaptive systems; and (ii) how can we embed this soundness principle in a general-purpose programming language? We answer these questions partly by theoretical analysis, and partly through developing a novel general-purpose programming language which embeds our soundness principle -- allowing any module to be hot-swapped with the soundness of the wider system guaranteed.",
author = "Barry Porter and {Rodrigues Filho}, Roberto",
year = "2021",
month = oct,
day = "1",
doi = "10.1109/ACSOS52086.2021.00036",
language = "English",
pages = "145--150",
booktitle = "2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)",
publisher = "IEEE",
note = "2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS) ; Conference date: 27-09-2021 Through 01-10-2021",
url = "https://www.computer.org/csdl/proceedings/acsos/2021/1zUZaFf4jkI",

}

RIS

TY - GEN

T1 - A Programming Language for Sound Self-Adaptive Systems

AU - Porter, Barry

AU - Rodrigues Filho, Roberto

PY - 2021/10/1

Y1 - 2021/10/1

N2 - The ability for systems to adapt at runtime by hot-swapping their logic, seamlessly and without any apparent interruption, allows a program to adjust its behavior to its context. Research in adaptive systems support has to date focused on the basic mechanics of hot-swapping code at runtime, with the soundness of a system after each hot-swap left to the developer to assure on a case-by-case basis. Providing this assurance in existing programming languages is sufficiently difficult that self-adaptive systems using hot-swapping remain largely untrusted for production use. In this context we study two research questions: (i) what is the general soundness principle for self-adaptive systems; and (ii) how can we embed this soundness principle in a general-purpose programming language? We answer these questions partly by theoretical analysis, and partly through developing a novel general-purpose programming language which embeds our soundness principle -- allowing any module to be hot-swapped with the soundness of the wider system guaranteed.

AB - The ability for systems to adapt at runtime by hot-swapping their logic, seamlessly and without any apparent interruption, allows a program to adjust its behavior to its context. Research in adaptive systems support has to date focused on the basic mechanics of hot-swapping code at runtime, with the soundness of a system after each hot-swap left to the developer to assure on a case-by-case basis. Providing this assurance in existing programming languages is sufficiently difficult that self-adaptive systems using hot-swapping remain largely untrusted for production use. In this context we study two research questions: (i) what is the general soundness principle for self-adaptive systems; and (ii) how can we embed this soundness principle in a general-purpose programming language? We answer these questions partly by theoretical analysis, and partly through developing a novel general-purpose programming language which embeds our soundness principle -- allowing any module to be hot-swapped with the soundness of the wider system guaranteed.

U2 - 10.1109/ACSOS52086.2021.00036

DO - 10.1109/ACSOS52086.2021.00036

M3 - Conference contribution/Paper

SP - 145

EP - 150

BT - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)

PB - IEEE

T2 - 2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS)

Y2 - 27 September 2021 through 1 October 2021

ER -