Home > Research > Publications & Outputs > A formal modeling for exceptions in context-awa...


Text available via DOI:

View graph of relations

A formal modeling for exceptions in context-aware systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  • T.-S. Yoon
  • J.-H. Choi
  • E.-S. Cho
  • S. Helal
  • Seceleanu C. (Editor)
  • McMillin B. (Editor)
  • Chang C.K. (Editor)
  • Gao Y. (Editor)
  • Yoshida K. (Editor)
  • Hurson A. (Editor)
  • Okabe Y. (Editor)
  • Matskin M. (Editor)
  • [Unknown]


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. © 2014 IEEE.