The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1993 vol.10)
pp: 54-66
ABSTRACT
<p>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.</p>
INDEX TERMS
specification modelling formalisation; object-oriented analysis; data; activities; backward control flows; process retrogression; formalization; visualization; formal specification; object-oriented programming
CITATION
Shinichi Honiden, Yoshinori Kishimoto, "Formalizing Specification Modeling in OOA", IEEE Software, vol.10, no. 1, pp. 54-66, January/February 1993, doi:10.1109/52.207229
27 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool