Adding rigour to object-oriented analysis

Author

Moreira, Ana M D ; Clark, Robert G.

Author_Institution

Dept. de Inf., Lisbon Univ., Portugal

Volume

11

Issue

5

fYear

1996

fDate

9/1/1996 12:00:00 AM

Firstpage

270

Lastpage

280

Abstract

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 oriented analysis model. The model is expressed in LOTOS and provides a precise and unambiguous formal requirements specification of the static, dynamic and functional aspects of a problem. As the specification is executable, prototyping can be used to validate the specification against the requirements. Inconsistencies, omissions and ambiguities in the requirements can be detected sufficiently early in a development so that feedback can be given to the requirements capture process

Keywords

formal specification; object-oriented methods; software prototyping; specification languages; LOTOS; ROOA method; dynamic aspects; executable objected oriented analysis model; formal description techniques; formal requirements specification; functional aspects; informal requirements; object-oriented analysis methods; prototyping; rigorous object-oriented analysis method; static aspects; systematic development process;

fLanguage

English

Journal_Title

Software Engineering Journal

Publisher

iet

ISSN

0268-6961

Type

jour

Filename

533212