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 XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017).
Notificar un error en esta colección
Examinar
Envíos recientes
Artículo Una Aproximación MDA para la Construcción de Componentes COTSgets en Aplicaciones WebAsensio, Jose A.; Padilla, Nicolás; Criado, Javier; Iribarne, Luis. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.Actualmente, existe una tendencia al desarrollo de aplicaciones web. Muchas de estas aplicaciones se construyen en base a componentes reutilizables, lo que influye considerablemente en el tiempo de desarrollo. En este contexto se enmarca nuestra propuesta. El artículo presenta una solución basada en la ingeniería dirigida por modelos (MDE) para agilizar y facilitar a los desarrolladores la implementación de un tipo de componentes web (llamados COTSgets). Nuestra propuesta consiste en la generación automática de la implementación de estos componentes, en lo que a su estructura y funcionalidad básica se refiere, a partir de un modelo que describe su especificación y mediante la utilización de una transformación modelo-a-texto (M2T). Para dicha implementación se ha seleccionado la incipiente tecnología Polymer.Artículo Impacto de las notaciones en la productividad de creación de modelos de dominio: Un estudio empíricoCachero, Cristina; Meliá, Santiago; Hermida, Jesús María. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.El uso intensivo de modelos en el paradigma MDE es una de las piedras angulares para la consecución de mejoras de productividad en el desarrollo software. Sin embargo, con el fin de maximizar dicha mejora, es importante realizar una selección adecuada de las notaciones. Desafortunadamente, la comunidad de MDE todavía adolece de una falta de datos empíricos que soporten dicha selección. El objetivo del estudio empírico presentado en este artículo ha sido comparar dos notaciones, una gráfica y otra textual, con respecto a la eficiencia y eficacia mostrada por desarrolladores software noveles a la hora de desarrollar modelos de dominio de dos aplicaciones distintas. Para ello, se ha diseñado un quasi-experimento con 127 alumnos del grado de Ingeniería Informática de la Universidad de Alicante. Los sujetos se clasificaron de manera aleatoria en cuatro grupos, y a cada grupo se le asignó una combinación de Notación y Sistema. Los datos recogidos muestran que, mientras que el sistema desarrollado no influye de manera significativa en las medidas analizadas, la notación sí lo hace de manera significativa en todas ellas, siendo la notación gráfica la que mejores resultados arroja tanto en cuanto a eficiencia como eficacia. Con el fin de generalizar estos resultados, se hace necesario realizar nuevas réplicas con distintos perfiles de sujetos, distintas notaciones y distintos tipos de aplicación.Artículo Soportando el modelado de procesos de negocio con Process Chain NetworkPérez Blanco, Francisco Javier; Vara, Juan Manuel; De Castro, María Valeria; Granada, David; Marcos Martínez, Esperanza. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.En la actualidad, los modelos de negocio se han convertido en un activo fundamental para cualquier tipo de organización. De hecho, son varias las notaciones que gozan de cierto nivel de aceptación para la representación de modelos de negocio. Sin embargo, no existe a día de hoy un entorno que permita gestionar eficazmente modelos de negocio elaborados con diferentes notaciones, debiendo recurrir a diferentes herramientas o incluso en algunos casos, a simples editores de imágenes o diagramadores genéricos. Este último es el caso de Process Chain Network (PCN), una técnica para la representación visual de procesos de negocio, utilizada habitualmente en el área de operaciones de servicio. Por todo ello, en este trabajo se presenta un DSL gráfico que soporta la notación PCN y se integra en un entorno de modelado para el diseño de servicios, con la intención de soportar a medio plazo la gestión integrada de modelos de negocio elaborados con diferentes notaciones.Artículo Ingeniería inversa basada en modelos de código PL/SQL en aplicaciones Oracle FormsFernández Candel, Carlos Javier; Bermúdez Ruiz, Francisco Javier; García Molina, Jesús Joaquín; Hoyos Barceló, Jose Ramon; Sevilla Ruiz, Diego; Cuesta Viera, Benito J.. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.El alto coste de mantenimiento de las aplicaciones legacy promueve en las empresas iniciativas de modernización a nuevas plataformas y tecnologías. La modernización de software, en especial la ingeniería inversa, es uno de los escenarios de aplicación de las técnicas de la In- geniería del Software Dirigida por Modelos (MDE), con el fin de automatizar las tareas manuales y reducir costes. En este trabajo se presenta una solución MDE para la extracción de modelos del código PL/SQL de aplicaciones Oracle Forms. En concreto, se ha implementado un enfoque propuesto en un trabajo previo del grupo Modelum dentro de una colaboración con la empresa Open Canarias en el marco de un proyecto CDTI destinado a la automatización de aplicaciones Oracle Forms a Java. Los principales retos que se han debido afrontar han sido el uso extensivo del metamodelo KDM, la implementación de transformaciones modelo a modelo complicadas y la validación de estas transformaciones que gen- eran modelos grandes y complejos. A lo largo del trabajo se discutirá sobre estas cuestiones.Artículo Un Editor Textual para el Modelado y la Generación de Código de Patrones de EventosBoubeta-Puig, Juan; Ramírez-González, Ramón; Ortiz, Guadalupe. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.El procesamiento de eventos complejos (CEP) es una tecnología que permite analizar y correlacionar grandes cantidades de datos con el propósito de detectar situaciones de interés en tiempo real. Para ello se requiere implementar patrones de eventos, especificando las condiciones que deben cumplirse para detectar dichas situaciones, con los lenguajes de procesamiento de eventos (EPL). A pesar de que los usuarios suelen tener un vasto conocimiento en el dominio para el que se necesitan definir ciertos patrones de eventos, suelen ser inexpertos tanto en EPL como en el lenguaje requerido para implementar las acciones a llevar a cabo tras la detección de los patrones. En este artículo presentamos un editor textual para el modelado y la generación de código de los patrones de eventos que se necesiten detectar en un dominio de aplicación. Gracias a este editor, el usuario solo tendrá que conocer un lenguaje textual para definir patrones de eventos, que podrán ser posteriormente transformados automáticamente al EPL soportado por el motor CEP en cuestión. Este editor complementa a MEdit4CEP, un editor que permite la definición gráfica e intuitiva de patrones sin necesidad de conocer ningún lenguaje de programación en particular.Artículo Una experiencia en la implementación del método AFPFernández Candel, Carlos Javier; Hoyos Barceló, Jose Ramon; García Molina, Jesús Joaquín; Bermúdez Ruiz, Francisco Javier; Cuesta Viera, Benito J.. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.OMG lanzó en 2014 la propuesta Automated Function Point (AFP) para automatizar el conteo de puntos de función de una aplicación legacy en procesos de modernización a partir de modelos KDM. En el contexto de una colaboración entre el grupo Modelum (Universidad de Murcia) y la empresa Open Canarias se ha desarrollado una implementación de AFP que se está evaluando para código Oracle Forms. En este trabajo se describe la experiencia de implementación: motivación, arquitectura y desafíos para completarla.Artículo A Linda-based Platform for the Parallel Execution of Out-place Model TransformationsBurgueño, Lola; Wimmer, Manuel; Vallecillo, Antonio. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.Context: The performance and scalability of model transformations is gaining interest as industry is progressively adopting model-driven techniques and multicore computers are becoming commonplace. However, existing model transformation engines are mostly based on sequential and in-memory execution strategies, and thus their capabilities to transform large models in parallel and distributed environments are limited. Objective: This paper presents a solution that provides concurrency and distribution to model transformations. Method: Inspired by the concepts and principles of the Linda coordination language, and the use of data parallelism to achieve parallelization, a novel Java-based execution platform is introduced. It offers a set of core features for the parallel execution of out-place transformations that can be used as a target for high-level transformation language compilers. Results: Significant gains in performance and scalability of this platform are reported with regard to existing model transformation solutions. These results are demonstrated by running a model transformation test suite, and by its comparison against several state-of-the-art model transformation engines. Conclusion: Our Linda-based approach to the concurrent execution of model transformations can serve as a platform for their scalable and efficient implementation in parallel and distributed environments.Artículo Docencia sobre Desarrollo de Software dirigido por Modelos en títulos de Grado: fortalezas y debilidadesClemente Martín, Pedro José. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.El Desarrollo de Software Dirigido por Modelos (DSDM) es un área de la Ingeniería del software prometedora, la cual permite el desarrollo de software a partir de artefactos conocidos como modelos, los cuales se definen a partir de los conceptos y relaciones de cada dominio. Posteriormente, y mediante transformaciones bien a otros modelos o bien a texto, es capaz de manejar la complejidad de las actuales tecnologías de desarrollo de software (frameworks, patrones de diseño, versiones de una misma tecnología, integración de múltiples tecnologías, etc.). La inclusión de contenidos sobre DSDM en los títulos de Grado y Máster de Ingeniería Informática es en la actualidad una asignatura pendiente en muchas de estas titulaciones. Probablemente la novedad de la materia y la complejidad de diseñar los nuevos títulos dejo a esta disciplina fuera de los mismos. No obstante, existen algunas universidades donde se han incorporado estos conocimientos y habilidades en Grados (por ejemplo, UPV, UCA o UEx), Másteres (por ejemplo, UMA, UPC, UOC, UAM, U. de Murcia, U. de Oviedo o U. de Almera entre otras). Así, durante el diseño del título de Grado en Ingeniería Informática en Ingeniería del Software de la Universidad de Extremadaura se incluyó una asignatura denominada Diseñoo y Modelado de Sistemas Software (DMSS) que aborda los conceptos esenciales sobre DSDM. En este trabajo se comparte la experiencia docente en esta asignatura durante los ultimos años, justificando la inclusión de los contenidos de DSDM y revisando tanto los aspectos positivos como las principales debilidades.Artículo An Approach for Debugging Model Transformations Applying Spectrum-Based Fault LocalizationTroya, Javier; Segura Rueda, Sergio; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.Model transformations play a cornerstone role in Model-Driven Engineering as they provide the essential mechanisms for manipulating and transforming models. The use of assertions for checking their correctness has been proposed in several works. However, it is still challenging and error prone to locate the faulty rules, 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) is a technique for software debugging that 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. This paper describes a proposal for applying SBFL for locating the faulty rules in ATL model transformations. The approach aims at automatically detecting the transformation rule that makes an assertion fail.