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

Fuyuki Ishikawa, Basem Suleiman, Kayoko Yamamoto, Shinichi Honiden

研究成果: Conference contribution

7 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルICPS'09 - Proceedings of the 2009 International Conference on Pervasive Services and Co-located Workshops
ページ133-140
ページ数8
DOI
出版ステータスPublished - 2009 12 1
外部発表はい
イベント2009 International Conference on Pervasive Services and Co-located Workshops, ICPS'09 - London, United Kingdom
継続期間: 2009 7 132009 7 16

出版物シリーズ

名前ICPS'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

ASJC Scopus subject areas

  • Computational Theory and Mathematics
  • Software

フィンガープリント 「Physical interaction in pervasive computing: Formal modeling, analysis and verification」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル