Combining graph transformation and algebraic specification into model transformation

DOI10.1007/978-3-642-28412-0_13zbMATH Open1312.68144OpenAlexW1440083397MaRDI QIDQ2890331FDOQ2890331

Authors: Sabine Kuske, Caroline von Totth, Hans-Jörg Kreowski 

Publication date: 8 June 2012

Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_13

Recommendations

• Graph transformation for specification and programming
• Publication:5748897
• Algebra transformation systems as a unifying framework
• The model transformation language of the VIATRA2 framework
• GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformat

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Abstract data types; algebraic specification (68Q65)

Cites Work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of Graph Grammars and Computing by Graph Transformation
• An algebraic semantics for MOF
• Fundamental Approaches to Software Engineering
• Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
• Graph transformation units with interleaving semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 15 Years of Triple Graph Grammars
• The model transformation language of the VIATRA2 framework
• Diagrammatic Representation and Inference
• Combining termination criteria by isolating deletion

Cited In (1)

• Creating and reconciling diagrams after executing model transformations

Uses Software

• VIATRA2
• Maude
• AToM3
• GReAT

This page was built for publication: Combining graph transformation and algebraic specification into model transformation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2890331)