Advertisement

System Modules

  • Manuel Clavel
  • Francisco Durán
  • Steven Eker
  • Patrick Lincoln
  • Narciso Martí-Oliet
  • José Meseguer
  • Carolyn Talcott
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4350)

Abstract

A Maude system module specifies a rewrite theory. A rewrite theory has sorts, kinds, and operators (perhaps with frozen arguments), and can have three types of statements: equations, memberships, and rules, all of which can be conditional. Therefore, any rewrite theory has an underlying equational theory, containing the equations and memberships, plus the rules. What is the intuitive meaning of such rules? Computationally, they specify local concurrent transitions that can take place in a system if the pattern in the rule’s lefthand side matches a fragment of the system state and the rule’s condition is satisfied. In that case, the transition specified by the rule can take place, and the matched fragment of the state is transformed into the corresponding instance of the righthand side. Logically, that is, when we use rewriting logic as a logical framework to represent other logics as explained in Section 1.4, a rule specifies a logical inference rule, and rewriting steps therefore represent inference steps.

Keywords

System Module Functional Module Critical Pair Result Marking Conditional Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Manuel Clavel
    • 1
  • Francisco Durán
    • 2
  • Steven Eker
    • 3
  • Patrick Lincoln
    • 3
  • Narciso Martí-Oliet
    • 1
  • José Meseguer
    • 4
  • Carolyn Talcott
    • 5
  1. 1.Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, s/n 28040 MadridSpain
  2. 2.Universidad de Málaga, Departamento de Lenguajes y Ciencias de la Computación, Boulevard Louis Pasteur, s/n. Campus de Teatinos, 29071 MálagaSpain
  3. 3.SRI International, Computer Science Laboratory, 333 Ravenswood Ave., Menlo Park, CA 94025-3493USA
  4. 4.University of Illinois at Urbana-Champaign, Department of Computer Science, Siebel Center for Computer Science, 201 N. Goodwin, Urbana, IL 61801-2302, USA   
  5. 5.SRI InternationalUSA

Personalised recommendations