TY - GEN
T1 - Physical interaction in pervasive computing
T2 - 2009 International Conference on Pervasive Services and Co-located Workshops, ICPS'09
AU - Ishikawa, Fuyuki
AU - Suleiman, Basem
AU - Yamamoto, Kayoko
AU - Honiden, Shinichi
PY - 2009
Y1 - 2009
N2 - Application software in pervasive computing is required to control devices embedded in the environment by being aware of the contexts on which effectiveness of the devices depend. Developers face difficulties to enumerate involved physical prerequisites for effective use of devices and undesirable situations to be avoided, as well as define consistent behaviors of the application software. This study provides a theoretical framework for formal modeling of requirements, assumptions and behaviors for application software in pervasive computing. This study specifically focuses on prerequisites for physical (visual, audio, etc.) interactions, which are defined and examined in terms of scopes and their relationships not limited to tree structures. This study also explores analysis and verification based on the formal modeling, using of an existing reasoner.
AB - Application software in pervasive computing is required to control devices embedded in the environment by being aware of the contexts on which effectiveness of the devices depend. Developers face difficulties to enumerate involved physical prerequisites for effective use of devices and undesirable situations to be avoided, as well as define consistent behaviors of the application software. This study provides a theoretical framework for formal modeling of requirements, assumptions and behaviors for application software in pervasive computing. This study specifically focuses on prerequisites for physical (visual, audio, etc.) interactions, which are defined and examined in terms of scopes and their relationships not limited to tree structures. This study also explores analysis and verification based on the formal modeling, using of an existing reasoner.
KW - event calculus
KW - formal specifications
KW - pervasive computing
UR - http://www.scopus.com/inward/record.url?scp=77953983787&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=77953983787&partnerID=8YFLogxK
U2 - 10.1145/1568199.1568219
DO - 10.1145/1568199.1568219
M3 - Conference contribution
AN - SCOPUS:77953983787
SN - 9781605586441
T3 - ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops
SP - 133
EP - 140
BT - ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops
Y2 - 13 July 2009 through 16 July 2009
ER -