Navegación

Búsqueda

Búsqueda avanzada

El autor Juan de Lara ha publicado 7 artículo(s):

1 - Una solución MDE para crear aplicaciones basadas en mensajes instantaneos a través de Twitter

Las redes sociales se utilizan para todo tipo de propósitos, en cualquier momento y lugar, gracias al auge de los dispositivos móviles. La capacidad de envío de mensajes (públicos o privados) de estos servicios se usa hoy día, de manera habitual, para segmentar al conjunto de usuarios según preferencias, opiniones y eventos. Esto no pasa desapercibido para empresas o servicios que analizan datos mediante la nueva figura del llamado social media manager. Como ejemplo de servicio, debido a su carácter eminentemente público, los tweets de Twitter pueden ser vistos como un mecanismo de díalogo entre usuarios y aplicaciones informáticas. Resaltando esta funcionalidad, proponemos el concepto de aplicación basada en mensajes instantáneos, una aplicacíon que usa los mensajes emitidos por los usuarios como un medio para obtener comandos de entrada y emitir salidas. Para ello, usaremos las ventajas del Desarrollo de Software Dirigido por Modelos para la construccíon de un prototipo (llamado Twiagle) que permita de una forma clara y concisa, mediante lenguajes de dominio específico: (i) detectar patrones en los mensajes de los usuarios, y (ii) construir aplicaciones simples mediante acciones, tales como consultas a los mensajes seleccionados y síntesis de mensajes.

Autores: Angel Mora Segura / Juan de Lara  / Jesús Sánchez Cuadrado / 
Palabras Clave: Desarrollo de Software Dirigido por Modelos - Ingeniería basada en la Web - Interfaces de Usuario basadas en Mensajes - Lenguajes de Dominio Específico - Twitter.

3 - Towards a model-driven engineering solution for language independent mutation testing

Mutation testing is a technique to assess test suite adequacy to distinguish between correct and incorrect programs. Mutation testing applies one or more small changes to a program to obtain variants called mutants. The adequacy of a test suite is measured by determining how many of the mutants it distinguishes from the original program. There are many works about mutation testing, but the existing approaches focus on a specific programming language, and usually, it is not easy to customize the set of mutation operators. In this paper, we present Wodel-Test, an extension of the Wodel tool that implements a language-independent mutation testing framework based on model-driven engineering principles.

Autores: Pablo Gómez-Abajo / Esther Guerra / Juan de Lara / Mercedes G. Merayo / 
Palabras Clave: Domain Specific Languages - model mutation - Model-Driven Engineering - Mutation testing - reverse engineering

4 - Building Scalable Graphical Modelling Environments with EMFSplitter (tool demo)

In Model-Driven Engineering the creation of Domain-Specific Modelling Languages (DSMLs) is a recurrent demanding task. Usually DSMLs are built in an ad-hoc manner and the generated environments do not scale well to face scenarios with complex systems. To improve this situation, we propose an approach to facilitate the engineering of DSMLs through a catalogue of patterns and a set of wizards to reduce the implementation time of such environments. Our approach is supported by a tool called EMFSplitter, which proposes a Modularity pattern to fragment the models and a Graphical Representation pattern, for the definition of graphical and tabular syntax.

Autores: Antonio Garmendia / Esther Guerra / Juan De Lara / 
Palabras Clave: Domain-Specific Modelling Languages - Graphical Modelling Environments - Meta-modelling - Modularity - Scalable Modelling

5 - Collaborative Modeling and Group Decision Making Using Chatbots in Social Networks

