Component Dynamic Behavioral Compatibility Analysis of ScudWare Middleware for Ubiquitous Computing
Qing Wu, Chunbo Zhao · Journal of Software · 2010
Abstract — In ubiquitous computing environments, the soft-ware component dynamic behavior and its compatibility analysis are two important issues in middleware dynamic adaptation. In this paper, we firstly present an adaptive mid-dleware 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 pi calculus. Next, a case study is given to evaluate our model and methods. Finally, we draw a conclusion and give our next work.