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.
Type de document :
Communication dans un congrès
MODELS 2011, Oct 2011, Wellington, New Zealand. 2011
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00646844
Contributeur : Yun Ma <>
Soumis le : mercredi 30 novembre 2011 - 18:27:20
Dernière modification le : lundi 21 mars 2016 - 17:44:06
Document(s) archivé(s) le : jeudi 1 mars 2012 - 02:35:25

Fichier

models11.pdf
Accord explicite pour ce dépôt

Identifiants

  • 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. 2011. 〈hal-00646844〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

241