A Model-Based Framework for Statically and Dynamically Checking Component Interactions
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Autonomic Management Policy Specification: From UML to DSML
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Utilizing architectural styles to enhance the adaptation support of middleware platforms
Information and Software Technology
Hi-index | 0.00 |
Dynamic software adaptation can cause the running system to be out-of-synchronous with its model, and, thus, make the system model obsolete for the use in consistency checking. In this paper, we propose a framework for ensuring the synchronization between the model and the runtime system during dynamic adaptation. I.e., this framework maintains the high-level model of the runtime system, which is essential for system validation. We are also plugging several model validation tools to the framework, for performing system validation during dynamic adaptation.