Error recovery in asynchronous systems
IEEE Transactions on Software Engineering
Atomic actions for fault-tolerance using CSP
IEEE Transactions on Software Engineering
Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
An exception handling mechanism for SR
Computer Languages
Systems programming with Modula-3
Systems programming with Modula-3
Application specific conversation schemes for ADA programs
Microprocessing and Microprogramming
Implementations and Extensions of the Conversation Concept
Proceedings of the 5th International GI/ITG/GMA Conference on Fault-Tolerant Computing Systems, Tests, Diagnosis, Fault Treatment
Exception handling and resolution in distributed object-oriented systems
ICDCS '96 Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96)
Approaches to Mechanization of the Conversation Scheme Based on Monitors
IEEE Transactions on Software Engineering
Exception Handling in Workflow Management Systems
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Coordinated exception handling in J2EE applications
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part I
Exception handling and asynchronous active objects: issues and proposal
Advanced Topics in Exception Handling Techniques
Hi-index | 0.00 |
The paper discusses how atomic actions based on forward error recovery in the form of concurrent exception handling and resolution can be programmed within standard conventional languages (Ada and Ada 95). We express the main characteristics of the general atomic action scheme in terms of these languages and discuss a set of templates and programmers' conventions which would allow the programming of atomic actions within Ada and Ada 95. We offer an approach to implementing a resolution procedure (function) and outline other approaches. The scheme is very flexible in that it gives an opportunity for programmers to use any sort of the resolution procedure. We introduce a general concept of self-checking programming, which allows the kind of failure assumption necessary for simplifying the atomic action support, and discuss how it can be applied (to Ada, in particular). It is shown how this approach helps to solve the deserter process problem. We outline the main improvements which can be made in the scheme when Ada 95 is used. We believe that this paper discusses important practical questions because it seems unlikely that an existing practical language will have concurrent exception handling of the level sufficient for supporting atomic actions based on forward error recovery.