Language features for flexible handling of exceptions in information systems
ACM Transactions on Database Systems (TODS)
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Exception handling and object-oriented programming: towards a synthesis
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Influence of exception handling on the support of cooperative office work
ACM SIGOIS Bulletin
Constructive interpretation of human-generated exceptions during plan execution
Constructive interpretation of human-generated exceptions during plan execution
Exceptions in object-oriented languages
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Office procedure as practical action: models of work and system design
ACM Transactions on Information Systems (TOIS)
Exception handling: issues and a proposed notation
Communications of the ACM
Designing Complex Organizations
Designing Complex Organizations
Analysis and Specification of Office Procedures
Analysis and Specification of Office Procedures
The Metamorphoses of Workflow Projects in their Early Stages
Computer Supported Cooperative Work
Deadline-based escalation in process-aware information systems
Decision Support Systems
Proceedings of the 2010 ACM Symposium on Applied Computing
DESRIST'10 Proceedings of the 5th international conference on Global Perspectives on Design Science Research
Hi-index | 0.00 |
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.