Using Rewriting Systems for Performance Analysis

The modeling and analysis of adaptive distributed systems, specifically those that possess (self-)reconfiguration
or modification capabilities, present a considerable challenge, necessitating the use of appropriate formalisms and
techniques. Traditional quantitative analysis frameworks demonstrate constrained expressiveness and should be
amalgamated with innovative methodologies. Rewriting-based frameworks appear to be more suitable, despite
their predominant application in formal verification. This paper examines the use of Maude as a framework for
performance or probabilistic analysis in adaptive distributed systems, highlighting recent advances.