Modelling Adaptive Systems with Nets-Within-Nets in Maude

Lorenzo Capra, Michael Köhler-Bussmeier

2023

Abstract

Systems able to dynamically adapt their behaviour gain growing attention to raising service quality by reduc- ing development costs. On the other hand, adaptation is a major source of complexity and calls for suitable methodologies during the whole system life cycle. A challenging point is the system’s structural reconfigu- ration in front of particular events like component failure/congestion. This solution is so common in modern distributed systems that it has led to defining ad-hoc extensions of known formal models (e.g., the pi-calculus) But even with syntactic sugar, these formalisms differ enough from daily programming languages. This work aims to bridge the gap between theory and practice by introducing an abstract machine for the “nets-within- nets” paradigm. 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.

Paper Citation

in Harvard Style

Capra L. and Köhler-Bussmeier M. (2023). Modelling Adaptive Systems with Nets-Within-Nets in Maude. In Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-758-647-7, SciTePress, pages 487-496. DOI: 10.5220/0011860000003464

in Bibtex Style

@conference{enase23,
author={Lorenzo Capra and Michael Köhler-Bussmeier},
title={Modelling Adaptive Systems with Nets-Within-Nets in Maude},
booktitle={Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2023},
pages={487-496},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011860000003464},
isbn={978-989-758-647-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - Modelling Adaptive Systems with Nets-Within-Nets in Maude
SN - 978-989-758-647-7
AU - Capra L.
AU - Köhler-Bussmeier M.
PY - 2023
SP - 487
EP - 496
DO - 10.5220/0011860000003464
PB - SciTePress