Exception Handling

In this article, we describe a low-cost, dual-virtual-CPU hardware technology for embedded-systems security. We also present a case study of a programmable software design to exploit such hardware. This design integrates a rich operating system without requiring significant changes to it, while maintaining preemptive and real-time properties, exception handling, and power management.

A large part of any software design is the handling of error situations or rare situations that are unlikely to happen. For small programs, it is common to print an error message and terminate the program execution. The user must then correct the error and execute the program again. For most non-trivial programs it is not satisfactory just to terminate the program with an error message. Consider the situation where the program is a word processor. An error message saying e. g. that some internal register has overflowed is in general not meaningful to a user of such a word processor. Another example is a flight reservation system. Such a system runs over a very long period of time, and it would not be acceptable if e. g. a table overflow simply resulted in an error message and a subsequent termination of the program. There are many types of errors or exceptional situations that a program may have to deal with. An exception is a class of computational states that requires an extraordi...

Les sites d’exploitation de minerais, gaz ou pétrole sont le plus souvent situés dans des lieux peu propices à l’activité humaine. Les soins sont assurés dans des conditions peu ordinaires par des médecins ou des personnels paramédicaux. Le soignant doit remplir certaines conditions préalables mais aussi posséder des qualités personnelles humaines, techniques, physiques et mentales pour pouvoir être capable d’exercer des soins de qualité durant toute la durée de sa mission sur site isolé.

Fault-tolerant object-oriented software systems are inherently complex and have to cope with an increasing number of exceptional conditions in order to meet the system's dependability requirements. This work proposes a software architecture which integrates uniformly both concurrent and sequential exception handling. The exception handling architecture is independent of programming language or exception handling mechanism, and its use can minimize the complexity caused by the handling of abnormal behavior. Our architecture provides, during the architectural design stage, the context in which more detailed design decisions related to exception handling are made in later development stages. This work also presents a set of design patterns which describes the static and dynamic aspects of the components of our software architecture. The patterns allow a clear separation of concerns between the system's functionality and the exception handling facilities, applying the computational reflection technique

The Digitization Workflow Management System (DWMS) is a system developed in Bibliotheca Alexandrina, the Library of Alexandria, to manage the whole process of digitization including its various phases, system users, files movement, archiving, and integration with the ILS and the library digital repository. The system supports workflow dynamic evolutions and deviation to allow for exception handling. It provides history tracking

Web Service orchestration frameworks support a coarse-grained kind of exception handling because they cannot identify the causes of the occurring exceptions as precisely as needed to solve problems at their origin. This paper presents a framework for Web Service orchestration which employs diagnostic services to support a fine grained identification of the causes of the exceptions and the consequent execution of effective exception handlers. Our framework is particularly suitable for intelligent exception handling in Enterprise Application Integration.

This paper presents a new model for exception handling, called the replacement model. The replacement model, in contrast to other exception-handling proposals, supports all the handler responses of resumption, termination, retry, and exception propagation, within both statements and expressions, in a modular, simple, and uniform fashion. The model can be embedded in any expression-oriented language and can also be adapted to languages which are not expression oriented with almost all the above advantages. This paper presents the syntactic extensions for embedding the replacement model into Algol 68 and its operational semantics. An axiomatic semantic definition for the model can be found in [271. Categories and Subject Descriptors: D.3.3 [Programming Languages]: Language Constructsabstract

Abstract. Most modern programming languages rely on exceptions for dealing with abnormal situations. Although exception handling was a significant improvement over other mechanisms like checking return codes, it is far from perfect. In fact, it can be argued that this ...

A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to describe the computational features of proof languages, such as side effects, exception handling, and backtracking. The formalism, called proof monads, finds its roots in category theory, and in particular satisfies the monad

Reusing existing library components is essential for reducing the cost of software development and maintenance. When library components evolve to accommodate new feature requests, to fix bugs, or to meet new standards, the clients of software libraries often need to make corresponding changes to correctly use the updated libraries. Existing API usage adaptation techniques support simple adaptation such as replacing the target of calls to a deprecated API, however, cannot handle complex adaptations such as creating a new object to be passed to a different API method, or adding an exception handling logic that surrounds the updated API method calls. This paper presents LIBSYNC that guides developers in adapting API usage code by learning complex API usage adaptation patterns from other clients that already migrated to a new library version (and also from the API usages within the library's test code). LIBSYNC uses several graph-based techniques (1) to identify changes to API decla...

Decentralized orchestration offers performance improvements in terms of increased throughput and scalability and lower response time. However, decentralized orchestration also brings additional complexity to the system, mainly, in terms of exception handling. The research presented in this paper is carried out on the basis of some previous work of the authors, including: decentralizing orchestration of composite Web services and exception handling. We focus also on current works expanding the previous one, exhibiting thus a higher performance degree which the integration of mobile agents performs by moving the application’s functionality through the network.

Reusing existing library components is essential for reducing the cost of software development and maintenance. When library components evolve to accommodate new feature requests, to fix bugs, or to meet new standards, the clients of software libraries often need to make corresponding changes to correctly use the updated libraries. Existing API usage adaptation techniques support simple adaptation such as replacing the target of calls to a deprecated API, however, cannot handle complex adaptations such as creating a new ...

Abstract. Exception handling is an important part of software and system architectures. The scale of operations of modern software systems in complex network applications and embedded systems raises numerous possibilities of failures and exception conditions. Over the past two decades, object-oriented design principles and programming techniques coupled with sophisticated engineering tools have significantly reduced the complexity of the design and implementation process for modern software systems. However, integration of suitable exception handling techniques with object-oriented design methodologies and programming models has continued to raise many important research challenges. Whereas several such challenges arise in the context of fundamental constructs in object-orientation, many new research issues are stemming from the unique nature of emerging application environments, requiring domain-specific models for exception handling. This workshop was organized to facilitate discu...

Jf bo) b = f bo) + 7 f<xo + ... 18 1070-9924/96/$5.00 0 1996 IEEE IEEE COMPUTATIONAL SCIENCE b ENGINEERING ... Applications of derivatives During the past decade, the tremendous ex-pansion of computational capabilities has made large computer models common. The ...