R. de Lemos
A. Saeed
A. Waterworth
University of Newcastle upon Tyne. 1992
In this paper we present a systematic method to cope with exception handling in the specification and design of real-time software. Guidelines for the construction of programs, directly, from a formal specification are also provided. The method proposed is an object-based approach which makes use of Petri Nets with Objects, and an object-based design notation which incorporates facilities for exception handling and active objects. To illustrate the proposed approach a case study based on a train set is presented.