Associating a Markov Process with Maude Executable Modules

Lorenzo Capra

2025

Abstract

In this paper, we explore a methodology for generating a Markov chain directly from executable modules in Maude. Initially, we incorporate stochastic parameters in Maude specifications in a straightforward and flexible way. Then, we focus on accurately computing state transition rates, a challenging task due to the complexities introduced by rewriting logic semantics. Our methodology is general and relies on a structured description of states that includes the exact state transition rates. This capability allows for the complete automation of the process, a crucial aspect of our ongoing research. We illustrate this methodology using stochastic rewritable Petri nets, a powerful model for adaptive distributed systems. Finally, we present some preliminary findings based on application examples.

Paper Citation

in Harvard Style

Capra L. (2025). Associating a Markov Process with Maude Executable Modules. In Proceedings of the 15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH; ISBN 978-989-758-759-7, SciTePress, pages 106-116. DOI: 10.5220/0013567900003970

in Bibtex Style

@conference{simultech25,
author={Lorenzo Capra},
title={Associating a Markov Process with Maude Executable Modules},
booktitle={Proceedings of the 15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH},
year={2025},
pages={106-116},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0013567900003970},
isbn={978-989-758-759-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH
TI - Associating a Markov Process with Maude Executable Modules
SN - 978-989-758-759-7
AU - Capra L.
PY - 2025
SP - 106
EP - 116
DO - 10.5220/0013567900003970
PB - SciTePress