Titulo: Collaborative Modeling and Group Decision Making Using Chatbots in Social NetworksAutores: Sara Perez-Soler, Esther Guerra, Juan de LaraRevista de publicación: IEEE SoftwareVolume: 35, Issue: 6, Noviembre/Diciembre 2018, pp.: 48-54, DOI: 10.1109/MS.2018.290101511Índice de impactor JCR (2017): 2,879Ranking: Q1 en Ingeniería del SoftwareAbstract: El modelado se usa en las fases iniciales del desarrollo de software para discutir y explorar problemas, comprender dominios, evaluar alternativas y comprender sus implicaciones. En este contexto, el modelado es inherentemente colaborativo porque involucra a participantes con diferentes conocimientos y experiencia, que cooperan para crear una solución basada en el consenso.Sin embargo, las herramientas de modelado actuales suelen proporcionar editores de diagramas difíciles de manejar, lo que podría obstaculizar la participación activa de los expertos en el dominio. Además, carecen de mecanismos para facilitar la toma de decisiones.Para abordar estos problemas, nuestra propuesta es integrar el modelado dentro de las redes sociales, de modo que la interfaz de modelado es el lenguaje natural que un chatbot interpreta para derivar un modelo de dominio apropiado. Las redes sociales proporcionan mecanismos intuitivos de discusión, y el uso del lenguaje natural reduce la barrera de entrada al modelado a los expertos en el dominio. Además, nuestro enfoque facilita la elección entre varias alternativas de modelado, utilizando como mecanismo de toma de decisiones el consenso. Como soporte a esta propuesta, hemos desarrollado la herramienta SOCIO, que funciona enredes sociales como Telegram.

Autores: Sara Perez-Soler / Esther Guerra / Juan De Lara / 
Palabras Clave: Chatbots - Desarrollo dirigido por modelos - Ingeniería del Software - Modelado Colaborativo - Redes sociales - Toma de Decisión

6 - Wodel-Test: A Model-Based Framework for Language-Independent Mutation Testing

Mutation testing (MT) targets the assessment of test cases by measuring their efficiency to detect faults. This technique involves modifying the program under test to emulate programming faults, and assessing whether the existing test cases detect such mutations. MT has been extensively studied since the 70’s, and many tools have been proposed for widely used languages like C, Java, Fortran, Ada and SQL+ADs and for notations like Petri-nets. However, building MT tools is costly and error-prone, which may prevent their development for new programming and domain-specific (modelling) languages.In this paper, we propose a framework called Wodel-Test to reduce the effort to create MT tools. For this purpose, it follows a model-driven approach by which MT tools are synthesized from a high-level description. This description makes use of the domain-specific language Wodel to define and execute model mutations. Wodel is language-independent, as it allows the creation of mutation operators for any language defined by a meta-model. Starting from the definition of the mutation operators, Wodel-Test generates a MT environment which parses the program under test into a model, applies the mutation operators, and evaluates the test-suite against the generated mutants, offering a rich collection of MT metrics. We report on an evaluation of the approach based on the creation of MT tools for Java and the Atlas transformation language.

Autores: Pablo Gómez-Abajo / Esther Guerra / Juan de Lara / Mercedes Merayo / 
Palabras Clave: Domain Specific Languages - Java - model mutation - Model Transformation - Model-Driven Engineering - Mutation testing

7 - Scalable Modeling Technologies in the Wild: An Experience Report on Wind Turbines Control Applications Development

Scalability in modeling has many facets, including the ability to build larger models and domain specific languages (DSLs) efficiently. With the aim of tackling some of the most prominent scalability challenges in Model-Based Engineering (MBE), the MONDO EU project developed the theoretical foundations and open-source implementation of a platform for scalable modeling and model management. The platform includes facilities for building large graphical DSLs, for splitting large models into sets of smaller interrelated fragments, to index large collections of models to speed-up their querying, and to enable the collaborative construction and refinement of complex models, among other features.

This paper reports on the tools provided by MONDO that Ikerlan, a medium-sized technology center which in the last decade has embraced the MBE paradigm, adopted in order to improve their processes. This experience produced as a result a set of model editors and related technologies that fostered collaboration and scalability in the development of wind turbine control applications. In order to evaluate the benefits obtained, an on-site evaluation of the tools was performed. This evaluation shows that scalable MBE technologies give new growth opportunities to small and medium-sized organizations.

Published in: Software and Systems Modeling, 19 (5), pp. 1229-1261, 2020.
Impact Factor: 1.876 Q2 (2019)
DOI: https://dx.doi.org/10.1007/s10270-020-00776-8

Autores: Abel Gómez / Xabier Mendialdua / Konstantinos Barmpis / Gábor Bergmann / Jordi Cabot / Csaba Debreceni / Xabier Decarlos / Antonio Garmendia / Dimitris S. Kolovos / Juan De Lara / 
Palabras Clave: Collaborative Modeling - Domain Specific Graphical Modeling Languages - Experience Report - Model Indexing - Model-Based Engineering (MBE) - Scalability