Home > Research > Publications & Outputs > Composition Machines

Research

Associated organisational unit

Electronic data

  • Composition_Machines

    Rights statement: This version of the contribution has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections. The Version of Record is available online at the publisher's website. Use of this Accepted Version is subject to the publisher’s Accepted Manuscript terms of use https://www.springernature.com/gp/open-research/policies/accepted-manuscript-terms

    Accepted author manuscript, 518 KB, PDF document

    Embargo ends: 2/08/25

View graph of relations

Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces

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

Forthcoming

Standard

Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces. / Arellanes, Damian.
Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering: TASE 2024. Springer, 2024. (Lecture Notes in Computer Science).

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

Harvard

Arellanes, D 2024, Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces. in Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering: TASE 2024. Lecture Notes in Computer Science, Springer, The 18th International Symposium on Theoretical Aspects of Software Engineering, Guiyang, China, 29/07/24.

APA

Arellanes, D. (in press). Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces. In Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering: TASE 2024 (Lecture Notes in Computer Science). Springer.

Vancouver

Arellanes D. Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces. In Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering: TASE 2024. Springer. 2024. (Lecture Notes in Computer Science).

Author

Arellanes, Damian. / Composition Machines : Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces. Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering: TASE 2024. Springer, 2024. (Lecture Notes in Computer Science).

Bibtex

@inproceedings{c49af2524ca94c18a5b89f3367186e08,
title = "Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces",
abstract = "We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models represent a promising direction since they allow the (bottom-up) emergence of complex computational structures from simple rules. In this paper, we propose an abstract machine, called the composition machine, which allows the definition and the execution of such models. Unlike typical abstract machines, our proposal does not compute individual programs but enables the emergence of multiple programs at once. We particularly present the machine's semantics and demonstrate its operation with well-known rules from the realm of Boolean logic and elementary cellular automata. ",
author = "Damian Arellanes",
year = "2024",
month = apr,
day = "10",
language = "English",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
booktitle = "Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering",
note = "The 18th International Symposium on Theoretical Aspects of Software Engineering : TASE 24 ; Conference date: 29-07-2024 Through 01-08-2024",
url = "https://tase2024.github.io/",

}

RIS

TY - GEN

T1 - Composition Machines

T2 - The 18th International Symposium on Theoretical Aspects of Software Engineering

AU - Arellanes, Damian

N1 - Conference code: 18th

PY - 2024/4/10

Y1 - 2024/4/10

N2 - We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models represent a promising direction since they allow the (bottom-up) emergence of complex computational structures from simple rules. In this paper, we propose an abstract machine, called the composition machine, which allows the definition and the execution of such models. Unlike typical abstract machines, our proposal does not compute individual programs but enables the emergence of multiple programs at once. We particularly present the machine's semantics and demonstrate its operation with well-known rules from the realm of Boolean logic and elementary cellular automata.

AB - We are entering a new era in which software systems are becoming more and more complex and larger. So, the composition of such systems is becoming infeasible by manual means. To address this challenge, self-organising software models represent a promising direction since they allow the (bottom-up) emergence of complex computational structures from simple rules. In this paper, we propose an abstract machine, called the composition machine, which allows the definition and the execution of such models. Unlike typical abstract machines, our proposal does not compute individual programs but enables the emergence of multiple programs at once. We particularly present the machine's semantics and demonstrate its operation with well-known rules from the realm of Boolean logic and elementary cellular automata.

M3 - Conference contribution/Paper

T3 - Lecture Notes in Computer Science

BT - Proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering

PB - Springer

Y2 - 29 July 2024 through 1 August 2024

ER -