ADDING RIGOUR TO OBJECT-ORIENTED ANALYSIS

The rigorous object-oriented analysis (ROOA) method integrates formal description techniques with standard object-oriented analysis methods. ROOA provides a systematic development process which, starting from a set of informal. requirements, produces an executable objected-orient ed analysis model. The model is expressed in LOTOS and provides a prec ise and unambiguous formal requirements specification of the static, d ynamic and functional aspects of a problem. As the specification is ex ecutable, prototyping can be used to validate the specification agains t the requirements, Inconsistencies, omissions and ambiguities in the requirements can be detected sufficiently early in a development so th at feedback can be given to the requirements capture process.