Component Dynamic Behavioral Compatibility Analysis of ScudWare Middleware for Ubiquitous Computing

In ubiquitous computing environments, the software component dynamic behavior and its compatibility analysis are two important issues in middleware dynamic adaptation. In this paper, we firstly present an adaptive middleware architecture called ScudWare for a smart vehicle space. Then a semantic component model is given in detail. Next, for ScudWare middleware, we propose a semantic component dynamic behavior formalization and component behavior compatibility verification based on the higher-order calculus. Next, a case study is given to evaluate our model and methods. Finally, we draw a conclusion and give our next work.