DOI: 10.5176/978-981-08-7656-2 A-38
Authors: Qing Wu, Hong Zeng, and Chunbo Zhao
Abstract: With increasing application requirements of pervasive computing, the software component dynamic behavior and its compatibility analysis are two important issues in middleware dynamic adaptation. In this article, we firstly present an adaptive middleware architecture called ScudWare for a smart vehicle space. Then a semantic component model of this middleware 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. After that, a case study is given to evaluate our model and methods. Finally, we draw a conclusion and give
our next work.
Keywords: Pervasive Computing; Adaptive Middleware; Component Dynamic Behavior
