A Guide to Extending Full Maude Illustrated with the Implementation of Real-Time Maude

Authors:
Francisco Durán;Peter Csaba Ölveczky
Affiliations:
Dpto. de Lenguajes y Ciencias de la Computación, Universidad de Málaga;Department of Informatics, University of Oslo
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 13
Cited 3

Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Formal Methods in System Design
A rewriting logic framework for operational semantics of membrane systems

Theoretical Computer Science
Semantics and pragmatics of Real-Time Maude

Higher-Order and Symbolic Computation
Maude's module algebra

Science of Computer Programming
Maude MSOS Tool

Electronic Notes in Theoretical Computer Science (ENTCS)
New Evaluation Commands for Maude Within Full Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Strategy Language for Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
The maude formal tool environment

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
CIRC: a circular coinductive prover

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Formal modeling and analysis of the OGDC wireless sensor network algorithm in real-time maude

FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
A sufficient completeness reasoning tool for partial specifications

RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
Formal simulation and analysis of the CASH scheduling algorithm in real-time maude

FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering

A Church-Rosser checker tool for conditional order-sorted equational Maude specifications

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
A Maude coherence checker tool for conditional order-sorted rewrite theories

WRLA'10 Proceedings of the 8th international conference on Rewriting logic and its applications
Towards a Maude formal environment

Formal modeling

Quantified Score

Hi-index	0.00

Visualization

Abstract

The goal of this paper is to serve as a practical guide for implementing extensions of Maude by giving an overview of how the Real-Time Maude tool has been developed by extending the implementation of Full Maude. After giving a high-level summary of the key functionality and structure of the implementation of Full Maude, we describe the implementation of the Real-Time Maude language and tool. This extension includes key issues such as adding new kinds of modules, rules, and commands; as well as the need to store additional information in the persistent state of the execution environment.