Publication Date
2008
Document Type
Thesis
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)
Abstract
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
172
Department or Program
Department of Computer Science and Engineering
Year Degree Awarded
2008
Copyright
Copyright 2008, all rights reserved. This open access ETD is published by Wright State University and OhioLINK.
