Combining Graph Transformation and Algebraic Specification into Model Transformation

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

Caroline von Totth, Sabine Kuske, 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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• 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
• 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)