This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments
April 2012 (vol. 23 no. 4)
pp. 744-750
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
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.

[1] D. Garlan, D. Siewiorek, A. Smailagic, and P. Steenkiste, "Project Aura: Toward Distraction-Free Pervasive Computing," IEEE Pervasive Computing, vol. 1, no. 2, pp. 22-31, Apr.-June 2002.
[2] A. Dey, "Providing Architectural Support for Building Context-Aware Applications," PhD thesis, Georgia Inst. of Tech nology, Nov. 2000.
[3] C. Xu and S.C. Cheung, "Inconsistency Detection and Resolution for Context-Aware Middleware Support," Proc. ACM SIGSOFT Int'l Symp. Foundations of Software Eng. (FSE '05), pp. 336-345, Sept. 2005.
[4] C. Xu, S.C. Cheung, W.K. Chan, and C. Ye, "Partial Constraint Checking for Context Consistency in Pervasive Computing," ACM Trans. Software Eng. and Methodology, vol. 19, no. 3, pp. 1-61, 2010.
[5] Y. Huang, X. Ma, X. Tao, J. Cao, and J. Lu, "A Probabilistic Approach to Consistency Checking for Pervasive Context," Proc. IEEE/IFIP Int'l Conf. Embedded and Ubiquitous Computing (EUC '08), pp. 387-393, Dec. 2008.
[6] S.R. Jeffery, M. Garofalakis, and M.J. Franklin, "Adaptive Cleaning for Rfid Data Streams," Proc. Int'l Conf. Very Large Data Bases (VLDB '06), pp. 163-174, Sept. 2006.
[7] A. Ranganathan, R.H. Campbell, A. Ravi, and A. Mahajan, "Conchat: A Context-Aware Chat Program," IEEE Pervasive Computing, vol. 1, no. 3, pp. 51-57, http://dx.doi.org/10.1109MPRV.2002.1037722 , July 2002.
[8] Y. Huang, J. Cao, B. Jin, X. Tao, J. Lu, and Y. Feng, "Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks," IEEE Trans. Parallel and Distributed Systems, vol. 21, no. 8, pp. 1150-1161, Aug. 2010.
[9] E.A. Lee, "Cyber-Physical Systems—Are Computing Foundations Adequate?," Proc. US Nat'l Science Foundation (NSF) Workshop Cyber-Physical Systems: Research Motivation, Techniques and Roadmap, Position Paper, 2006.
[10] M. Sama, D.S. Rosenblum, Z. Wang, and S. Elbaum, "Model-Based Fault Detection in Context-Aware Adaptive Applications," Proc. 16th ACM SIGSOFT Int'l Symp. Foundations of Software Eng. (SIGSOFT '08/FSE-16). pp. 261-271, 2008.
[11] Y. Huang, X. Ma, J. Cao, X. Tao, and J. Lu, "Concurrent Event Detection for Asynchronous Consistency Checking of Pervasive Context," Proc. IEEE Int'l Conf. Pervasive Computing and Comm. (PERCOM '09), Mar. 2009.
[12] L. Kaveti, S. Pulluri, and G. Singh, "Event Ordering in Pervasive Sensor Networks," Proc. IEEE Int'l Conf. Pervasive Computing and Comm. Workshops (PERCOMW '09), pp. 604-609, Mar. 2009.
[13] Y. Huang, J. Yu, J. Cao, and X. Tao, "Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing Environments," Proc. Int'l Conf. Parallel and Distributed Systems (ICPADS '10), Dec. 2010.
[14] T. Hua, Y. Huang, J. Cao, and X. Tao, "A Lattice-Theoretic Approach to Runtime Property Detection for Pervasive Context," Proc. Int'l Conf. Ubiquitous Intelligence and Computing (UIC '10), pp. 307-321, Oct. 2010.
[15] J. Yu, Y. Huang, J. Cao, and X. Tao, "Middleware Support for Context-Awareness in Asynchronous Pervasive Computing Environments," Proc. Int'l Conf. Embedded and Ubiquitous Computing (EUC '10), Dec. 2010.
[16] L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Comm. ACM, vol. 21, no. 7, pp. 558-565, 1978.
[17] F. Mattern, "Virtual Time and Global States of Distributed Systems," Proc. Int'l Workshop Parallel and Distributed Algorithms, pp. 215-226, 1989.
[18] O. Babaoğlu and K. Marzullo, "Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms," Distributed Systems, second ed., Chapter 4, pp. 55-96, ACM Press, 1993.
[19] R. Schwarz and F. Mattern, "Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail," J. Distributed Computing , vol. 7, no. 3, pp. 149-174, 1994.
[20] "MIPA—Middleware Infrastructure for Predicate Detection in Asynchronous Environments," http:/mipa.googlecode.com, 2011.
[21] V. Garg and B. Waldecker, "Detection of Weak Unstable Predicates in Distributed Programs," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 3, pp. 299-307, Mar. 1994.
[22] V.K. Garg and B. Waldecker, "Detection of Strong Unstable Predicates in Distributed Programs," IEEE Trans. Parallel and Distributed Systems, vol. 7, no. 12, pp. 1323-1333, Dec. 1996.
[23] P. Chandra and A.D. Kshemkalyani, "Causality-Based Predicate Detection across Space and Time," IEEE Trans. Computers, vol. 54, no. 11, pp. 1438-1453, Nov. 2005.

Index Terms:
Concurrency property, context-awareness, asynchronous environment.
Citation:
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 and Distributed Systems, vol. 23, no. 4, pp. 744-750, April 2012, doi:10.1109/TPDS.2011.176
Usage of this product signifies your acceptance of the Terms of Use.