Ingeniería del Software Dirigida por Modelos

URI permanente para esta colección:

Artículos en la categoría Ingeniería del Software Dirigida por Modelos publicados en las Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019).
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 17 de 17
  • Artículo
    Una Aproximación Basada en Modelos para la Definición de Arquitecturas Asíncronas
    Gómez, Abel; Fernandez de Larrea, Iker; Iglesias-Urkia, Markel; Lopez-Davalillo, Beatriz; Urbieta, Aitor; Cabot Sagrera, Jordi. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    En la nueva era del Internet de las cosas (IoT), nuestros objetos cotidianos se han convertido en los llamados sistemas ciberfísicos (CPS). El uso y despliegue de los CPS ha calado especialmente en la industria, dando lugar a la llamada Industria 4.0 o IoT Industrial (IIoT). Típicamente, las arquitecturas IIoT son distribuidas y asíncronas, estando la comunicación guiada por eventos como por ejemplo la publicación (y correspondiente suscripción) a mensajes. No obstante, las mejoras en escalabilidad y tolerancia al cambio de estas arquitecturas tienen sus desventajas, y es fácil que el conocimiento sobre los mensajes y su categorización (topics) se diluya entre los elementos de la arquitectura, dando lugar a problemas de interoperabilidad entre los agentes implicados. En este artículo, presentamos nuestra propuesta para automatizar el diseño e implementación de estas arquitecturas mediante técnicas basadas en modelos. Para ello nos apoyamos en AsyncAPI, una propuesta para la especificación de API dirigidas por mensajes.
  • Artículo
    Modelado y estimación de métricas sobre propiedades no funcionales. Informe de Resultados del Proyecto RoQME
    Vicente-Chicote, Cristina; García-Pérez, Daniel; García-Ojeda, Pablo; Inglés-Romero, Juan F.; Romero-Garcés, Juan Adrian; Martínez Cruz, Jesús. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Este trabajo presenta los resultados obtenidos durante la ejecución del Proyecto RoQME en relación con: (1) el modelado de métricas asociadas a propiedades no funcionales en sistemas robóticos (p. ej., rendimiento, seguridad, grado de interacción/aceptación por parte de los usuarios, etc.); y (2) la generación, a partir de los modelos anteriores, de la infraestructura necesaria para estimar dichas métricas en tiempo de ejecución. Las métricas estimadas pueden ser de utilidad, por ejemplo, para adaptar el comportamiento o la arquitectura del robot, o como fuente de datos para realizar algún tipo de benchmarking.
  • Resumen
    Spectrum-Based Fault Localization in Model Transformations
    Troya, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness of model transformations. However, it is challenging and error prone to debug them, and the situation gets more critical as the size and complexity of model transformations grow, where manual debugging is no longer possible. Spectrum-Based Fault Localization (SBFL) uses the results of test cases and their corresponding code coverage information to estimate the likelihood of each program component (e.g., statements) of being faulty. In this paper we present an approach to apply SBFL for locating the faulty rules in model transformations. We evaluate the feasibility and accuracy of the approach by comparing the effectiveness of 18 different state-of-the-art SBFL techniques at locating faults in model transformations. Evaluation results revealed that the best techniques, namely Kulcynski2, Mountford, Ochiai and Zoltar, lead the debugger to inspect a maximum of three rules in order to locate the bug in around 74% of the cases. Furthermore, we compare our approach with a static approach for fault localization in model transformations, observing a clear superiority of the proposed SBFL-based method.
  • Artículo
    Caso práctico de un proceso de ingeniería inversa implementado sobre una arquitectura reactiva
    Hernández López, Pablo J.; Rodríguez González, Noé A.; Vitale Zamorano, Alfonso. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Los sistemas heredados son, habitualmente, de grandes dimensiones. A la hora de abordar un proceso de ingeniería inversa sobre estos sistemas, las herramientas para el tratamiento de modelos muestran problemas de rendimiento y escalabilidad. En este artículo se presenta la solución, propuesta por Open Canarias, para solventar este problema mediante el uso de los principios del manifiesto reactivo.
  • Artículo
    RESTIoT: A model-based approach for building RESTful web services in IoT systems
    Alulema Flores, Darwin Omar; Criado, Javier; Iribarne, Luis. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    In today's Internet of Things (IoT) world, we face many challenges, such as having an architecture that improves the integration of data coming from several IoT devices and supports an efficient building of systems able to monitor, send and process data in real time. In this sense, we propose a model based on Model-Driven Engineering (MDE) for automatic RESTful web services building in IoT systems. This article introduces a graphical editor and a transformation engine proposed to simplify the creation of RESTful web services related to the operation of IoT hardware nodes (RESTIoT). This approach semi-automatically generates Java code (which uses Spring Boot technology) for web services and Arduino code for IoT nodes controllers.
  • Resumen
    Testing Models and Model Transformations Using Classifying Terms
    Hilken, Frank; Gogolla, Martin; Burgueño, Lola; Vallecillo, Antonio. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Título: Testing Models and Model Transformations Using Classifying Terms Autores: Frank Hilken, Martin Gogolla, Loli Burgueño, Antonio Vallecillo Revista: Software and System Modeling (Sosym) Número: 17(3) Fecha de publicación: Julio 2018 Páginas: 885-912 DOI: 10.1007/s10270-016-0568-3 Indicios de calidad: -Factor de impacto: 1.722 (Q2) - Número de citas: 16 (según GSholar)
  • Resumen
    Fragment retrieval on models for model maintenance: Applying a multi-objective perspective to an industrial case study
    Pérez, Francisca; Lapeña, Raúl; Font, Jaime; Cetina Englada, Carlos. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Context: Traceability Links Recovery (TLR), Bug Localization (BL), and Feature Location (FL) are amongst the most relevant tasks performed during software maintenance. However, most research in the field targets code, while models have not received enough attention yet. Objective: This paper presents our approach (FROM, Fragment Retrieval on Models) that uses an Evolutionary Algorithm to retrieve the most relevant model fragments for three different types of input queries: natural language requirements for TLR, bug descriptions for BL, and feature descriptions for FL. Method: FROM uses an Evolutionary Algorithm that generates model fragments through genetic operations, and assesses the relevance of each model fragment with regard to the provided query through a fitness configuration. We analyze the influence that four fitness configurations have over the results of FROM, combining three objectives: Similitude, Understandability, and Timing. To analyze this, we use a real-world case study from our industrial partner, which is a worldwide leader in train manufacturing. We record the results in terms of recall, precision, and F-measure. Moreover, results are compared against those obtained by a baseline, and a statistical analysis is performed to provide evidences of the significance of the results. Results: The results show that FROM can be applied in our industrial case study. Also, the results show that the configurations and the baseline have significant differences in performance for TLR, BL, and FL tasks. Moreover, our results show that there is no single configuration that is powerful enough to obtain the best results in all tasks. Conclusions: The type of task performed (TLR, BL, and FL) during the retrieval of model fragments has an actual impact on the results of the configurations of the Evolutionary Algorithm. Our findings suggest which configuration offers better results as well as the objectives that do not contribute to improve the results.
  • Resumen
    A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models
    Parra, Pablo; Rodríguez Polo, Óscar; Fernández, Javier; Silva, Antonio Da; Sánchez, Sebastián; Martínez, Agustín. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Artículo ya publicado. Título: "A Platform-Aware Model-Driven Embedded Software Engineering Process Based on Annotated Analysis Models" Autores: Pablo Parra, Óscar R. Polo, Javier Fernández, Antonio Da Silva, Sebastián Sánchez y Agustín Martínez Revista: IEEE Transactions on Emerging Topics in Computing Fecha de publicación: 17 de agosto de 2018 DOI: 10.1109/TETC.2018.2866024 Factor de Impacto 2017: 3,626 Cuartil: Q1 Referencia: https://ieeexplore.ieee.org/abstract/document/8438923
  • Artículo
    Transformaciones de Datos con Machine Learning
    Burgueño, Lola; Cabot Sagrera, Jordi; Gérard, Sébastien. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Una de las tareas más comunes que los ingenieros tienen que llevar a cabo y que consumen más tiempo es la transformación de datos. Proponemos usar los avances en Inteligencia Artificial (IA), y en particular, en el área de Machine Learning (ML), para abordar este problema. Para ello, definimos una arquitectura que es capaz de inferir las transformaciones de datos a partir de un conjunto de pares de datos entrada-salida. Una vez que nuestro sistema haya aprendido cómo los datos de entrada se relacionan con los de salida, podrá realizar la traducción de nuevos datos de entrada automáticamente.
  • Artículo
    Una propuesta para soportar la especificación a alto nivel de contratos inteligentes
    Gómez Macías, Cristian; Vara, Juan Manuel; Pérez Blanco, Francisco Javier; Marcos Martínez, Esperanza. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Un contrato inteligente es una representación digital de un contrato , cuyas cláusulas se ejecutan automáticamente cuando se cumplen sus condiciones, sin necesidad de un intermediario. Debido a su potencial, instituciones de muy diversos ámbitos están explorando las posibilidades que les ofrece la aplicación de esta tecnología, encontrándose con un problema recurrente: la elevada curva de aprendizaje del diseño y creación de contratos inteligentes, tanto para los profesionales de las áreas de negocio, como para los desarrolladores no familiarizados con esta tecnología. En este trabajo, tras analizar la situación actual en cuanto a la existencia de herramientas o soluciones para la definición de contratos inteligentes, se presenta una propuesta basada en la aplicación de técnicas y principios de la Ingeniería Dirigida por Modelos, que mejorará ostensiblemente los niveles de usabilidad de las soluciones existentes.
  • Artículo
    UStoReqIF: Conectando requisitos ágiles con tradicionales
    Serbout, Souhaila; Bermúdez Ruiz, Francisco Javier; Moros Valle, Begoña. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    A pesar de la reconocida importancia del uso de la Ingeniería de Requisitos en el éxito de proyectos de desarrollo de software, no está todavía claro el papel que juega dicha ingeniería en el desarrollo de software ágil, donde la técnica más utilizada para la especificación de requisitos son las historias de usuario. Sin embargo es importante documentar requisitos de alto nivel para no perder de vista la imagen general del sistema, siendo necesario conectar historias de usuario con requisitos tradicionales. Dado que los requisitos cuentan con una especificación que define un metamodelo de intercambio de datos denominado ReqIF, en este trabajo se propone tender un puente entre requisitos ágiles, basados en historias de usuario y tradicionales basados en especificaciones de requisitos textuales. La propuesta ha sido implementada haciendo uso de técnicas MDE. Se ha definido un metamodelo para representar historias de usuario, junto con un lenguaje textual y su correspondiente editor. Además se ha implementado una transformación modelo a modelo que permite obtener las especificaciones de requisitos conformes a ReqIF a partir del modelo de historias de usuario.
  • Artículo
    Caso práctico de Modernización Dirigida por la Arquitectura basado en patrones
    Hernández López, Pablo J.; Rodríguez González, Noé A.; Vitale Zamorano, Alfonso. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Este artículo presenta la solución desarrollada por Open Canarias para un caso real de migración automática de un aplicativo COBOL-CICS-DB2 a una arquitectura Java Enterprise Edition (JEE) siguiendo las recomendaciones de ADM (Architecture Driven Modernization). Como contribución especial de la experiencia, se presenta el uso de patrones como piezas fundamentales en la elaboración de las transformaciones de modelos necesarias en el proceso de migración de sistemas.
  • Artículo
    Acercando modelos de negocio y de proceso para el diseño de servicios
    Pérez Blanco, Francisco Javier; Vara, Juan Manuel; Gómez Macías, Cristian; De Castro, María Valeria; Granada, David; Marcos Martínez, Esperanza. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Actualmente existe gran cantidad de técnicas o notaciones para el modelado de negocio y el modelado de procesos que permiten representar una organización con mayor o menor nivel de detalle a la vez que ayudan a entender, conceptualizar y representar los servicios que aportan valor a la compañía. Esas técnicas tienen diferencias y similitudes, pero en muchos casos son complementarias. Sin embargo, no existe una solución que permita trabajar de manera integrada con varias de estas notaciones, acortando la distancia entre las áreas de negocio y tecnología. Este artículo presenta las últimas funcionalidades incorporadas en un entorno de modelado para el diseño de servicios que soporta 5 notaciones diferentes (Canvas, e3value, Service Blueprint, Process Chain Network y BPMN) y que permite generar vistas parciales de modelos basados en una determinada notación a partir de modelos elaborados con otra de las notaciones soportadas, además del modelo de relaciones correspondiente.
  • Resumen
    An Ontology-based Framework for Describing Discoverable Data Services
    Oriol, Xavier; Teniente, Ernest. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Data-services are applications whose main concern is to provide data to their client applications. Data-services play a key role in areas like the Internet of Things (IoT), where smart objects might want to offer/consume data through Internet, and thus, providing/discovering such data-services automatically. To make data-services discoverable, the usual strategy is to register dataservices in some kind of service-broker, i.e., a marketplace where data-services are publicly offered. Then, smart objects query the service-broker, and the servicebroker is responsible to match the request with its data-services. How to perform this matching automatically is still an open problem in IoT. In this paper, we propose a framework for specifying data-services so that they can be automatically discovered. To achieve it, we provide unambiguous descriptions of the data-services and the request, together with a mechanism capable of interpreting these descriptions and check whether they match. Our solution is grounded on ontology-based data integration and can be applied in the IoT context, altought it can also be used in any other domain involving the discovery of applications retrieving data. In essence, our idea is based on, given a domain ontology describing the real world our data-services speaks about, consider each data-service as a new association in that ontology. Indeed, a data-service consuming some input objects and retrieving some output objects can be modelled as an association from the proper to the latter. As expected, ontology constraints must be used to restrict the instances of the association to the input-output instances our data-service expects/provides. Hence, the problem of matching data-services is reduced to that of automatic reasoning on ontologies (and in particular, association subsumption). Thus, contributions on this last field can be directly used for the data-services discovering problem.
  • Resumen
    Collaborative Modeling and Group Decision Making Using Chatbots in Social Networks
    Perez-Soler, Sara; Guerra, Esther; de Lara, Juan. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Titulo: Collaborative Modeling and Group Decision Making Using Chatbots in Social Networks Autores: Sara Perez-Soler, Esther Guerra, Juan de Lara Revista de publicación: IEEE Software Volume: 35, Issue: 6, Noviembre/Diciembre 2018, pp.: 48-54, DOI: 10.1109/MS.2018.290101511 Índice de impactor JCR (2017): 2,879 Ranking: Q1 en Ingeniería del Software Abstract: 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 en redes sociales como Telegram.
  • Artículo
    Towards quality assurance in repaired models with PARMOREL
    Barriga, Angela; Rutle, Adrian; Heldal, Rogardt. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Due to the importance of models in the software engineering process, it is crucial to keep them free of errors and assure their quality. As part of our research, we are developing PARMOREL, a tool for personalized and automatic model repair. PARMOREL uses reinforcement learning to find the best sequence of actions for repairing a broken model according to preferences chosen by the user. In this paper, we present a proposal for integrating quality assurance into PARMOREL. We describe an architecture that would allow PARMOREL to learn to automatically repair models with high quality.
  • Resumen
    Towards a Language Server Protocol Infrastructure for Graphical Modeling
    Rodríguez-Echeverría, Roberto; Cánovas Izquierdo, Javier Luis; Wimmer, Manuel; Cabot Sagrera, Jordi. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    Este trabajo se presenta a JISBD como artículo relevante. Título: Towards a Language Server Protocol Infrastructure for Graphical Modeling Autores: Rodriguez-Echeverria, Roberto; Izquierdo, Javier Luis Cánovas; Wimmer, Manuel; Cabot, Jordi Conferencia: 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18 Año: 2018 Páginas: 370-380 DOI: 10.1145/3239372.3239383 Indicios de calidad: clase 2 del ranking SCIE de congresos relevantes.