Accession Number:

ADA370006

Title:

A Typed and Temporal Object-Oriented Technology

Descriptive Note:

Rept. of 1 May 96-31 Jul 99

Corporate Author:

WICHITA STATE UNIV KS

Personal Author(s):

• Alagic, Suad

Report Date:

1999-10-01

Pagination or Media Count:

7.0

Abstract:

A typed and temporal object oriented paradigm has been developed. A declarative object oriented, temporal constraint language MyT, its type system, and a model of persistence have been designed. The results on the associated model theory based on order sorted algebras and the view of MyT classes as temporal theories have been established. A provably type safe technique called constrained matching has been developed for the integrated typed and temporal object oriented paradigm. The underlying implementation architecture has been developed based on a persistent extension of the Java Virtual Machine. Specific techniques for handling advanced typing techniques in a persistent Java environment, such as bounded and F bounded polymorphism, have been developed. Results on the object oriented flight simulator technology have been established.

Descriptors:

• *SOFTWARE ENGINEERING
• *COMPUTER LOGIC
• *OBJECT ORIENTED PROGRAMMING
• COMPUTER ARCHITECTURE
• SYSTEMS ANALYSIS
• FLIGHT SIMULATORS
• BOOLEAN ALGEBRA
• JAVA PROGRAMMING LANGUAGE

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE