将三元图文法扩展以形式化模型族上的复杂视图定义——长版本
Extending Triple Graph Grammars to Formalize Complex View Definitions on Families of Models - Long Version
中文总结 AI 辅助
本文扩展三元图文法（TGGs），为NeoJoin视图定义语言补充形式化语义，解决其重叠查询转换支持不足的问题，以实现模型与视图间带形式化保证的自动增量同步。
中文摘要 AI 辅助
基于视图的开发是管理现代复杂系统之系统的复杂性、促进协作的重要技术，该方法对开发过程中使用的视图定义语言提出了高要求：其一，此类语言需易于使用且通用性极强，以便不同背景的开发者都能运用它，为各类不同任务定义视图；其二，该语言还需具备精确且形式化的语义，从而能以可控方式整合各视图上的工作，获得连贯的整体系统。本文延续此前为NeoJoin视图定义语言配备基于三元图文法（TGGs）的形式化语义的工作，这为实现模型与视图间自动且增量的同步流程铺平了道路，该流程对其行为提供了高度形式化保证。同时，本文的工作也作为TGGs表达力与可用性的进一步案例研究。我们发现了一个缺口，即视图定义语言中重叠查询转换的便捷支持，并通过为TGG规则引入弃权（不执行）语义来解决该缺口，即允许根据应用场景跳过规则规定的某些操作。
英文摘要
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.
