A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams

DOI10.1016/j.entcs.2008.04.048zbMath1283.68206OpenAlexW2126577688MaRDI QIDQ5404182

Frank Hermann, Hartmut Ehrig, Gabriele Taentzer

Publication date: 21 March 2014

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.2008.04.048

zbMATH Keywords

typedinheritancegraph transformationUMLabstract syntaxsequence diagramsclass diagramsattributed

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs

Cites Work

• Unnamed Item
• Semantic integration of heterogeneous software specifications.
• Fundamentals of algebraic graph transformation
• Abstraction in Graph-Transformation Based Diagram Editors
• Graph Transformations
• Graph Transformations
• Fundamental Approaches to Software Engineering
• Fundamental Approaches to Software Engineering
• LSCs: Breathing life into message sequence charts

This page was built for publication: A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams