A Formal Framework for Context-Aware System Modeling
Eun-Sun Cho, Young-Mok Min · Journal of the Institute of Electronics Engineers of Korea · 2009
Context-aware systems are reactive computing systems, aware of external context. Considering various sensors and actuators connected, application programming on top of such systems is known to be much more complex than in contentional ones. This paper suggests a formal framework for context-aware systems, by extracting their common properties. That makes a useful birds-eye view for the behaviors of a whole complex system, as a base for a convenient developing environment and systematic analysis. In this framework, reactive-ness is handled by event-condition-action rules and global state-transitions, which are essential in a lot of context-aware applications. In addition, behaviors of each elementary device are modelled with its own state-transitions, and tightly bound to the entire task.