RailCabs and Birds in Julia: Context-Role Ensemble Engineering in Practice
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
Because ensembles and swarms occur everywhere in nature, in social and in technical contexts, their modeling and programming is one of the challenges of modern software systems engineering. While it is well-known how self-adaptive or autonomic systems can be designed advantageously (Kounev et al., 2017), this often requires the engineering of new software languages with a tremendous development effort. This paper presents a novel context-role-adaptive approach for modeling and programming of ensembles and swarms that relies on a small library in Julia (1300 SLOC), exploiting its facilities for metaprogramming, multiple dispatch, and equational modeling. We demonstrate the validity of the approach with a tutorial on two scenarios from the technical and natural domain in which ensembles are represented by (dynamic) contexts. RailCabs are shuttle-based autonomous trains, self-forming ensembles, represented as contexts that re-group during their travels. Bird swarms show specific formations, represented as contexts to save energy and to prevent attackers. In the latter case study, we show how to model the dynamic behavior of the birds with an equational modeling library in Julia. Therefore, the paper contributes a new library-based approach to Context-Role-oriented Equational Modeling of Ensembles (CREME).
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems - 12th International Symposium, ISoLA 2024, Proceedings |
| Redakteure/-innen | Tiziana Margaria, Bernhard Steffen |
| Herausgeber (Verlag) | Springer Nature |
| Seiten | 191–207 |
| Seitenumfang | 17 |
| ISBN (elektronisch) | 978-3-031-75107-3 |
| ISBN (Print) | 978-3-031-75106-6 |
| Publikationsstatus | Veröffentlicht - 27 Okt. 2024 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | Lecture Notes in Computer Science |
|---|---|
| Band | 15220 |
| ISSN | 0302-9743 |
Externe IDs
| ORCID | /0000-0002-3513-6448/work/171065335 |
|---|---|
| ORCID | /0009-0008-3887-3217/work/171066102 |
| Scopus | 85209537055 |
Schlagworte
Forschungsprofillinien der TU Dresden
- Informationstechnologien und Mikroelektronik - Ensemble engineering, ensemble simulation, roles, ensemble protocols, contexts
DFG-Fachsystematik nach Fachkollegium
- Softwaretechnik und Programmiersprachen - Ensemble engineering, ensemble simulation, roles, ensemble protocols, contexts
ASJC Scopus Sachgebiete
- Theoretische Informatik - Ensemble engineering, ensemble simulation, roles, ensemble protocols, contexts
- Allgemeine Computerwissenschaft - Ensemble engineering, ensemble simulation, roles, ensemble protocols, contexts
Schlagwörter
- Ensemble engineering, ensemble simulation, roles, ensemble protocols, contexts