Mostrando 3 resultados de: 3
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)
Software and Systems Modeling(1)
Área temáticas
Ciencias de la computación(2)
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)
Año de Publicación
2010(3)
Origen
scopus(3)
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: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