Instant and Incremental QVT Transformation for Runtime Models

Abstract

Abstract. As a dynamic representation of the running system, a runtime model provides a model-based interface to monitor and control the system. A key issue for runtime models is to maintain their causal connections with the running system. That means when the systems change, the models should change accordingly, and vice versa. However, for the abstract runtime models that are heterogeneous to their target systems, it is challenging to maintain such causal connections. This paper presents a model-transformation-based approach to maintaining causal connections for abstract runtime models. We define a new instant and incremental transformation semantics for the QVT-Relational language, according to the requirements of runtime models, and develop the transformation algorithm following this semantics. We implement this approach on the mediniQVT transformation engine, and apply it to provide the runtime model for an intelligent office system named SmartLab.

From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case

“…If the two models are related by a transformation, horizontal deltas can be inferred from it -this architecture is used in SyncATL [17]. Hybrid interfaces (state-based for one dimension and delta-based for the other) are also possible, e.g., two incremental synchronization tools, based on TGG [9] and QVT [14], take vertical deltas as input and store horizontal deltas internally. An additional advantage of separating delta discovery from propagation is that the user may control the result of differencing and correct it if needed.…”

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled Transformations

“…We have works on synchronizing artifacts in software engineering, mostly influenced by original works on multi-view consistency [11,13] using a generic representation of modifications and relying on users to write code to handle each type of modification in each type of view. This idea influenced later efforts on model synchronization frameworks in general [19,20] and in particular bi-directional model transformations [33,37]. Other approaches use so-called correspondence rules for synchronizing models in the contexts of RM-ODP and MDWE [3,10,32].…”

Model Driven Configuration of Fault Tolerance Solutions for Component-Based Software System

“…And then, encapsulate the operations which are used to add (remove) a component or a connection between two components. Thirdly, we use QVT to realize model comparison [11], which is used to compare the original RSA with FTSA. And the comparison result will guide the modification of the target system.…”