A framework for object identification and refinement process in object-oriented analysis and design

There are many projects focusing on computer aided software engineering (CASE) tools for object-oriented analysis and design. However, there are certain limitations to such solutions, as they concentrate on object-oriented notation and forward/reverse engineering, and the methodology for object identification and refinement is not implemented well. This paper presents a methodology for object identification and refinement from software requirements, based on object-based formal specification (OBFS). This methodology provides a means for understanding the object-oriented paradigm easily, and supports object identification and refinement. As a case study for a comprehensive explanation of how to use this methodology, an example of a software project for an air traffic control system is given.