The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - Aug. (2013 vol.24)
pp: 1546-1555
Yiling Yang , Nanjing University, Nanjing
Yu Huang , Nanjing University, Nanjing
Jiannong Cao , The Hong Kong Polytechnic University, Hong Kong
Xiaoxing Ma , Nanjing University, Nanjing
Jian Lu , Nanjing University, Nanjing
ABSTRACT
Formal specification and runtime detection of contextual properties is one of the primary approaches to enabling context awareness in pervasive computing environments. Due to the intrinsic dynamism of the pervasive computing environment, dynamic properties, which delineate concerns of context-aware applications on the temporal evolution of the environment state, are of great importance. However, detection of dynamic properties is challenging, mainly due to the intrinsic asynchrony among computing entities in the pervasive computing environment. Moreover, the detection must be conducted at runtime in pervasive computing scenarios, which makes existing schemes do not work. To address these challenges, we propose the property detection for asynchronous context (PDAC) framework, which consists of three essential parts: 1) Logical time is employed to model the temporal evolution of environment state as a lattice. The active surface of the lattice is introduced as the key notion to model the runtime evolution of the environment state; 2) Specification of dynamic properties is viewed as a formal language defined over the trace of environment state evolution; and 3) The SurfMaint algorithm is proposed to achieve runtime maintenance of the active surface of the lattice, which further enables runtime detection of dynamic properties. A case study is conducted to demonstrate how the PDAC framework enables context awareness in asynchronous pervasive computing scenarios. The SurfMaint algorithm is implemented and evaluated over MIPA--the open-source context-aware middleware we developed. Performance measurements show the accuracy and cost-effectiveness of SurfMaint, even when faced with dynamic changes in the asynchronous pervasive computing environment.
INDEX TERMS
Lattices, Runtime, Labeling, Pervasive computing, Context, Heuristic algorithms, Formal languages, predicate detection, Lattices, Runtime, Labeling, Pervasive computing, Context, Heuristic algorithms, Formal languages, lattice, Dynamic property, context awareness, asynchrony
CITATION
Yiling Yang, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu, "Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments", IEEE Transactions on Parallel & Distributed Systems, vol.24, no. 8, pp. 1546-1555, Aug. 2013, doi:10.1109/TPDS.2012.259
REFERENCES
[1] MIPA - Middleware Infrastructure for Predicate Detection in Asynchronous Environments, http:/mipa.googlecode.com, 2013.
[2] O. Babaoğlu, E. Fromentin, and M. Raynal, "A Unified Framework for the Specification and Run-Time Detection of Dynamic Properties in Distributed Computations," J. Systems and Software, vol. 33, no. 3, pp. 287-298, 1996.
[3] O. Babaoğlu and K. Marzullo, Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms. ACM Press/Addison-Wesley Publishing Co., 1993.
[4] O. Babaoğlu and M. Raynal, "Specification and Verification of Dynamic Properties in Distributed Computations," J. Parallel Distributed Computing, vol. 28, no. 2, pp. 173-185, 1995.
[5] A. Bauer, M. Leucker, and C. Schallhart, "Runtime Verification for Ltl and Tltl," ACM Trans. Software Eng. and Methodology, vol. 20, pp. 14:1-14:64, Sept. 2011.
[6] K.M. Chandy and L. Lamport, "Distributed Snapshots: Determining Global States of Distributed Systems," ACM Trans. Computer Systems, vol. 3, pp. 63-75, Feb. 1985.
[7] R. Cooper and K. Marzullo, "Consistent Detection of Global Predicates," Proc. ACM/ONR Workshop Parallel and Distributed Debugging, pp. 167-174, 1991.
[8] A. Dey, "Providing Architectural Support for Building Context-Aware Applications," PhD Thesis, Georgia Inst. of Tech nology, Nov. 2000.
[9] G. Dumais and H. Li, "Distributed Predicate Detection in Series-Parallel Systems," IEEE Trans. Parallel and Distributed Systems, vol. 13, no. 4, pp. 373-387, Apr. 2002.
[10] C.J. Fidge, "Partial Orders for Parallel Debugging," Proc. ACM SIGPLAN and SIGOPS Workshop Parallel and Distributed Debugging, pp. 183-194, May 1988.
[11] E. Fromentin, M. Raynal, V.K. Garg, and A. Tomlinson, "On the Fly Testing of Regular Patterns in Distributed Computations," Int'l Conf. Parallel Processing, vol. 2, pp. 73-76, 1994.
[12] V. Garg and B. Waldecker, "Detection of Weak Unstable Paredicates in Distributed Programs," IEEE Trans. Parallel and Distributed Systems, vol. 5, no. 3, pp. 299-307, Mar. 1994.
[13] 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.
[14] 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.
[15] K. Henricksen and J. Indulska, "Developing Context-Aware Pervasive Computing Applications: Models and Approach," Pervasive and Mobile Computing, vol. 2, no. 1, pp. 37-64, 2006.
[16] J.E. Hopcroft, R. Motwani, and J.D. Ullman, Introduction to Automata Theory, Languages and Computation, second ed. Addison-Wesley, 2000.
[17] 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, pp. 307-321, 2010.
[18] 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.
[19] Y. Huang, X. Ma, X. Tao, J. Cao, and J. Lu, "A Probabilistic Approach to Consistency Checking for Pervasive Context," Proc. IEEE/IFIP Intl. Conf. Embedded and Ubiquitous Computing, pp. 387-393, Dec. 2008.
[20] Y. Huang, Y. Yang, J. Cao, X. Ma, X. Tao, and J. Lu, "Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments," IEEE Trans. Parallel and Distributed Systems, vol. 23, no. 4, pp. 744-750, Apr. 2012.
[21] 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, pp. 75-82, 2010.
[22] C. Jard, G.-V. Jourdan, T. Jeron, and J.-X. Rampon, "A General Approach to Trace-Checking in Distributed Computing Systems," Proc. Int'l Conf. Distributed Computing Systems, pp. 396-403, June 1994.
[23] 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.
[24] L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Comm. ACM, vol. 21, no. 7, pp. 558-565, 1978.
[25] H. Lu, W.K. Chan, and T.H. Tse, "Testing Context-Aware Middleware-Centric Programs: A Data Flow Approach and an RFID-Based Experimentation," Proc. ACM SIGSOFT Int'l Symp. Foundations of Software Eng. (FSE '06), pp. 242-252, 2006.
[26] J. Lu, X. Ma, X. Tao, C. Cao, Y. Huang, and P. Yu, "On Environment-Driven Software Model for Internetware," Science in China Series F: Information Sciences, vol. 51, no. 6, pp. 683-721, 2008.
[27] A. Majumder, R. Rastogi, and S. Vanama, "Scalable Regular Expression Matching on Data Streams," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 161-172, 2008.
[28] F. Mattern, "Virtual Time and Global States of Distributed Systems," Proc. Int'l Workshop Parallel and Distributed Algorithms, pp. 215-226, 1989.
[29] N. Mittal, A. Sen, and V. Garg, "Solving Computation Slicing Using Predicate Detection," IEEE Trans. Parallel and Distributed Systems, vol. 18, no. 12, pp. 1700-1713, Dec. 2007.
[30] A. Ranganathan and R.H. Campbell, "An Infrastructure for Context-Awareness Based on First Order Logic," Personal Ubiquitous Computing, vol. 7, no. 6, pp. 353-364, 2003.
[31] M. Roman, C. Hess, R. Cerqueira, A. Ranganathan, R.H. Campbell, and K. Nahrstedt, "A Middleware Infrastructure for Active Spaces," IEEE Pervasive Computing, vol. 1, no. 4, pp. 74-83, Oct.-Dec. 2002.
[32] M. Sama, S. Elbaum, F. Raimondi, D.S. Rosenblum, and Z. Wang, "Context-Aware Adaptive Applications: Fault Patterns and Their Automated Identification," IEEE Trans. Software Eng., vol. 36, no. 5, pp. 644-661, Sept./Oct. 2010.
[33] R. Schwarz and F. Mattern, "Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail," Distributed Computing, vol. 7, no. 3, pp. 149-174, 1994.
[34] A. Sen and V. Garg, "Formal Verification of Simulation Traces Using Computation Slicing," IEEE Trans. Computers, vol. 56, no. 4 pp. 511-527, Apr. 2007.
[35] K. Sen and G. Roşu, "Generating Optimal Monitors for Extended Regular Expressions," Proc. Third Int'l Workshop Runtime Verification (RV '03), pp. 162-181, 2003.
[36] J. Strejcek, "Linear Temporal Logic: Expressiveness and Model Checking," PhD thesis, Faculty of Informatics, Masaryk Univ. in Brno, 2004.
[37] 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.
[38] 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.
[39] F. Yang, J. Lu, and H. Mei, "Technical Framework for Internetware: An Architecture Centric Approach," Science in China Series F: Information Sciences, vol 51, no. 6, pp. 610-622, 2008.
[40] J. Yu, Y. Huang, J. Cao, and X. Tao, "Middleware Support for Context-Awareness in Asynchronous Pervasive Computing Environments," Proc. IEEE/IFIP Int'l Conf. Embedded and Ubiquitous Computing, pp. 136-143, 2010.
44 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool