Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Electronic Notes in Theoretical Computer Science(1)
Lecture Notes in Computer Science(1)
Theoretical Computer Science(1)
Attributed graph transformation with node type inheritance
ArticleAbstract: The aim of this paper is to integrate typed attributed graph transformation with node type inheritanPalabras claves:Double pushout approach, Graph transformation, Meta-Modelling, Visual languagesAutores:Bardohl R., Ehrig H., Ehrig K., Juan De Lara, Prange U., Taentzer G.Fuentes:scopusParallel graph transformation for model simulation applied to timed transition petri nets
Conference ObjectAbstract: This work discusses the use of parallel graph transformation systems for (multi-formalism) modelingPalabras claves:Model simulation, Parallel graph transformation, Timed transition Petri netsAutores:Ehrig K., Ermel C., Juan De Lara, Taentzer G.Fuentes:scopusTermination criteria for model transformation
Conference ObjectAbstract: Model Transformation has become central to most software engineering activities. It refers to the prPalabras claves:Autores:Ehrig H., Ehrig K., Juan De Lara, Taentzer G., Varró D., Varró-Gyapay S.Fuentes:scopus