In this report we develop a specification of requirements and conceptual design of a decision support system for maintenance of the lamps in traffic regulation systems. Requirements and design are both specified using semi-formal 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 Specification 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 fir in a TRADE framework.
|Publisher||Vrije Universiteit, Faculty of Mathematics and Computer Science|