Maude action tool: Using reflection to map action semantics to rewriting logic

Christiano de O. Braga, E. Hermann Haeusler, José Meseguer, Peter D. Mosses

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Action semantics (AS) is a framework for specifying the semantics of programming languages, in a very modular and readable way. Recently, the operational semantics of action notation (action semantics’s specification language) has been rewritten using Modular SOS (MSOS), a new modular approach for specifying operational semantics. The new modular specification of action notation facilitates the creation of extensions to action semantics, to deal with new concepts, such as components. The Maude Action Tool uses the reflective capabilities of rewriting logic, implemented on the Maude system, to create an executable environment for action semantics and its potential extensions. This is achieved by a mapping between the MSOS and rewriting logic formalisms which, when applied to the MSOS semantics of each facet of action notation, yields a corresponding rewrite theory. Such rewrite theories are executed on action programs, that is, on the action notation translation of a given program P in a language L, according to L’s action semantics.

Original languageEnglish (US)
Title of host publicationAlgebraic Methodology and Software Technology - 8th International Conference, AMAST 2000, Proceedings
EditorsTeodor Rus
PublisherSpringer-Verlag Berlin Heidelberg
Pages407-421
Number of pages15
ISBN (Print)9783540454991
DOIs
StatePublished - Jan 1 2000
Externally publishedYes
Event8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000 - Iowa City, United States
Duration: May 20 2000May 27 2000

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1816
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000
CountryUnited States
CityIowa City
Period5/20/005/27/00

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Maude action tool: Using reflection to map action semantics to rewriting logic'. Together they form a unique fingerprint.

Cite this