Cho, E.-S. and Yoon, T.-S. and Choi, J.-H. and Paik, J.-Y. and Helal, Sumi (2013) An integrated formal model for context-Aware systems. In: Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual :. IEEE, pp. 163-168. ISBN 9781479921591
Full text not available from this repository.Abstract
Context-Aware applications should consider the devices and networks engaged in the systems, as well as the complex control and data structures in the applications. This makes it not so straightforward to understand applications and to achieve the quality of applications, without well-defined formal model adequate to the intended goals. In this paper, we propose a formal model for context aware system, which provides device behaviors with temporal features, enriched with commonly used categorization of context. Thus this model enables integrated management of the interconnected devices with context information for a context-Aware system, so as to be employed for the critical purposes like safety enhancement. © 2013 IEEE.