Using the Tools in TRADE, I: A Decision Support System for Traffic Light Maintenance

Abstract

In this paper we develop a specification of requirements and conceptual design of a decision support system for the maintenance of the lamps in traffic regulation systems. Requirements and design are both specified using semiformal techniques in TRADE (Toolkit for Requirements and Design Engineering). The decision support system is non-trivial and provides an existing need in a company that works in the traffic system management area. The TRADE specification is based upon an existing algebraic specification in PSF (Process Speci cation Formalism). The rationale for doing this is that the PSF specification is very detailed and lacks a proper requirements specification. It turns out that TRADE, at least in this case, is much better suited as a means to specify abstract requirements. We discuss how algebraic specification could fit in a TRADE framework.