Accession Number : ADA194879

Title :   An Examination of the Theoretical Foundations of the Object-Oriented Paradigm.

Descriptive Note : Master's thesis,

Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING

Personal Author(s) : Bralick, William A , Jr

PDF Url : ADA194879

Report Date : Mar 1988

Pagination or Media Count : 213

Abstract : The object-oriented paradigm provides a natural structure for describing and decomposing systems. The objectives of this research were to: provide a definition of an object model and consider its theoretical foundations; implement the defined object model to empirically investigate the concept; and implement a prototype environment to directly, interactively manipulate the object model. We define an object to have a unique identity and be composed of a set of attributes, a set of behaviors, and a set of (sub)objects. We define an attribute to be composed of an identifier, a value, and a set of attributes; and we define a behavior to be an identifier, a set of attributes, and a set of behaviors. We propose and prove the theorem that the defined object model can simulate a Turing machine. We then use the object-oriented design process to implement the defined object model under a prototype intractive environment called the HOOKE. We use the HOOKE to help build a simulation of a Turing machine under the defined object model, including several delta functions and input tapes. Thus we validate both the defined object model and the HOOKE. We conclude that the object-oriented paradigm rests on sound theoretical ground.

Descriptors :   *ARTIFICIAL INTELLIGENCE, *COMPUTER ARCHITECTURE, ENVIRONMENTS, FUNCTIONS, INPUT, MODELS, PROTOTYPES, SIMULATION, TAPES, THEORY, THESES

Subject Categories : Cybernetics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE