Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Journal of Systems and Software(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010(1)
Software and Systems Modeling(1)
Área temáticas
Ciencias de la computación(3)
Programación informática, programas, datos, seguridad(2)
Funcionamiento de bibliotecas y archivos(1)
Miscelánea filosófica(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ciencias de la computación(4)
Ingeniería de software(3)
Teoría de grafos(2)
Optimización matemática(1)
Origen
scopus(4)
A UML/OCL framework for the analysis of graph transformation rules
ArticleAbstract: In this paper we present an approach for the analysis of graph transformation rules based on an intePalabras claves:Domain specific visual languages, Graph transformation, Meta-Modelling, OCL, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusLightweight executability analysis of graph transformation rules
Conference ObjectAbstract: Domain Specific Visual Languages (DSVLs) play a cornerstone role in Model-Driven Engineering (MDE),Palabras claves:Autores:Cabot J., Gómez C., Guerra E., Juan De Lara, Planas E.Fuentes:scopusVerification and validation of declarative model-to-model transformations through invariants
ArticleAbstract: In this paper we propose a method to derive OCL invariants from declarative model-to-model transformPalabras claves:Model-driven development, Model-to-model transformation, OCL, QVT, Triple graph grammars, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusSynthesis of OCL pre-conditions for graph transformation rules
Conference ObjectAbstract: Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe iPalabras claves:Autores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopus