This Article 
 Bibliographic References 
 Add to: 
Formalizing Specification Modeling in OOA
January/February 1993 (vol. 10 no. 1)
pp. 54-66

It is argued that object-oriented analysis is not a fully mature upstream-development method because its specification process is a complex round-trip method that has not been described in detail. The round-trip OOA model involves data and activities that are intricately dependent on each other. If an analyst tries to use OOA to model specification sequentially, backward control flows will occur. An OOA specification process is presented that is decomposed into steps, substeps, and activities, that clarifies the dataflow between each step, substep, and activity. paying close attention to the chains of data dependence to expose activities and their relations, and that defines OOA control flows, in an effort to minimize process retrogression. The specification process is applied to a definite specification example and to formalization and visualization of an OOA.

Index Terms:
specification modelling formalisation; object-oriented analysis; data; activities; backward control flows; process retrogression; formalization; visualization; formal specification; object-oriented programming
Shinichi Honiden, Nobuto Kotaka, Yoshinori Kishimoto, "Formalizing Specification Modeling in OOA," IEEE Software, vol. 10, no. 1, pp. 54-66, Jan.-Feb. 1993, doi:10.1109/52.207229
Usage of this product signifies your acceptance of the Terms of Use.