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 12 articles )

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

  1. Roşu, Grigore: From rewriting logic, to programming language semantics, to program verification (2015)
  2. Bach Poulsen, Casper; Mosses, Peter D.: Generating specialized interpreters for modular structural operational semantics (2014)
  3. Colvin, Robert J.: An operational semantics for object-oriented concepts based on the class hierarchy (2014)
  4. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2013)
  5. Meseguer, José: Twenty years of rewriting logic (2012)
  6. Meseguer, José; Roşu, Grigore: The rewriting logic semantics project: a progress report (2011)
  7. Hüttel, Hans: Transitions and trees. An introduction to structural operational semantics. (2010)
  8. Durán, Francisco; Ölveczky, Peter Csaba: A guide to extending Full Maude illustrated with the implementation of real-time Maude (2009) ioport
  9. Şerbănuţă, Traian Florin; Roşu, Grigore; Meseguer, José: A rewriting logic approach to operational semantics (2009)
  10. Braga, Christiano; Verdejo, Alberto: Modular structural operational semantics with strategies (2007)
  11. Chalub, Fabricio; Braga, Christiano: Maude MSOS tool (2007) ioport
  12. 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)