JSW 2010 Vol.5(12): 1417-1424 ISSN: 1796-217X
doi: 10.4304/jsw.5.12.1417-1424
doi: 10.4304/jsw.5.12.1417-1424
Component Dynamic Behavioral Compatibility Analysis of ScudWare Middleware for Ubiquitous Computing
Qing Wu, Chunbo Zhao
Institute of Computer Application Technology
College of Computer Science, Hangzhou Dianzi University
Hangzhou, Zhejiang, China
Abstract—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.
Index Terms—Ubiquitous Computing, Adaptive Middleware, Component Dynamic Behavior.
Abstract—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.
Index Terms—Ubiquitous Computing, Adaptive Middleware, Component Dynamic Behavior.
Cite: Qing Wu, Chunbo Zhao, "Component Dynamic Behavioral Compatibility Analysis of ScudWare Middleware for Ubiquitous Computing," Journal of Software vol. 5, no. 12, pp. 1417-1424, 2010.
General Information
ISSN: 1796-217X (Online)
Frequency: Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKI, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
-
Mar 01, 2024 News!
Vol 19, No 1 has been published with online version [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Apr 01, 2024 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Apr 01, 2024 News!
Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
-
Nov 02, 2023 News!
Vol 18, No 4 has been published with online version [Click]