Lessons Learned from Building a Graph Transformation System

DOI10.1007/978-3-642-17322-6_10MaRDI QIDQ3059715zbMATH OpenOpenAlexFDO

Authors Gabor Karsai

Publication date 26 November 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-17322-6_10

zbMATH Keywords

graph transformationsmodel-driven developmentmodel transformationsintegrated development environments

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42) Theory of software (68N99)

Recommendations

• A general framework for well-structured graph transformation systems
• Well-structured graph transformation systems
• Development of Correct Graph Transformation Systems
• Graph Transformations
• scientific article; zbMATH DE number 2016090
• Exploring conflict reasons for graph transformation systems
• Formal Methods in Software and Systems Modeling
• Analysis of graph transformation systems: native vs translation-based techniques
• scientific article; zbMATH DE number 2016064

Cites work

• scientific article; zbMATH DE number 1629836 (Why is no real title available?)
• scientific article; zbMATH DE number 2086957 (Why is no real title available?)
• scientific article; zbMATH DE number 2087519 (Why is no real title available?)
• A formalism to describe design patterns based on role concepts
• Concepts and realization of a diagram editor generator based on hypergraph transformation
• Efficient graph rewriting and its implementation
• Handbook of Graph Grammars and Computing by Graph Transformation

Cited in

(16)

• Tool-based language development
• scientific article; zbMATH DE number 2016080 (Why is no real title available?)
• Model-Driven Development of Model Transformations
• scientific article; zbMATH DE number 1629843 (Why is no real title available?)
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 2016090 (Why is no real title available?)
• Graph Transformations
• Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract
• Non-materialized Model View Specification with Triple Graph Grammars
• Temporal Graph Queries to Support Software Evolution
• Exploring conflict reasons for graph transformation systems
• Measuring characteristics of models and model transformations using ontology and graph rewriting techniques
• Graph transformation semantics for a QVT language
• Graph-based specification and automated construction of ILP problems
• Co-transformation of graphs and type graphs with application to model co-evolution
• scientific article; zbMATH DE number 2016095 (Why is no real title available?)

Describes a project that uses

Uses Software

• DiaGen
• AToM3
• AGG
• VIATRA2
• PROGRES

This page was built for publication: Lessons Learned from Building a Graph Transformation System

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