Browse > Article
http://dx.doi.org/10.3745/JIPS.2012.8.2.279

Expressive Exceptions for Safe Pervasive Spaces  

Cho, Eun-Sun (Dept. of Computer Science and Engineering, Chungnam National University)
Helal, Sumi (Dept. of Computer and Information Science and Engineering, University of Florida)
Publication Information
Journal of Information Processing Systems / v.8, no.2, 2012 , pp. 279-300 More about this Journal
Abstract
Uncertainty and dynamism surrounding pervasive systems require new and sophisticated approaches to defining, detecting, and handling complex exceptions. This is because the possible erroneous conditions in pervasive systems are more complicated than conditions found in traditional applications. We devised a novel exception description and detection mechanism based on "situation"- a novel extension of context, which allows programmers to devise their own handling routines targeting sophisticated exceptions. This paper introduces the syntax of a language support that empowers the expressiveness of exceptions and their handlers, and suggests an implementation algorithm with a straw man analysis of overhead.
Keywords
Exceptions; Safety; Programming models for Pervasive Systems; Pervasive Computing; Contexts; Situations;
Citations & Related Records
연도 인용수 순위
  • Reference
1 N. H. Cohen and K. T. Kalleberg, "EventScript: an event-processing language based on regular expressions with actions", Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems, Tucson, USA, June 2008, pp.111-120.
2 R. Bose, J. King, H. El-zabadani, S. Pickles, and A. Helal, "Building Plug-and-Play Smart Homes Using the Atlas Platform," Proceedings of the 4th International Conference on Smart Homes and Health Telematic (ICOST), Belfast, the Northern Islands, June 2006, pp.265-272.
3 "Knopflerfish-Open Source OSGi, "The Knopflerfish Project, http://www.knopflerfish.org/
4 "ANTLR Parser Generator v3," ANTLR Project, http://www.antlr.org
5 I. Cervesato, M. Franceschet and A. Montanari, "A Guided Tour Through Some Extensions Of The Event Calculus", Computational Intelligence, Vol.16 No.2, 2000, pp.307-347.   DOI   ScienceOn
6 M. Lippert,C.V. Lopes, "A study on exception detection and handling using aspect-oriented programming," Proceedings ofInternational Conference on Software Engineering, Limerick, Ireland, June 2000, pp.418-427.
7 "AsyncCallback Delegate-.NET Framework Class Library," MSDN, http://msdn.microsoft.com/enus/library/system.asynccallback(v=VS.71).aspx
8 P. R. Pietzuch, B. Shand and J. Bacon, "A framework for event composition in distributed systems," Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware, Rio de Janeiro, Brazil, June 2003, pp.62-82.
9 Ja. Agrawal, Y. Diao, D. Gyllstrom, and N. Immerman, "Efficient Pattern Matching over Event Streams," Proceedings of ACM SIGMOD conference, Vancouver, BC, Canada, June 2008, pp.147-160.
10 S.White, A.Alves,D.Rorke, "WebLogic event server: a lightweight, modular application server for event processing," Proceedings ofSecond international conference on Distributed Event-based Systems, Rome Italy, July 2008, pp.193-200.
11 M. Liu, M. Ray, E. A. Rundensteiner and D. J. Dougherty, "Processing Nested Complex Sequence Pattern Queriesover Event Streams," Proceedings of the 7th Workshop on Data Management for Sensor Networks, Singapore, September 2010, pp.14-19.
12 C. Chen, Y. Xu, K. Li and S. Helal, "Reactive Programming Optimizations in Pervasive Computing," Proceedings of 10th IEEE/IPSJ International Symposium on Applications and the Internet, Seoul, Korea, July 2010, pp.96-104.
13 A. Aho, R. Sethi,M. S. Lam and J. Ulman, Compilers: Principles, Techniques, and Tools, 2nd ed., Prentice Hall, 2006, pp.241-246.
14 S. Bruning, S. Weissleder and M.Malek, "A Fault Taxonomy for Service-Oriented Architecture," Proceedings of the10th IEEE High Assurance Systems Engineering Symposium, Dallas, Texas, USA, November, 2007, pp.367-368.
15 Safety Research & Strategies Inc., "Toyota Sudden Acceleration Time Line", http://www.safetyresearch.net/toyota-sudden-unintended-acceleration/toyota-sudden-acceleration-timeline/
16 H.-I.Yang and Sumi Helal, "Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments," Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications, Hong Kong, March, 2008, pp.525-530.
17 K.Damasceno,N.Cachoand A. Garcia, A. Romanovsky and C. Lucena, "Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case," Proceedings of Software Engineering for Large-scale Multi-Agent Systems, Shanghai, China, May 2006,pp.37-44.
18 D. Kulkarni,and A.Tripathi, "A Framework for Programming Robust Context-Aware Application," IEEE Transactions on Software Engineering, Vol.c, No.2, 2010, pp.184-197.   DOI   ScienceOn
19 Oracle, "Java RMI Remote Exception," http://java.sun.com/j2se/1.4.2/docs/api/java/rmi/RemoteException.html
20 A. Ranganathan and R. H. Campbell, "An infrastructure for context-awareness based on first order logic", Personal and Ubiquitous Computing, Vol.7, No.6, 2000, pp.353-364.
21 E.-S. Cho, S. Helal, "A Situation-based Exception Detection Mechanism for Safety in Pervasive Systems", Proceedings of 11th IEEE/IPSJ International Symposium on Applications and the Internet, Munich, Germany, July 2011.
22 B. Randell, "Dependable pervasive systems," Proceedings of 23rd IEEE International Symposium on Reliable Distributed Systems, Florianpolis, Brazil, October, 2004, pp.2-2.