DocumentCode
243603
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
fYear
2014
fDate
21-25 July 2014
Firstpage
734
Lastpage
739
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International
Conference_Location
Vasteras
Type
conf
DOI
10.1109/COMPSACW.2014.123
Filename
6903219
Link To Document