MMT

Maude MSOS tool Modular structural operational semantics (MSOS) is a new framework that allows structural operational semantics (SOS) specifications to be made modular in the sense of not imposing the redefinition of transition rules, which is the case in SOS specifications, when an extension is made. Maude MSOS tool (MMT) is an executable environment for MSOS implemented in Full Maude as a realization of a semantics-preserving mapping between MSOS and rewriting logic (RWL). The modular SOS definition formalism (MSDF) is the specification language supported by MMT. MSDF syntax is quite close to MSOS mathematical notation and user-friendly by allowing several syntactic components to be left implicit. MMT joins the support for modularity with a user-friendly syntax together with the efficient execution and analysis of the Maude engine. We have used MMT in several different examples from programming languages semantics and concurrent systems. This paper reports on the development of MMT and its application to these two classes of specifications.

This software is also peer reviewed by journal TOMS.


References in zbMATH (referenced in 14 articles )

Showing results 1 to 14 of 14.
Sorted by year (citations)

  1. Bach Poulsen, Casper; Mosses, Peter D.: Generating specialized interpreters for modular structural operational semantics (2014)
  2. Colvin, Robert J.: An operational semantics for object-oriented concepts based on the class hierarchy (2014)
  3. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2013)
  4. Meseguer, José: Twenty years of rewriting logic (2012)
  5. Hüttel, Hans: Transitions and trees. An introduction to structural operational semantics. (2010)
  6. Braga, Christiano; Chalub, Fabricio; Sztajnberg, Alexandre: A formal semantics for a quality of service contract language (2009)
  7. Durán, Francisco; Ölveczky, Peter Csaba: A guide to extending full maude illustrated with the implementation of real-time maude (2009)
  8. Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José: A rewriting logic approach to operational semantics (2009)
  9. Maidl, André Murbach; Carvilhe, Cláudio; Musicante, Martin A.: Maude object-oriented action tool. (2008)
  10. Braga, Christiano; Verdejo, Alberto: Modular structural operational semantics with strategies (2007)
  11. Braga, Christiano; Verdejo, Alberto: Modular structural operational semantics with strategies. (2007)
  12. Chalub, Fabricio; Braga, Christiano: Maude MSOS tool (2007)
  13. Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí-Oliet, Narciso; Meseguer, José; Talcott, Carolyn: All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (2007)
  14. Serbanuta, Traian-Florin; Rosu, Grigore; Meseguer, José: A rewriting logic approach to operational semantics (Extended abstract). (2007)