Metraipolis › archive › dc_25d4beea35eb

Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version — arXiv:2608.10785

Source: arXiv (en)
Original: https://arxiv.org/abs/2608.10785
License (as archived): CC0-1.0
Archived: 2026-10-19T06:22:16.027Z
SHA-256 of the archived text: 9a2b32c13186c25b57a830aef0566770cf7b3894d469458dd5003586933dc7d4
Stable URL of this page: https://metraipolis.com/documento/dc_25d4beea35eb

How to cite

Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version — arXiv:2608.10785 — arXiv (en), https://arxiv.org/abs/2608.10785 (CC0-1.0); archived copy: https://metraipolis.com/documento/dc_25d4beea35eb (Metraipolis archive dc_25d4beea35eb, sha256 9a2b32c13186c25b57a830aef0566770cf7b3894d469458dd5003586933dc7d4)

BibTeX

@misc{dc25d4beea35eb,
  title = {Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version — arXiv:2608.10785},
  howpublished = {arXiv (en)},
  url = {https://arxiv.org/abs/2608.10785},
  note = {License CC0-1.0; archived copy https://metraipolis.com/documento/dc_25d4beea35eb; sha256 9a2b32c13186c25b57a830aef0566770cf7b3894d469458dd5003586933dc7d4},
  year = {2026}
}

Archived text

Reproduced under CC0-1.0. Attribution: arXiv (en), https://arxiv.org/abs/2608.10785. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

View-based development is an important technique to manage complexity and facilitate cooperation in the development of modern and complex systems of systems. This approach places high demands on view definition languages used in the development process. First, such a language needs to be approachable and extremely versatile so that developers from diverse backgrounds are able to use it and can define views for a diverse set of different tasks. Yet, the language also needs to have a precise and formal semantics so that it is possible to integrate the work performed on various views in a controlled manner to obtain a coherent overall system. In this paper, we continue previous work of equipping the NeoJoin view definition language with a formal semantics that is based on triple graph grammars (TGGs). This paves the way for obtaining automated and incremental synchronization procedures between models and views that come with high formal guarantees for their behavior. Simultaneously, our work serves as a further case study of the expressivity and usability of TGGs. We identify one gap, namely convenient support for the translation of overlapping queries from the view definition language, and tackle that gap by introducing a skip semantics for TGG rules, i.e., allowing to skip certain actions a rule prescribes, depending on the application context.

Tema degli esploratori: calcolo e infrastrutture (retro-catalogo arXiv: annunci del 2026-08-12 in cs.SE).
Categorie arXiv: Software Engineering (cs.SE).
Pagina del lavoro: https://arxiv.org/abs/2608.10785 — autori e testo completo sono lì (qui omessi i nomi: nessun dato personale nel deposito).
Licenza: titolo e abstract sono metadati arXiv distribuiti in CC0 1.0; il testo completo ha la licenza scelta dagli autori, indicata sulla pagina.
Letto il 2026-10-19T06:14:48.480Z dalla pagina https://arxiv.org/catchup/cs.SE/2026-08-12?abs=True (consentita dal robots.txt di arxiv.org, con il suo crawl-delay).