Mostrando 5 resultados de: 5
Publisher
Electronic Notes in Theoretical Computer Science(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Lecture Notes in Computer Science(1)
Proceedings - International Conference on Application of Concurrency to System Design, ACSD(1)
Theoretical Computer Science(1)
Área temáticas
Ciencias de la computación(4)
Métodos informáticos especiales(2)
Filosofía y teoría(1)
Ingeniería y operaciones afines(1)
Principios generales de matemáticas(1)
Área de conocimiento
Ciencias de la computación(2)
Simulación por computadora(2)
Ingeniería de software(1)
Software(1)
Objetivos de Desarrollo Sostenible
ODS 9: Industria, innovación e infraestructura(5)
ODS 4: Educación de calidad(3)
ODS 8: Trabajo decente y crecimiento económico(2)
Origen
scopus(5)
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:scopusAutomated model transformation and its validation using AToM<sup>3</sup> and AGG
Conference ObjectAbstract: Complex systems are characterized by components that may have to be described using different notatiPalabras claves:Graph transformation, Meta-Modelling, modelling, Multi-FormalismAutores:Juan De Lara, Taentzer G.Fuentes:scopusModelling and analysis of distributed simulation protocols with distributed graph transformation
Conference ObjectAbstract: This paper presents our approach to model distributed discrete event simulation systems in the framePalabras claves:Discrete event simulation, Distributed Graph Transformation, Distributed simulation, ProtocolsAutores: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: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:scopus