Parameterized Strategies Specification in Maude - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Parameterized Strategies Specification in Maude

Résumé

Strategies and parameterization are two convenient tools for building clear and easily configurable specifications of complex computational systems, compositionally. Parameterization is a widely used feature of the Maude rewriting framework, whose strategy language implementation we have recently completed with strategy modules.This paper describes the Maude strategy language and the associated parameterization techniques. Then, the specification and analysis of some examples of strategy parameterized systems are shown.
Fichier principal
Vignette du fichier
486157_1_En_2_Chapter.pdf (397.7 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02364577 , version 1 (15-11-2019)

Licence

Paternité

Identifiants

Citer

Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo. Parameterized Strategies Specification in Maude. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩. ⟨hal-02364577⟩
67 Consultations
81 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More