Physical interaction in pervasive computing: Formal modeling, analysis and verification

Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops
Pages133-140
Number of pages8
DOIs
Publication statusPublished - 2009 Dec 1
Externally publishedYes
Event2009 International Conference on Pervasive Services and Co-located Workshops, ICPS'09 - London, United Kingdom
Duration: 2009 Jul 132009 Jul 16

Publication series

NameICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops

Other

Other2009 International Conference on Pervasive Services and Co-located Workshops, ICPS'09
CountryUnited Kingdom
CityLondon
Period09/7/1309/7/16

Keywords

  • event calculus
  • formal specifications
  • pervasive computing

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

Fingerprint Dive into the research topics of 'Physical interaction in pervasive computing: Formal modeling, analysis and verification'. Together they form a unique fingerprint.

  • Cite this

    Ishikawa, F., Suleiman, B., Yamamoto, K., & Honiden, S. (2009). Physical interaction in pervasive computing: Formal modeling, analysis and verification. In ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops (pp. 133-140). (ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops). https://doi.org/10.1145/1568199.1568219