A Formal Modeling for Exceptions in Context-Aware Systems
Tae-Seob Yoon, Joong-Hyun Choi, Eun-Sun Cho, Sumi Helal · 2014
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.