Earticle

초록

영어

Pervasive computing calls for new ways of thinking about software and new ways of
applying software development techniques. In pervasive computing environments, users will
need to interact with collections of devices surrounding them (such as the “system” of smart
devices in a user’s home), which we metaphorically term device ecologies. A user can
interact with these devices with embedded software and hardware, either directly via the
device’s own interface, or automated through scripts executed by a central coordinator. For
the latter, we employ a workflow abstraction for the collective operation of devices, which we
call decoflow. While executable formal models are typically used at specification time, we
maintain and use such models, calling them mirror models, to record the on-going states of
devices, their relationships, and the effects that such devices have on the environment. Users
effectively update a mirror model of the devices s/he interacts with. The model can be used to
predict the effects of decoflows just before execution. Generalizing from mirror models for
device ecologies, we propose the novel paradigm of continually updated mirror models for
on-going tracking and reasoning about pervasive computing systems which cohabitates with
the user.

목차

Abstract
 1. Introduction
 2. Background
  2.1. Architectural Overview
  2.2. Decoflow Representation and Example
 3. A Mirror Model for Device Ecologies: an Example Using Petri Nets
 4. Reasoning With Decoflows: an Example with Comfort Levels
 5. Related Work
 6. Conclusion
 7. References

저자

• Seng W. Loke [ La Trobe University, Department of Computer Science and Computer Engineering, Australia ]
• Sucha Smanchat [ Faculty of Information Technology, King Mongkut's Institute of Technology North Bangkok, Thailand ]
• Sea Ling [ Monash University, Faculty of Information Technology, Australia ]
• Maria Indrawan [ Monash University, Faculty of Information Technology, Australia ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Smart Home

• 간기

  격월간

• pISSN

  1975-4094

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605