Mostrando 10 resultados de: 15
Filtros aplicados
Publisher
Software and Systems Modeling(3)
Electronic Communications of the EASST(2)
Journal of Visual Languages and Computing(2)
Formal Aspects of Computing(1)
Fundamenta Informaticae(1)
Área temáticas
Programación informática, programas, datos, seguridad(7)
Ciencias de la computación(5)
Métodos informáticos especiales(4)
Funcionamiento de bibliotecas y archivos(3)
Lingüística(3)
Área de conocimiento
Ciencias de la computación(10)
Ingeniería de software(6)
Software(2)
Teoría de grafos(2)
Artes visuales(1)
Origen
scopus(15)
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:scopusA formalisation of deep metamodelling
ArticleAbstract: Metamodelling is one of the pillars of model-driven engineering, used for language engineering and dPalabras claves:category theory, Deep characterisation, Deep metamodelling, Diagram pbkp_redicate framework, Double linguistic/ontological typing, Graph transformation, Linguistic extension, METADEPTH, model-driven engineering, Multi-level metamodelling, PotencyAutores:Guerra E., Juan De Lara, Rossini A., Rutle A., Wolter U.Fuentes:scopusAction patterns for the incremental specification of the execution semantics of visual languages
Conference ObjectAbstract: We present a new approach - based on graph transformation - to incremental specification of the operPalabras claves:Graph transformation, Meta-Modelling, Operational semantics, Visual languagesAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusAdding recursion to graph transformation
Conference ObjectAbstract: In this paper we define recursive rules in the double pushout approach (DPO) to graph transformationPalabras claves:Double Pushout, Graph transformation, RecursionAutores:Guerra E., Juan De LaraFuentes:scopusGeneration of advanced modelling environments by means of graph transformation techniques
Conference ObjectAbstract: In this paper we show our approach to the automatic generation of modelling environments for VisualPalabras claves:Domain specific visual languages, Graph transformation, Meta-Modelling, METRICS, Model redesignAutores:Díaz P., Guerra E., Juan De LaraFuentes:scopusEnforced generative patterns for the specification of the syntax and semantics of visual languages
ArticleAbstract: We present the new notion of enforced generative pattern, a structure that declares positive or negaPalabras claves:Graph constraints, Graph transformation, Meta-Modelling, Patterns, Specification of semantics, Triple graph grammars, Visual languagesAutores:Bottoni P., Guerra E., Juan De LaraFuentes:scopusDomain-specific discrete event modelling and simulation using graph transformation
ArticleAbstract: Graph transformation is being increasingly used to express the semantics of domain-specific visual lPalabras claves:Discrete event simulation, Domain-specific modelling, Graph transformationAutores:Boronat A., Guerra E., Heckel R., Juan De Lara, Torrini P.Fuentes:scopusInter-modelling with patterns
ArticleAbstract: Inter-modelling is the activity of modelling relations between two or more modelling languages. ThePalabras claves:Graph constraints, Graph transformation, Inter-Modelling, Model matching, Model-to-model transformation, TraceabilityAutores:Guerra E., Juan De Lara, Orejas F.Fuentes:scopusModel driven development of digital libraries-Validation, analysis and code generation
Conference ObjectAbstract: This paper shows our model-driven approach for the formal construction and validation of Digital LibPalabras claves:Digital library, Formal Methods, Graph transformation, Meta-Modelling, Model driven developmentAutores:Guerra E., Juan De Lara, Malizia A.Fuentes:scopusModel driven formal development of digital libraries
Conference ObjectAbstract: This paper shows our model-driven approach for the formal construction and validation of Digital LibPalabras claves:Digital libraries, Formal Methods, Graph transformation, Meta-Modelling, Model driven developmentAutores:Guerra E., Juan De Lara, Malizia A.Fuentes:scopus