Diagrammatic Representation and Inference

DOI10.1007/B95854MaRDI QIDQ5714035zbMATH OpenOpenAlexFDO

Authors Juan de Lara, Gabriele Taentzer

Publication date 27 December 2005

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

Full work available at URL https://doi.org/10.1007/b95854

zbMATH Keywords

Graph TransformationMeta-ModellingMulti-Formalism Modelling

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 2155179
• scientific article; zbMATH DE number 2087519
• Formal analysis of model transformations based on triple graph grammars
• Combining termination proofs in model transformation systems
• Formal analysis of functional behaviour for model transformations based on triple graph grammars

Cited in

(8)

• scientific article; zbMATH DE number 1629843 (Why is no real title available?)
• Termination criteria for DPO transformations with injective matches
• Combining graph transformation and algebraic specification into model transformation
• scientific article; zbMATH DE number 2016079 (Why is no real title available?)
• scientific article; zbMATH DE number 2155179 (Why is no real title available?)
• scientific article; zbMATH DE number 2087519 (Why is no real title available?)
• Efficient conflict detection in graph transformation systems by essential critical pairs
• Graph transformation semantics for a QVT language

Describes a project that uses

Uses Software

• AToM3
• AGG

This page was built for publication: Diagrammatic Representation and Inference

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