A Formal Definition of the Object-Oriented Paradigm for Requirements Analysis

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1991
Accession Number
ADA246814

Entities

People

  • Andrew D. Boyd

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Air Platforms
  • Weapons Technologies

DTIC Thesaurus Topics

  • Air Force
  • Air Traffic
  • Computer Programming
  • Computer Science
  • Computers
  • Department Of Defense
  • Dictionaries
  • Engineering
  • Language
  • Literature
  • Literature Surveys
  • Numbers
  • Object Oriented Programming
  • Programming Languages
  • Simulations
  • Software Development
  • Traffic

Readers

  • Artificial Intelligence
  • Military/Explosive Ordnance Disposal (EOD) Technology
  • Software Engineering.