Extending the DPO approach for topological validation of metamodel-level graph rewriting rules

Authors:
Tihamér Levendovszky;László Lengyel;Hassan Charaf
Affiliations:
Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary;Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary;Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary
Venue:
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Year:
2005

Citing 2
Cited 1

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS

Electronic Notes in Theoretical Computer Science (ENTCS)

Declarative mesh subdivision using topological rewriting in MGS

ICGT'10 Proceedings of the 5th international conference on Graph transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model transformation systems are an important contribution to the field of automated software engineering. This paper summarizes the theoretical background implemented in Visual Modeling and Transformation System (VMTS) to validate the topology of the transformation steps. The mathematical formalism is based on the double pushout approach, which is extended to rewriting steps consisting of metamodel elements. Firstly the instantiation relationship is transformed to a homomorphic mapping, then the theorems from DPO approach is applied in conjunction with the validation-related propositions. The theoretical results are accompanied with practical considerations throughout the paper, and the propositions are turned into algorithms to facilitate their applications.