Title :
A Formal Modeling for Exceptions in Context-Aware Systems
Author :
Tae-Seob Yoon ; Joong-Hyun Choi ; Eun-Sun Cho ; Helal, Sumi
Author_Institution :
Dept. of Comput. Sci. & Eng., Chungnam Nat. Univ., Daejeon, South Korea
Abstract :
This paper introduces a formal description about a new exception detection framework for context-aware systems. This framework aims to encourage application programmers in context-aware systems to write exception description and handling codes by providing a systematic way to do it. In this framework some portions of the formal modeling are applied to performance optimization and to automation of exception detection.
Keywords :
exception handling; formal specification; formal verification; ubiquitous computing; code handling; context-aware systems; exception detection framework; formal description; formal exception modeling; formal modeling; performance optimization; Actuators; Context; Context modeling; Context-aware services; Programming; Semantics; Sensors; context-aware systems; exception handling; formal semantics; programming languages;
Conference_Titel :
Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International
Conference_Location :
Vasteras
DOI :
10.1109/COMPSACW.2014.123
