Date of Award

12-1991

Document Type

Thesis

Degree Name

Master of Science

Department

Department of Electrical and Computer Engineering

First Advisor

David Umphress, PhD

Second Advisor

Henry B. Potoczny, PhD

Abstract

This paper develops a formal definition of the Object-Oriented paradigm for requirements analysis. The literature was surveyed for both formal and informal methods for conducting an Object-Oriented Requirements Analysis (OORA). The informal methods reviewed are: Bailin's, Shlaer and Mellor's, Booch's, and Coad and Yourdon's. The formal methods reviewed are: Bralick's, Z, and REFINE. None of the methods were found to be adequate for doing an OORA. A formal definition of an OORA, based on the concept of classes, is developed. The definition itself is presented as set and relation theory. A supporting graphical representation is also developed and presented. The graphical method allows a system to be successfully leveled. The formalism is validated by applying it to the Air Traffic Control (ATC) simulation.

AFIT Designator

AFIT-GSS-ENG-91D-3

DTIC Accession Number

ADA246814

Comments

The author's Vita page is omitted.

Download

Share

COinS