Expressive Exceptions for Safe Pervasive Spaces
1
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
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
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
참고문헌 (22)
- S. Bruning, "A Fault Taxonomy for Service-Oriented Architecture", Proceedings of the10th IEEE High Assurance Systems Engineering Symposium, Dallas, Texas, USA, pp.367~368 (2007)
- "Toyota Sudden Acceleration Time Line"[URL]
- H.-I.Yang, "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, pp.525~530 (2008)
- K.Damasceno, "Context-Aware Exception Handling in Mobile Agent Systems: The MoCA Case", Proceedings of Software Engineering for Large-scale Multi-Agent Systems, Shanghai, China, May, pp.37~44 (2006)
- D. Kulkarni, "A Framework for Programming Robust Context-Aware Application", IEEE Transactions on Software Engineering, 36(2), pp.184~197 (2010)
- "Java RMI Remote Exception"[URL]
- A. Ranganathan, "An infrastructure for context-awareness based on first order logic", Personal and Ubiquitous Computing, 7(6), pp.353~364 (2000)
- E.-S. Cho, "A Situation-based Exception Detection Mechanism for Safety in Pervasive Systems", Proceedings of 11th IEEE, 2011, ~
- B. Randell, "Dependable pervasive systems", Proceedings of 23rd IEEE International Symposium on Reliable Distributed Systems, Florianpolis, Brazil, October, pp.2~2 (2004)
- I. Cervesato, "A Guided Tour Through Some Extensions Of The Event Calculus", Computational Intelligence, 16(2), pp.307~347 (2000)
- M. Lippert, "A study on exception detection and handling using aspect-oriented programming", Proceedings ofInternational Conference on Software Engineering, Limerick, Ireland, pp.418~427 (2000)
- "AsyncCallback Delegate-.NET Framework Class Library"[URL]
- P. R. Pietzuch, "A framework for event composition in distributed systems", Proceedings of the ACM, USENIX 2003 International Conference on Middleware, Rio de Janeiro, Brazil, pp.2003[DOI]
- Ja. Agrawal, "Efficient Pattern Matching over Event Streams", Proceedings of ACM SIGMOD conference, Vancouver, BC, Canada, pp.147~160 (2008)
- S.White, "WebLogic event server: a lightweight, modular application server for event processing", Proceedings ofSecond international conference on Distributed Event-based Systems,Rome Italy, pp.193~200 (2008)
- M. Liu, "Processing Nested Complex Sequence Pattern Queriesover Event Streams", Proceedings of the 7th Workshop on Data Management for Sensor Networks, Singapore, pp.14~19 (2010)
- C. Chen, "Reactive Programming Optimizations in Pervasive Computing", Proceedings of 10th IEEE, 2010, 96~104
- A. Aho, "Compilers: Principles, Techniques, and Tools, 2nd ed.", pp.241~246 (2006), Prentice Hall
- N. H. Cohen, "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, pp.111~120 (2008)
- R. Bose, "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, pp.265~272 (2006)
- "Knopflerfish-Open Source OSGi"[URL]
- "ANTLR Parser Generator v3"[URL]