Expressive exceptions for safe pervasive spaces

Journal of Information Processing Systems

Volumn 8, Issue 2, 2012, Pages 279-300

  Cho, Eun Sun ^a   Helal, Sumi ^b  

^a Chungnam National University   (South Korea)

^b University of Florida   (United States)

Author keywords

Contexts; Exceptions; Pervasive computing; Programming models for Pervasive Systems; Safety; Situations

Indexed keywords

CONTEXTS; DETECTION MECHANISM; EXCEPTIONS; IMPLEMENTATION ALGORITHMS; PERVASIVE SPACE; PERVASIVE SYSTEMS; SITUATIONS;

ACCIDENT PREVENTION;

UBIQUITOUS COMPUTING;

EID: 84866776490     PISSN: 1976913X     EISSN: 2092805X     Source Type: Journal    
DOI: 10.3745/JIPS.2012.8.2.279     Document Type: Article

References (22)

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, 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, 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.36, No.2, 2010,pp.184-197.
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, 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, 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, 307-347.
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, 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, 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, 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, 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, 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, 96-104.
18. A. Aho, R. Sethi,M. S. Lam and J. Ulman, Compilers: Principles, Techniques, and Tools, 2nd ed., Prentice Hall, 2006, 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, 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, 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