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

Arellanes, Damian (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, CHN. (In Press)

[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines) - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (0B)
[thumbnail of Composition_Machines]
Text (Composition_Machines)
Composition_Machines.pdf - Accepted Version
Restricted to Repository staff only until 2 August 2025.

Download (530kB)

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.

Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
Research Output Funding/no_not_funded
Subjects:
?? no - not funded ??
ID Code:
219398
Deposited By:
Deposited On:
05 Jun 2024 08:30
Refereed?:
Yes
Published?:
In Press
Last Modified:
05 Jun 2024 08:30