Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-00646844
Contributor : Yun Ma <>
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

File

models11.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00646844, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

364

Files downloads

533