Skip to Main content Skip to Navigation
Conference papers

Parameterized Strategies Specification in Maude

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-02364577
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 9:03:24 AM
Last modification on : Friday, November 15, 2019 - 9:05:03 AM
Long-term archiving on: : Sunday, February 16, 2020 - 12:50:54 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

100