Article

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation

Authors:

Hartmut Ehrig,

Karsten Ehrig,

Ulrike Prange,

Gabriele TaentzerAuthors Info & Claims

VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

Pages 71 - 78

https://doi.org/10.1109/VLHCC.2005.37

Published: 20 September 2005 Publication History

Publisher Site

Abstract

Several approaches exist to define a visual language (VL). Among those the meta-modeling approach used todefine the Unified Modeling Language (UML), and the graph transformation approach are very popular. Especially the combination of both, using meta-modeling to define the syntax of a VL and graph transformation for specifying model transformations has been considered conceptually and explored in a number of applications. A formal integration of both approaches has just been started by integrating classical algebraic graph grammars with a node type inheritance concept. In this paper, the integration of inheritance is extending to attributed graph transformation. More precisely, we define attributed type graphs with inheritance leading to a formal integration of inheritance with typed attributed graph transformation.

Cited By

View all

Chari GSheffer BBranavan SD'ippolito NLiu AMuccini H(2023)Scaling Web API IntegrationsProceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP58684.2023.00007(13-23)Online publication date: 17-May-2023
https://dl.acm.org/doi/10.1109/ICSE-SEIP58684.2023.00007
Schulz CLöwe MKönig H(2012)Composition of model transformationsProceedings of the 15th Brazilian conference on Formal Methods: foundations and applications10.1007/978-3-642-33296-8_13(163-178)Online publication date: 23-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33296-8_13
Grunske LWinter KYatapanage N(2008)Defining the abstract syntax of visual languages with advanced graph grammars-A case study based on behavior treesJournal of Visual Languages and Computing10.1016/j.jvlc.2007.11.00319:3(343-379)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1016/j.jvlc.2007.11.003
Show More Cited By

Index Terms

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation
1. Mathematics of computing
  1. Discrete mathematics
    1. Graph theory
2. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Visual languages
    2. General programming languages
      1. Language types

Recommendations

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation

In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic concept where visual languages are defined by attributed type graphs only and ...
Attributed graph transformation with node type inheritance

The aim of this paper is to integrate typed attributed graph transformation with node type inheritance. Borrowing concepts from object oriented systems, the main idea is to enrich the attributed type graph with an inheritance relation and a set of ...
Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Inheritance is an important and widely spread concept enabling the elegant expression of hierarchy in object-oriented software programs or models. It has been defined for graphs and graph transformations enhancing the applicability of this formal ...

Comments

Information & Contributors

Information

Published In

VLHCC '05: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing

September 2005

304 pages

ISBN:0769524435

Publisher

IEEE Computer Society

United States

Publication History

Published: 20 September 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 22 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chari GSheffer BBranavan SD'ippolito NLiu AMuccini H(2023)Scaling Web API IntegrationsProceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice10.1109/ICSE-SEIP58684.2023.00007(13-23)Online publication date: 17-May-2023
https://dl.acm.org/doi/10.1109/ICSE-SEIP58684.2023.00007
Schulz CLöwe MKönig H(2012)Composition of model transformationsProceedings of the 15th Brazilian conference on Formal Methods: foundations and applications10.1007/978-3-642-33296-8_13(163-178)Online publication date: 23-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33296-8_13
Grunske LWinter KYatapanage N(2008)Defining the abstract syntax of visual languages with advanced graph grammars-A case study based on behavior treesJournal of Visual Languages and Computing10.1016/j.jvlc.2007.11.00319:3(343-379)Online publication date: 1-Jun-2008
https://dl.acm.org/doi/10.1016/j.jvlc.2007.11.003
de Lara JBardohl REhrig HEhrig KPrange UTaentzer G(2007)Attributed graph transformation with node type inheritanceTheoretical Computer Science10.1016/j.tcs.2007.02.001376:3(139-163)Online publication date: 1-May-2007
https://dl.acm.org/doi/10.1016/j.tcs.2007.02.001

Abstract

Cited By

Index Terms

Recommendations

Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation

Attributed graph transformation with node type inheritance

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

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations