Skip to Main content Skip to Navigation
New interface
Conference papers

Instant and Incremental QVT Transformation for Runtime Models

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download
Contributor : Yun Ma Connect in order to contact the contributor
Submitted on : Wednesday, November 30, 2011 - 6:27:20 PM
Last modification on : Tuesday, May 26, 2020 - 9:24:02 AM
Long-term archiving on: : Thursday, March 1, 2012 - 2:35:25 AM


Explicit agreement for this submission


  • HAL Id : hal-00646844, version 1



Hui Song, Gang Huang, Franck Chauvel, Wei Zhang, Yanchun Sun, et al.. Instant and Incremental QVT Transformation for Runtime Models. MODELS 2011, Oct 2011, Wellington, New Zealand. ⟨hal-00646844⟩



Record views


Files downloads