Model-driven Development

URI permanente para esta colección:

Artículos en la categoría Model-driven Development publicados en las Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019).
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 2 de 2
  • Artículo
    Formalización de una arquitectura de computación móvil basada en Linda
    Pérez Vereda, Alejandro; Canal, Carlos; Pimentel Sánchez, Ernesto. Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019), 2019-09-02.
    Gracias a los avances y el desarrollo que está experimentando el campo de la Internet de las Cosas (Internet of Things, IoT), cada día hay más dispositivos a los que se llama inteligentes. Estos dispositivos disponen de sensores y además están dotados de conexión ya sea a la red o mediante alguna otra tecnología. Sin embargo, estos dispositivos, a pesar de lo que indique su nombre, precisan de una configuración e interacción con ellos completamente manual y específica. Lo ideal sería aprovechar esos sensores e "inteligencia" para adaptar su comportamiento automáticamente a las necesidades de los usuarios. En este ámbito, proponemos el diseño de una arquitectura de computación móvil "People as a Service", que confiere a los dispositivos móviles (como los smartphones o teléfonos móviles) la capacidad de inferir y compartir un perfil virtual del usuario. Más allá, hemos establecido un método de interacción programática para que el dispositivo móvil, ahora con la información e inteligencia necesarias, ejerza de interfaz con estos dispositivos de IoT configurándolos de forma automática y dinámica. En este trabajo proponemos una primera aproximación para formalizar estas interacciones dinámicas mediante un enfoque basado en espacios de tuplas distribuidos y compartidos, basado en Linda.
  • Artículo
    Incremental Concurrent Synchronization with Conflict Resolution
    Pino, Elvira; Navarro, Marisa; Orejas, Fernando. Actas de las XIX Jornadas de Programación y Lenguajes (PROLE 2019), 2019-09-02.
    In the context of software model-driven development, artifacts are specified by several models describing different aspects, e.g., different views, dynamic behaviour, structure, etc. Then, a given set of models is emph{consistently integrated} if they describe some artifact. Along the process of designing and implementing an artifact, and also after the artifact is implemented, it may be common to modify or update some aspects of a given model, or of several models. These changes may cause an inconsistency between the given set of models. To restore consistency, we have to emph{propagate} the given modifications to the rest of the models. This process is called emph{model synchronization}. If each time we propagate the updates on just one model, synchronization is emph{sequential}, but if we propagate simultaneously updates on two models, synchronization is called emph{concurrent}. The sequential case is quite simpler than the concurrent one, since in the latter case we may have to deal with conflicts between the modifications applied to different models, implying that we may need to backtrack some updates. For simplicity, we assume that the set of models describing an artifact consists just of two models. Then, following the ideas of a previous paper on sequential synchronization, in the current paper, we propose an incremental procedure for the concurrent case, meaning that our procedure does not build the resulting models from scratch, but it only modifies the parts of the models affected by the update.