On handling exceptions

  • Authors:
  • Heikki Saastamoinen;George M. White

  • Affiliations:
  • Department of Computer Science, University of Colorado, Campus Box 430, Boulder CO and Department of Computer Science and Information Systems, University of Jyväskylä, P.O.Box 35, SF-403 ...;Department of Computer Science, University of Colorado, Campus Box 430, Boulder CO and Computer Science Department, University of Ottawa,, Ottawa K1N 6N5, Canada

  • Venue:
  • COCS '95 Proceedings of conference on Organizational computing systems
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

The current literature of information systems has dealt extensively with all kinds of exceptions. There are several studies defining the concept of exception and even providing classifications. However, no studies provide a method for verifying the rules in order to handle exceptions and to achieve the goals set by an organization's rules. In this paper, a model employing a set of unique input/output (UIO) sequences is presented for verifying such rules. The model originally presented for Finite State Machines (FSM) has been modified to include concepts of exception handling and will be used to form a tool usable for verifying exception handling rules in OISs.