Exploració per tema "Model synchronization"

Ara es mostren els items 1-3 de 3

    • Correctness of incremental model synchronization with triple graph grammars 

      Orejas Valdés, Fernando; Pino Blanco, Elvira (Springer, 2014)
      Text en actes de congrés
      Accés obert
      In model-driven software development, we may have several models describing the same system or artifact, by providing different views on it. In this case, we say that these models are consistently integrated. Triple Graph ...

    • Incremental concurrent model synchronization using triple graph grammars 

      Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro Gómez, Marisa (Springer, 2020)
      Text en actes de congrés
      Accés obert
      In the context of software model-driven development, artifacts are specified by several models describing different aspects, e.g., different views, dynamic behavior, structure, distributed information, etc. Then, maintaining ...

    • Model synchronization based on triple graph grammars: correctness, completeness and invertibility 

      Hermann, Frank; Ehrig, Hartmut; Orejas Valdés, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei; Gottmann, Susann; Engel, Thomas (2015-02-01)
      Article
      Accés obert
      Triple graph grammars (TGGs) have been used successfully to analyze correctness and completeness of bidirectional model transformations, but a corresponding formal approach to model synchronization has been missing. This ...