Hierarchical Design Rewriting with Maude

DOI10.1016/j.entcs.2009.05.012zbMath1347.68072WikidataQ56501701 ScholiaQ56501701MaRDI QIDQ5179129

Ugo Montanari, Alberto Lluch Lafuente, Roberto Bruni

Publication date: 19 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.05.012

zbMATH Keywords

graphs; rewriting logic; Maude; SOS; software architectures

Mathematics Subject Classification ID

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

On Symbolic Semantics for Name-decorated Contexts, Ugo Montanari and Graph Transformation, Graph-Based Design and Analysis of Dynamic Software Architectures

Uses Software

• yEd
• SLMC
• Maude
• CBabel
• GraphML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hyperedge replacement: grammars and languages
• The rewriting logic semantics project
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• The origins of structural operational semantics
• A spatial logic for concurrency. I
• Executable structural operational semantics in Maude
• Semantic foundations for generalized rewrite theories
• Bigraphs and transitions
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
• Automated Deduction – CADE-19