Hierarchical Design Rewriting with Maude

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

Ugo Montanari, Roberto Bruni, Alberto Lluch Lafuente

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

graphsrewriting logicMaudeSOSsoftware architectures

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

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

Uses Software

• yEd
• SLMC
• Maude
• CBabel
• GraphML

Cites Work

• 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
• An open graph visualization system and its applications to software engineering
• Automated Deduction – CADE-19

This page was built for publication: Hierarchical Design Rewriting with Maude