Instant and Incremental QVT Transformation for Runtime Models

Hui Song (1) , Gang Huang (1) , Franck Chauvel (1) , Wei Zhang (1) , Yanchun Sun (1) , Weizhong Shao (1) , Hong Mei (1)

1 Software Engineering Institute [Peking]

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.

Domaines: Modélisation et simulation

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⟩