Publication Date


Document Type


Committee Members

Thomas Hartrum (Committee Co-chair), Mateen Rizki (Committee Co-chair), Krishnaprasad Thirunarayan (Committee Member)

Degree Name

Master of Science in Computer Engineering (MSCE)


AFIT Wide Spectrum Object Modeling Environment (AWSOME) automatically generates executable code by applying transforms to the formal specifications developed from the domain knowledge. AWSOME uses the specification language called as AFIT Wide Spectrum Language (AWL). All the transforms developed for AWSOME depend on and manipulate Abstract Syntax Trees (ASTs) created by parsing the formal specifications of a model. The main idea is to speed the process of creating error free code, to aid reusability of code and also to make the maintenance changes to be consistent and correct. The AWSOME metamodel contains the structural (object) model, the functional (operations) model and the dynamic (state based) model. This thesis focuses on designing transforms based on the structural model, with focus on transforming associations, aggregations and associative objects and on transforming the invariants. Given a formal specification, this thesis transforms associations into one way pointers, two-way pointers or associative object pointers, transforms aggregations into one way pointers and also transforms associative objects into associative object pointers. It also updates the references to the association's role names which are lost when the associations are transformed and removed from the AST. All together the fifteen transforms developed in this thesis result in an output containing valid expressions which refer not only to the local attributes or method arguments but also to the transformed association role names.

Page Count


Department or Program

Department of Computer Science and Engineering

Year Degree Awarded