Specification of an exception handling system for a replicated agent environment

ABSTRACT

Exception handling and replication are two mechanisms that increase software reliability. Exception handling helps programmers control situations in which the normal flow of a program execution cannot continue. Replication handles system failures. Exceptions handling and replication do not apply in the same way to the same situations and thus are two complementary mechanisms to increase software reliability. The paper proposes a specification of an execution history oriented exception handling system for an agent language and middleware providing replication. This paper proposes an original signaling algorithm adapted to replicated agents and a rationale of how exception handling and replication mechanisms can combine to increase programmers' capability to achieve reliable agent-based applications.

REFERENCES

• 1: N. Cacho, K. Damasceno, A. F. Garcia, A. Romanovsky, and C. J. P. de Lucena. Exception handling in context-aware agent systems: A case study. In Proc. of SELMAS'06, pages 57--76, 2006.
• 2: Roy H. Campbell , Brian Randell, Error recovery in asynchronous systems, IEEE Transactions on Software Engineering, v.12 n.8, p.811-826, Aug. 1986
• 3: Richard Carlsson , Björn Gustavsson , Patrik Nyblom, Erlang's exception handling revisited, Proceedings of the 2004 ACM SIGPLAN workshop on Erlang, p.16-26, September 22-22, 2004, Snowbird, Utah, USA [doi>10.1145/1022471.1022475]
• 4: Christophe Dony , Jorgen Lindskov Knudsen , Alexander Romanovsky , Anand Tripathi, Advanced Topics in Exception Handling Techniques (Lecture Notes in Computer Science), Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 5: C. Dony, C. Urtado, and S. Vauttier. Exception handling and asynchronous active objects: Issues and proposal. In Dony et al. {4}, chapter 5, pages 81--101.
• 6: John B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, v.18 n.12, p.683-696, Dec. 1975 [doi>10.1145/361227.361230]
• 7: Zahia Guessoum , Nora Faci , Jean-Pierre Briot, Adaptive replication of large-scale multi-agent systems: towards a fault-tolerant multi-agent platform, Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems, May 15-16, 2005, St. Louis, Missouri
• 8: Alexei Iliasov , Alexander Romanovsky, Exception Handling in Coordination-Based Mobile Environments, Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC'05) Volume 1, p.341-350, July 26-28, 2005
• 9: Valérie Issarny, An exception handling model for parallel programming and its verification, Proceedings of the conference on Software for citical systems, p.92-100, December 04-06, 1991, New Orleans, Louisiana, United States
• 10: Aaron W. Keen , Ronald A. Olsson, Exception Handling during Asynchronous Method Invocation (Research Note), Proceedings of the 8th International Euro-Par Conference on Parallel Processing, p.656-660, August 27-30, 2002
• 11: L. Mancini and S. Shrivastava. Exception handling in replicated systems with voting. In Digest of papers, Fault Tol. Comp. Symp-16, pages 384--389, 1986.
• 12: Olivier Marin , Marin Bertier , Pierre Sens, DARX—A Framework For The Fault-Tolerant Support Of Agent Software, Proceedings of the 14th International Symposium on Software Reliability Engineering, p.406, November 17-21, 2003
• 13: Robert Miller , Anand Tripathi, The Guardian Model and Primitives for Exception Handling in Distributed Systems, IEEE Transactions on Software Engineering, v.30 n.12, p.1008-1022, December 2004 [doi>10.1109/TSE.2004.106]
• 14: S. Mostinckx, J. Dedecker, E. G. Boix, T. V. Cutsem, and W. D. Meuter. Ambient-oriented exception handling. In Dony et al. {4}, pages 141--160.
• 15: E. Platon, N. Sabouret, and S. Honiden. A definition of exceptions in agent-oriented computing. In Proc. of ESAW, pages 161--174, 2006.
• 16: B. Randell, A. Romanovsky, C. Rubira-Calsavara, R. Stroud, Z. Wu, and J. Xu. From recovery blocks to concurrent atomic actions. In Predictably Dependable Computing Systems, pages 87--101, 1995.
• 17: A. Romanovksy and J. Kienzle. Advances in Exception Handling Techniques:, volume 2022 of LNCS, chapter Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems, pages 147--164. Springer, 2001.
• 18: Alexander Romanovsky, An Exception Handling Framework for N-Version Programming in Object-Oriented Systems, Proceedings of the Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, p.226, March 15-17, 2000
• 19: F. Souchon, C. Dony, C. Urtado, and S. Vauttier. Improving exception handling in multi-agent systems. In Software engineering for multi-agent systems II, Research issues and practical applications, number 2940 in LNCS, pages 167--188. Springer, 2004.
• 20: F. Souchon, C. Urtado, S. Vauttier, and C. Dony. Exception handling in component-based systems: a first study. In Exception Handling in Object Oriented Systems: towards Emerging Application Areas and New Programming Paradigms Workshop (at ECOOP'03 international conference) proceedings, pages 84--91, 2003.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.4 Software/Program Verification
          Subjects: Reliability

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Error handling and recovery

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
        I.2.11 Distributed Artificial Intelligence
            Subjects: Multiagent systems

General Terms:
Algorithms, Reliability