2026-06-28T09:58:42Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/1050132025-03-18T15:30:21Zcom_20.500.14352_14col_20.500.14352_15

An overview of the Maude strategy language and its applications Rubio Cuéllar, Rubén Rafael Bae, Kyungmin In the Maude specification language, the behavior of systems is modeled by nondeterministic rewrite rules, whose free application may not always be desirable. Hence, a strategy language has been introduced to control the application of rules at a high level, without the intricacies of metaprogramming. In this paper, we give an overview of the Maude strategy language, its applications, related verification tools, and extensions, illustrated with examples. 2024-06-17T15:34:57Z 2024-06-17T15:34:57Z 2022-07-29 conference paper 10.1007/978-3-031-12441-9_4 https://hdl.handle.net/20.500.14352/105013 eng info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-108528RB-C22/ES/METODOS RIGUROSOS PARA EL DESARROLLO DE SISTEMAS SOFTWARE DE CALIDAD Y FIABILIDAD CERTIFICADAS/ TIN2015-67522-C3-3-R info:eu-repo/grantAgreement/MECD/Plan Estatal de Investigación Científica y Técnica y de Innovación 2013-2016/FPU%2F02319 http://creativecommons.org/licenses/by-nc-nd/4.0/ open access Attribution-NonCommercial-NoDerivatives 4.0 International