DESP-COM model based on context-aware in pervasive computing

Up to now, existing context-aware researches mostly concentrate on technique solution, rarely on theoretical modeling. As a complex environment that almost all the elements of environment will cooperate with each other and the fact that original practitioners are not always appropriate or even available, Pervasive Computing need to create models before actual construction, to avoid the risk and what's more, to manage the codes even reuse codes. In such a state, this paper presents a context-aware model named DESP-COM for context-aware computing in order to further the Pervasive computing research. For 2 points of context-aware, description and communication, 2 modeling approaches, CDM and CCM, are proposed here. User forage transaction is an example to prove the efficiency of CDM, while a tool named FDR2 is used here to prove the correctness of CCM.