Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems
Lorenzo Capra, Michael Köhler-Bußmeier · 2023
Adaptable distributed systems gain growing attention to raising service quality at low costs. Managing adaptation calls for suitable models through the entire life cycle. A challenging point is system structural reconfiguration, which has led to specialized formal models. We aim to bridge the gap with daily programming languages by defining a Maude abstract machine for "Nets-within-Nets".