Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
CEUR Workshop Proceedings(1)
GPCE 2020 - Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with SPLASH 2020(1)
Journal of Logical and Algebraic Methods in Programming(1)
Proceedings of the ACM Symposium on Applied Computing(1)
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE(1)
Área temáticas
Ciencias de la computación(5)
Automated variability injection for graphical modelling languages
Conference ObjectAbstract: Model-based development approaches, such as Model-Driven Engineering (MDE), heavily rely on the usePalabras claves:EMF, graphical modelling language, Meta-Modelling, model-driven engineering, Product LinesAutores:Garmendia A., Gómez-Martínez E., Guerra E., Juan De Lara, Wimmer M.Fuentes:scopusAnalysing Product Lines of Concurrent Systems with Coloured Petri Nets
Conference ObjectAbstract: Petri nets are a popular formalism to model and analyse concurrent systems. They can be combined witPalabras claves:Autores:Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopusFormal support of process chain networks using model-driven engineering and petri nets
Conference ObjectAbstract: Business process modelling is an essential activity for competitive enterprises, as it enables documPalabras claves:ATL, Business process model, Model Transformations, model-driven engineering, Petri nets, Process chain networkAutores:Gómez-Martínez E., Juan De Lara, Marcos E., Pérez-Blanco F., Vara J.M.Fuentes:scopusLifted structural invariant analysis of Petri net product lines
ArticleAbstract: Petri nets are commonly used to represent concurrent systems. However, they lack support for modelliPalabras claves:Constraint Solving, Petri nets, Software product lines, Structural invariant analysisAutores:Garmendia A., Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopusTowards extensible structural analysis of petri net product lines
Conference ObjectAbstract: In order to represent the behaviour of a (potentially large) set of concurrent systems, we propose aPalabras claves:model-driven engineering, Petri nets, Product LinesAutores:Gómez-Martínez E., Guerra E., Juan De LaraFuentes:scopus