Component Dynamic Behavioral Compatibility Analysis of ScudWare Middleware for Ubiquitous Computing

摘要

In ubiquitous computing environments, the softwarecomponent dynamic behavior and its compatibilityanalysis are two important issues in middleware dynamicadaptation. In this paper, we firstly present an adaptive middlewarearchitecture called ScudWare for a smart vehiclespace. Then a semantic component model is given in detail.Next, for ScudWare middleware, we propose a semanticcomponent dynamic behavior formalization and componentbehavior compatibility verification based on the higher-order? calculus. Next, a case study is given to evaluate our modeland methods. Finally, we draw a conclusion and give ournext work.