RT Journal Article
T1 The Maude strategy language
A1 Verdejo López, José Alberto
A1 Eker, Steven
A1 Martí Oliet, Narciso
A1 Meseguer, José
A1 Rubio Cuéllar, Rubén Rafael
AB Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represented systems. These specifications declare their objects by means of terms and equations, and provide rewriting rules to represent potentially non-deterministic local transformations on the state. Sometimes a controlled application of these rules is required to reduce non-determinism, to capture global, goal-oriented or efficiency concerns, or to select specific executions for their analysis. That is what we call a strategy. In order to express them, respecting the separation of concerns principle, a Maude strategy language was proposed and developed. The first implementation of the strategy language was done in Maude itself using its reflective features. After ample experimentation, some more features have been added and, for greater efficiency, the strategy language has been implemented in C++ as an integral part of the Maude system. This paper describes the Maude strategy language along with its semantics, its implementation decisions, and several application examples from various fields.
PB Elsevier
SN 2352-2208
YR 2023
FD 2023-06-06
LK https://hdl.handle.net/20.500.14352/87218
UL https://hdl.handle.net/20.500.14352/87218
LA eng
NO CRUE-CSIC (Acuerdos Transformativos 2023)
NO Agencia Estatal de Investigación
NO Ministerio de Universidades
DS Docta Complutense
RD 5 abr 2025