Towards automating object-oriented analysis

Requirement analysis is one of the most important phases of application development. Numerous techniques for object-oriented analysis have been proposed. Automation in these methodologies, however, consist mostly of editors that support notation. Automating parts of the requirements analysis strategy will lead to more standardized specifications, will increase productivity and may reduce the number of bugs at this crucial stage. Unlike notation which is static and can be easily formalized, the strategy of requirements analysis is dynamic making its formalization difficult. Further, it is not even clear which parts of the strategy can be formalized. In this paper the authors present a framework for automating strategies of object-oriented analysis and describe a prototype system, CanVVaS, (Capture, Validation, Verification, and Synthesis) they have constructed to explore these issues