Self-adaptive systems gain growing attention to raise service quality and reduce development costs. But on the other hand, self-adaptation is a source of complexity which needs suitable methodologies/models/tools supporting the whole life cycle. A particularly challenging point is the dynamic reconfiguration of a system. This feature, typical of modern distributed systems, has led to the definition of ad-hoc formalisms, e.g. the pi-calculus or nets-within-nets, which essentially build on top of the concept of a changing system structure. But even with syntactic sugar, these formalisms differ enough from the “daily” programming languages. This work aims to bridge the gap between the theory and the practice of dynamically-reconfigurable systems. Here, we introduce an abstract machine for the nets-within-nets approach. Our encoding is in the well-known Maude language, whose rewriting logic semantics ensures the mathematical soundness needed for analysis and an intuitive operational perspective

Encoding Nets-Within-Nets in Maude / L. Capra, M. Köhler-Bußmeier (LECTURE NOTES IN NETWORKS AND SYSTEMS). - In: Intelligent Computing. 2 / [a cura di] K. Arai. - [s.l] : Springer, 2023. - ISBN 9783031379628. - pp. 355-372 (( Intervento presentato al 11. convegno Computing Conference tenutosi a London nel 2023 [10.1007/978-3-031-37963-5_25].

Encoding Nets-Within-Nets in Maude

L. Capra
Primo
Membro del Collaboration Group
;
2023

Abstract

Self-adaptive systems gain growing attention to raise service quality and reduce development costs. But on the other hand, self-adaptation is a source of complexity which needs suitable methodologies/models/tools supporting the whole life cycle. A particularly challenging point is the dynamic reconfiguration of a system. This feature, typical of modern distributed systems, has led to the definition of ad-hoc formalisms, e.g. the pi-calculus or nets-within-nets, which essentially build on top of the concept of a changing system structure. But even with syntactic sugar, these formalisms differ enough from the “daily” programming languages. This work aims to bridge the gap between the theory and the practice of dynamically-reconfigurable systems. Here, we introduce an abstract machine for the nets-within-nets approach. Our encoding is in the well-known Maude language, whose rewriting logic semantics ensures the mathematical soundness needed for analysis and an intuitive operational perspective
Dynamically-Reconfigurable Systems; Maude; Nets-within-Nets
Settore INF/01 - Informatica
2023
SAI
Book Part (author)
File in questo prodotto:
File Dimensione Formato  
978-3-031-37963-5_25 (1).pdf

accesso riservato

Tipologia: Publisher's version/PDF
Dimensione 366.86 kB
Formato Adobe PDF
366.86 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/1035588
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact