Desarrollo de Software Dirigido por Modelos
URI permanente para esta colección:
Artículos en la categoría Desarrollo de Software Dirigido por Modelos publicados en las Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015).
Notificar un error en esta colección
Examinar
Envíos recientes
Artículo PyEmofUC: Un entorno MDE/EMOF minimalistaDrake, José María; Cuevas, César; Fernández Castañera, Juan R.; López Martínez, Patricia. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.Se presenta el entorno PyEmofUC para la creación, procesado, transformación y visualización de información en base al paradigma de ingeniería dirigida por modelos (MDE). Los meta-modelos se formulan de acuerdo con la especificación EMOF de la organización OMG y se implementan utilizando el lenguaje de programación Python. El entorno es multiplataforma, abierto y minimalista. Además del espacio tecnológico de modelado nativo, basado en Python y EMOF, el entorno da soporte al espacio tecnológico basado en lenguajes específicos como medio de facilitar la interacción con los expertos de dominio, y al espacio tecnológico de serialización para el almacenamiento persistente de los modelos y para la inter-operación con otros entornos. Por último, PyEmofUC permite formular transformaciones de modelos utilizando estilos imperativo, declarativo e híbrido.Artículo Mediación semántica A* basada en MDE para la generación de arquitecturas en tiempo de ejecuciónCriado, Javier; Iribarne, Luis; Padilla, Nicolás. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.Existen aplicaciones software que necesitan ser adaptadas en tiempo de ejecución debido a que los componentes que conforman su arquitectura no representan la configuración óptima. En estos casos, las arquitecturas deben ser reconfiguradas, por ejemplo, a˜nadiendo y eliminando componentes, o modificando las relaciones entre ellos. Este artículo presenta una propuesta para la generación de arquitecturas en tiempo de ejecución. Está enfocado en la descripción del proceso que ocurre desde que existe una definición de arquitectura que hay que resolver, hasta que se genera la mejor configuración que da solución a dicha arquitectura. Para construir dicha configuración, se utilizan técnicas de modelado, mecanismos de trading y un algoritmo de búsqueda A*. Dicho algoritmo hace uso de una heurística basada en la información sintáctica y semántica de los componentes. Como dominio de aplicación, se muestra un caso estudio para la generación de interfaces de usuario.Artículo Analysis of the Scientific Production of the Spanish Software Engineering CommunityBurgueño, Lola; Moreno-Delgado, Antonio; Vallecillo, Antonio. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.Our group has been working on a report for the SpanishúSociety of Software Engineering and Software Development Technologies (SISTEDES) to provide a general overview of the Spanish scientificúproduction and its contributions worldwide in the field of Software Engineering. Although a Database solution could have been used, we decidedúto employ Model-Driven Development (MDD) techniques in order toúevaluate their applicability, suitability and fitness for these kinds of purposes, and to learn from the experience in this domain, which combinesúdata integration, large scale models, and complex queries.Artículo Achieving software-assisted knowledge generation through model-driven interoperabilityMartín-Rodilla, Patricia; Giachetti, Giovanni; Gonzalez-Perez, Cesar. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.A software system is a complex artefact involving several aspects, such as requirements and behavioural workflows. Information systems engineering has generated several approaches to create software models reflecting these aspects. To obtain the necessary integration, the relations between the involved models must be expressed formally. Currently, this necessity is particularly evident in systems built to assist users in performing knowledge generation, such as scientific knowledge-management systems. Model-Driven Engineering provides some interoperability techniques for expressing inter-model relations. In this paper, a specific metamodel is proposed for integrating different modelling perspectives of software systems built for assisting users in knowledge generation. Furthermore, the integration metamodel is initially validated through its application to the integration of modelling perspectives of a system to assist knowledge generation in the cultural heritage domain. The integration metamodel proposed allows the system to make knowledge generation decisions by manipulating the relations between the involved models on behalf of the user.Artículo Lenguaje específico del dominio para generación de aplicaciones de procesos administrativosGarcía Domínguez, Antonio; Jerez Ibañez, Ismael; Medina Bulo, María Inmaculada. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.Muchas organizaciones reimplementan una y otra vez el mismo tipo de proceso de negocio «administrativo», en el que un formulario es manipulado por múltiples roles a lo largo de varios estados. Esta reimplementación hace perder un tiempo que se podría haber usado en entender mejor el proceso o cubrir los detalles que sí son específicos del proceso. Por otro lado, las soluciones existentes basadas en motores de procesos de negocio requieren formación e infraestructura específicas y pueden encerrar al usuario en una tecnología concreta. En este trabajo se propone usar un lenguaje de alto nivel para describir el proceso administrativo y producir a partir de él un sitio web en un marco estándar de desarrollo web que sea fácil de mantener por los técnicos de la organización. Se ha implementado el enfoque mediante tecnologías de código abierto, y se ilustra a través de un caso de estudio.Artículo SociAALML: Lenguaje de Modelado para Escenarios de Inteligencia AmbientalCampillo-Sanchez, Pablo; Gómez-Sanz, Jorge J.; Pavón, Juan. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.El estudio y desarrollo de sistemas de inteligencia ambiental puede llegar a ser complejo y costoso, especialmente en fases avanzadas que se ejecutan en laboratorios vivientes (living labs). En la última década, los avances en tecnologías 3D permiten plantear entornos virtuales donde se puedan desplegar dispositivos y usuarios. Así se podría reducir costes y potenciar la investigación de este tipo de sistemas. En este trabajo se presenta SociAALML, un lenguaje específico de dominio para modelar escenarios de la vida cotidiana en el hogar, incluyendo el modelado de personas con Parkinson. Usando modelos creados con este lenguaje, se generan simuladores 3D que incluyen usuarios simulados, el propio entorno y los dispositivos que componen el sistema de inteligencia ambiental.Artículo CEViNEdit: mejorando el proceso de creación de editores gráficos cognitivamente eficaces con GMFGranada, David; Moreno, Ángel; Vara, Juan Manuel; Bollati, Verónica A.; Marcos Martínez, Esperanza. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.Durante los últimos años, el auge de los Lenguajes Específicos de Dominio (visuales) y la complejidad inherente del desarrollo de editores gráficos para estos lenguajes, ha provocado la aparición de propuestas que proporcionan soporte técnico para esta tarea. La mayoría de estas propuestas utilizan como base EMF y GMF, que en efecto ayudan a simplificar y aumentar el nivel de automatización del proceso de desarrollo. Sin embargo, el desarrollo de herramientas sobre EMF y GMF no está exento de problemas, en su mayoría relacionados con la curva de aprendizaje de estas tecnologías, la escasa documentación o la complejidad que implica proporcionar todas las posibilidades de personalización al usuario. Con el fin de aliviar la complejidad intrínseca del enfoque EMF/GMF para el desarrollo de editores gráficos, en este trabajo presentamos CEViNEdit, una herramienta intuitiva que soporta la generación semi-automática de editores gráficos y, al mismo tiempo, la evaluación de la eficacia cognitiva de la notación visual que implementa el editor.Artículo Automatización para la edición de modelos basada en vistas de dominioCuevas, César; López Martínez, Patricia; Drake, José María. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.Este trabajo aborda la generación automática de recursos para la edición asistida de modelos de un dominio en base a vistas especializadas de su meta-modelo. La tarea de un diseñador que construye modelos conformes a un meta-modelo de dominio complejo se ve facilitada si el editor le requiere la información según una vista del meta-modelo acorde a su conceptualización o a la estrategia específica de creación que utiliza. Se presenta el meta-modelo con el que el experto de dominio formula la estrategia de creación de modelos que quiere utilizar, la herramienta que a partir de esta información sobre la estrategia genera el meta-modelo que dirige la introducción de datos y la transformación M2M que genera el modelo final que es conforme al meta-modelo de dominio de partida y que contiene los nuevos datos introducidos.Artículo Aplicando DSDM al Diseño, Implementación y Verificación de Software para Drones: Una Primera AproximaciónMoguel, Enrique; Vicente-Chicote, Cristina; Hernández Núñez, Juan María; Preciado, Juan Carlos; Sánchez-Figueroa, Fernando. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.Hasta hace poco, el uso de sistemas de vuelo no tripulados (Unmanned Aerial Vehicles, UAV), también conocidos como drones, estaba limitado al campo militar. Sin embargo, en la actualidad, su uso en el ámbito civil y de la investigación prolifera con rapidez. En este artículo se presenta una primera aproximación al diseño de alto nivel tanto de la infraestructura (diseño físico) como de las misiones (diseño lógico) de los UAV utilizando un enfoque dirigido por modelos. El objetivo de este trabajo es ofrecer a los diseñadores un conjunto de herramientas que faciliten el diseño, la documentación y la implementación, así como la verificación temprana y formal de las restricciones físicas, lógicas y legales que deben guiar la construcción de estos sistemas.Artículo Model-Driven NoSQL Data EngineeringSevilla Ruiz, Diego; Morales, Severino Feliciano; García Molina, Jesús Joaquín. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.While the concept of database schema plays a central role in relational database systems, most NoSQL systems do not require having to formally define an schema. Instead, it is implicit in the stored data. This lack of schema definition offers a greater flexibility. More specifically, schemaless databases ease both the recording of non-uniform data and data evolution. However, this comes at the cost of losing some of the benefits provided by schemas, for instance, static checking that assure that stored data conforms to the database schema. We have started a research work aimed at inferring schemas from NoSQL databases, with the purpose of building database utilities able of automating tasks such as data validation, schema visualization, and data migration. This work has evidenced the benefits of using MDE techniques within the new “NoSQL Data Engineering” field.Artículo Arquitectura basada en modelos para la generación de especificaciones textuales de requisitos a partir de procesos de negocio definidos mediante BPMNCruz, José Manuel; Moros Valle, Begoña; Toval, Ambrosio. Actas de las XX Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2015), 2015-09-15.En la ingeniería del software, la gestión de procesos de negocio (BPM) se suele aplicar para modelar y optimizar los procesos de negocio de un sistema. Junto con la Ingeniería de Requisitos (IR), constituye una base sobre la que especificar un sistema software. Sin embargo, a menudo existe una falta de alineación entre ambas especificaciones que repercute negativamente en el sistema. Este artículo presenta una arquitectura basada en modelos para la generación de especificaciones textuales de requisitos a partir de procesos de negocio representados mediante BPMN y su aplicación a un caso de estudio. El objetivo es agilizar y mejorar la etapa de análisis de un sistema software, generando un subconjunto de los requisitos del sistema para facilitar la escritura de una especificación completa y sincronizada con los procesos de negocio.