Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Journal of Systems and Software(2)
Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017(1)
Software and Systems Modeling(1)
Área temáticas
Programación informática, programas, datos, seguridad(3)
Ciencias de la computación(2)
Métodos informáticos especiales(2)
Sistemas(1)
Área de conocimiento
Ciencias de la computación(3)
Ingeniería de software(2)
Optimización matemática(2)
Modelo matemático(1)
Origen
scopus(4)
Backwards reasoning for model transformations: Method and applications
ArticleAbstract: Model transformations are key elements of model driven engineering. Current challenges for transformPalabras claves:Model transformation, OCL, Weakest pre-conditionAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusA 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:scopusTranslating Target to Source Constraints in Model-to-Model Transformations
Conference ObjectAbstract: Model transformations are used to automate model manipulation in Model-Driven Engineering (MDE). InPalabras claves:integrity constraints, Model Transformations, model-driven engineering, OCL, QualityAutores:Cabot J., Clariso R., Guerra E., Juan De Lara, Sánchez Cuadrado J.S.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:scopus