Date of Award

12-1992

Document Type

Thesis

Degree Name

Master of Science

Department

Department of Electrical and Computer Engineering

First Advisor

Paul D. Bailor, PhD

Abstract

This research investigated technology which enables sophisticated users to specify, generate, and maintain application software in domain-oriented terms. To realize this new technology, a development environment, called Architect, was designed and implemented. Using canonical formal specifications of domain objects, Architect rapidly composes these specifications into a software application and executes a prototype of that application as a means to demonstrate its correctness before any programming language specific code is generated. Architect depends upon the existence of a formal object base (or domain model) which was investigated by another student in related research. The research described in this thesis relied on the concept of a software architecture, which was a key to Architect's successful implementation. Various software architectures were evaluated and the Object-Connection-Update (OCU) model, developed by the Software Engineering Institute, was selected. The Software Refinery environment was used to implement the composition process which encompasses connecting specified domain objects into a composed application, performing semantic analysis on the composed application, and, if no errors are discovered, simulating the execution of the application. Architect was validated using both artificial and realistic domains and was found to be a solid foundation upon which to build a full-scale application composition system.

AFIT Designator

AFIT-GCS-ENG-92D-01

DTIC Accession Number

ADA258900

Comments

The author's Vita page is omitted.

Share

COinS