Date of Award

3-2000

Document Type

Thesis

Degree Name

Master of Science

Department

Department of Electrical and Computer Engineering

First Advisor

Robert P. Graham, PhD

Abstract

Formal software transformation systems are software development environments typified by the semi-automated application of a series of correctness-preserving transformations to formal data models. The range of software architectures such systems are capable of producing is often restricted by the limited ability to accept high-level design inputs as constraints on the transformation process. When architectural inputs are acceptable, often the modeling language excludes the explicit representation of architectural constructs and provides, at best, an extremely limited architectural analysis capability. This research defines a high-level taxonomy of software architectures and proposes a way to explicitly model a broad class of architectures by adapting the native object-oriented modeling language to the task. Using the AFIT Wide-Spectrum Object-Modeling Environment (AWSOME) as a proving ground, it demonstrates the ability to fully automate the transformation of an object-oriented analysis model to a non-hierarchically homogeneous, object-oriented architecture. Additionally, it demonstrates the ability to explicitly model the richer class of hierarchically heterogeneous software architectures in an object-oriented transformation system and to gain insight into the behavioral characteristics of such architectures by exporting them to an architectural interchange language for external analysis.

AFIT Designator

AFIT-GCS-ENG-00M-25

DTIC Accession Number

ADA380734

Comments

The author's Vita page is omitted.

Download

Share

COinS