Autor:
Orejas, Fernando

Foto de perfil

E-mails conocidos

orejas@lsi.upc.edu
orejas@cs.upc.edu

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Orejas

Nombre de pila

Fernando

Nombre

Nombres alternativos

Afiliaciones conocidas

Universitat Politècnica de Catalunya, Spain
UPC, Spain

Páginas web conocidas

http://www.lsi.upc.es/~orejas/
Página completa del ítem
Notificar un error en este autor

Filtros

2016 - 20192
Restablecer filtros

Ajustes

Autor: Navarro, Marisa ×

Resultados de la búsqueda

Mostrando 1 - 2 de 2
  • Miniatura
    Artículo
    A Logic of Graph Conditions Extended with Paths
    Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen. Actas de las XVI Jornadas de Programación y Lenguajes (PROLE 2016), 2016-09-02.
    In this paper we tackle the problem of extending the logic of nested graph conditions with paths. This means, for instance, that we may state properties about the existence of paths between some given nodes. As a main contribution, a sound and complete tableau method is defined for reasoning about this kind of properties.
  • Miniatura
    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.