DOI QR코드

DOI QR Code

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)
  • Received : 2011.08.29
  • Accepted : 2012.03.05
  • Published : 2012.06.30

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

References

  1. 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.
  2. Safety Research & Strategies Inc., "Toyota Sudden Acceleration Time Line", http://www.safetyresearch.net/toyota-sudden-unintended-acceleration/toyota-sudden-acceleration-timeline/
  3. 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.
  4. 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.
  5. 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. https://doi.org/10.1109/TSE.2010.11
  6. Oracle, "Java RMI Remote Exception," http://java.sun.com/j2se/1.4.2/docs/api/java/rmi/RemoteException.html
  7. 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.
  8. 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.
  9. B. Randell, "Dependable pervasive systems," Proceedings of 23rd IEEE International Symposium on Reliable Distributed Systems, Florianpolis, Brazil, October, 2004, pp.2-2.
  10. 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. https://doi.org/10.1111/0824-7935.00115
  11. 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.
  12. "AsyncCallback Delegate-.NET Framework Class Library," MSDN, http://msdn.microsoft.com/enus/library/system.asynccallback(v=VS.71).aspx
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. A. Aho, R. Sethi,M. S. Lam and J. Ulman, Compilers: Principles, Techniques, and Tools, 2nd ed., Prentice Hall, 2006, pp.241-246.
  19. 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.
  20. 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.
  21. "Knopflerfish-Open Source OSGi, "The Knopflerfish Project, http://www.knopflerfish.org/
  22. "ANTLR Parser Generator v3," ANTLR Project, http://www.antlr.org

Cited by

  1. A Smart Service Model Based on Ubiquitous Sensor Networks Using Vertical Farm Ontology vol.9, pp.12, 2013, https://doi.org/10.1155/2013/161495
  2. iotSilo: The Agent Service Platform Supporting Dynamic Behavior Assembly for Resolving the Heterogeneity of IoT vol.10, pp.1, 2014, https://doi.org/10.1155/2014/608972