Issue No.04 - April (2012 vol.23)
Yu Huang , Nanjing University, Nanjing
Yiling Yang , Nanjing University, Nanjing
Jiannong Cao , Hong Kong Polytechnic University, Hong Kong
Xiaoxing Ma , Nanjing University, Nanjing
Xianping Tao , Nanjing University, Nanjing
Jian Lu , Nanjing University, Nanjing
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TPDS.2011.176
Runtime detection of contextual properties is one of the primary approaches to enabling context-awareness in pervasive computing scenarios. Among various properties the applications may specify, the concurrency property, i.e., property delineating concurrency among contextual activities, is of great importance. It is because the concurrency property is one of the most frequently specified properties by context-aware applications. Moreover, the concurrency property serves as the basis for specification of many other properties. Existing schemes implicitly assume that context collecting devices share the same notion of time. Thus, the concurrency property can be easily detected. However, this assumption does not necessarily hold in pervasive computing environments, which are characterized by the asynchronous coordination among heterogeneous computing entities. To cope with this challenge, we identify and address three essential issues. First, we introduce logical time to model behavior of the asynchronous pervasive computing environment. Second, we propose the logic for specification of the concurrency property. Third, we propose the Concurrent contextual Activity Detection in Asynchronous environments (CADA) algorithm, which achieves runtime detection of the concurrency property. Performance analysis and experimental evaluation show that CADA effectively detects the concurrency property in asynchronous pervasive computing scenarios.
Concurrency property, context-awareness, asynchronous environment.
Yu Huang, Yiling Yang, Jiannong Cao, Xiaoxing Ma, Xianping Tao, Jian Lu, "Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments", IEEE Transactions on Parallel & Distributed Systems, vol.23, no. 4, pp. 744-750, April 2012, doi:10.1109/TPDS.2011.176