Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/32448
Title: Formal specification and runtime detection of dynamic properties in asynchronous pervasive computing environments
Authors: Yang, Y
Huang, Y
Cao, J 
Ma, X
Lu, J
Keywords: Asynchrony
Context awareness
Dynamic property
Lattice
Predicate detection
Issue Date: 2013
Publisher: Institute of Electrical and Electronics Engineers
Source: IEEE transactions on parallel and distributed systems, 2013, v. 24, no. 8, 6295610, p. 1546-1555 How to cite?
Journal: IEEE transactions on parallel and distributed systems 
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.
URI: http://hdl.handle.net/10397/32448
ISSN: 1045-9219 (print)
1558-2183 (online)
DOI: 10.1109/TPDS.2012.259
Appears in Collections:Journal/Magazine Article

Access
View full-text via PolyU eLinks SFX Query
Show full item record

SCOPUSTM   
Citations

6
Last Week
0
Last month
0
Citations as of Jul 22, 2017

WEB OF SCIENCETM
Citations

5
Last Week
0
Last month
0
Citations as of Jul 14, 2017

Page view(s)

30
Last Week
0
Last month
Checked on Jul 16, 2017

Google ScholarTM

Check

Altmetric



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.