Problem
Research questions and friction points this paper is trying to address.
view definition
formal semantics
triple graph grammars
overlapping queries
model synchronization
Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version
🤖 AI Summary
Existing view definition languages struggle to balance expressive flexibility with formal semantics, resulting in a lack of precise and controllable model synchronization mechanisms in multi-view collaborative development. This work endows the NeoJoin view definition language with formal semantics grounded in Triple Graph Grammars (TGGs), proposing an automated, incremental model-view synchronization approach. It further introduces a novel skip semantics to handle overlapping queries in view definitions. By doing so, the study not only extends the expressiveness of TGGs for complex view modeling but also realizes a synchronization process with strong formal guarantees. The approach is empirically validated, demonstrating its practical applicability and effectiveness in real-world engineering scenarios.
📝 Abstract
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.
Innovation
Methods, ideas, or system contributions that make the work stand out.
Triple Graph Grammars
View Definition Language
Formal Semantics
Skip Semantics
Incremental Synchronization
🔎 Similar Papers
No similar papers found.
