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

Author

Wahono, Romi S. ; Far, Behrouz H.

Author_Institution

Dept. of Inf. & Comput. Sci., Saitama Univ., Japan

fYear

2002

fDate

2002

Firstpage

351

Lastpage

360

Abstract

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.

Keywords

air traffic control; computer aided software engineering; formal specification; object-oriented methods; software tools; CASE tools; air traffic control system; object identification; object refinement; object-based formal specification; object-oriented analysis and design; software project; software requirements; Air traffic control; Collaborative work; Computer aided software engineering; Design methodology; Formal specifications; Information analysis; Object oriented modeling; Reverse engineering; Software design; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Cognitive Informatics, 2002. Proceedings. First IEEE International Conference on

Print_ISBN

0-7695-1724-2

Type

conf

DOI

10.1109/COGINF.2002.1039317

Filename

1039317