Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation-Reference-Cited by-同舟云学术

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

Published:2006-03 Issue: Volume:152 Page:3-22
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Ehrig Hartmut,Ehrig Karsten

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference23 articles.

1. The design of a simple language for graph transformations, journal in software and system modeling;Agrawal;Journal on Software and System Modeling,2005

2. R. Bardohl. GenGEd - A Generic Graphical Editor for Visual Languages based on Algebraic Graph Grammars. In Proc. IEEE Symposium on Visual Languages (VL'98), pages 48–55, 1998

3. R. Bardohl, H. Ehrig, K. Ehrig, J. de Lara, U. Prange, and G. Taentzer. Attributed graph transformation with node type inheritance. In Technical Report 2005/3. Technical University Berlin, 2005. Short version to appear in Proceedings VLHCC'05

4. Automated model transformation and its validation with atom3 and agg;de Lara,2004

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using memetic algorithm for robustness testing of contract-based software models;Artificial Intelligence Review;2020-08-06

2. Using search-based techniques for testing executable software models specified through graph transformations;International Journal of Machine Learning and Cybernetics;2020-06-24

3. Achieving Complete and Near-Lossless Conversion from IFC to CityGML;ISPRS International Journal of Geo-Information;2018-08-27

4. Using graph transformation systems to formalize Tropos diagrams;Journal of Visual Languages & Computing;2015-10

5. A Calculus for (Meta)Models and Transformations;International Journal of Software Engineering and Knowledge Engineering;2014-06