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

Other

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

Fingerprint

Ubiquitous computing
Application programs
Computer simulation

Keywords

  • event calculus
  • formal specifications
  • pervasive computing

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

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) https://doi.org/10.1145/1568199.1568219

Physical interaction in pervasive computing : Formal modeling, analysis and verification. / Ishikawa, Fuyuki; Suleiman, Basem; Yamamoto, Kayoko; Honiden, Shinichi.

ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops. 2009. p. 133-140.

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

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, 2009 International Conference on Pervasive Services and Co-located Workshops, ICPS'09, London, United Kingdom, 09/7/13. https://doi.org/10.1145/1568199.1568219
Ishikawa F, Suleiman B, Yamamoto K, Honiden S. 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. 2009. p. 133-140 https://doi.org/10.1145/1568199.1568219
Ishikawa, Fuyuki ; Suleiman, Basem ; Yamamoto, Kayoko ; Honiden, Shinichi. / Physical interaction in pervasive computing : Formal modeling, analysis and verification. ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops. 2009. pp. 133-140
@inproceedings{09a085a4dddf4a89b338c043f127d2c4,
title = "Physical interaction in pervasive computing: Formal modeling, analysis and verification",
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.",
keywords = "event calculus, formal specifications, pervasive computing",
author = "Fuyuki Ishikawa and Basem Suleiman and Kayoko Yamamoto and Shinichi Honiden",
year = "2009",
month = "12",
day = "1",
doi = "10.1145/1568199.1568219",
language = "English",
isbn = "9781605586441",
pages = "133--140",
booktitle = "ICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops",

}

TY - GEN

T1 - Physical interaction in pervasive computing

T2 - Formal modeling, analysis and verification

AU - Ishikawa, Fuyuki

AU - Suleiman, Basem

AU - Yamamoto, Kayoko

AU - Honiden, Shinichi

PY - 2009/12/1

Y1 - 2009/12/1

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

SN - 9781605586441

SP - 133

EP - 140

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

ER -