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 technique. Up to now, for the analysis of transformationswith inheritance a flattening constructionhas beenused… (More)
DOI: 10.1016/j.tcs.2012.01.032


7 Figures and Tables

Slides referencing similar topics