Skip to Main Content
 

Global Search Box

 
 
 
 

Files

File List


wright1221845468.pdf (723.87 KB)

ETD Abstract Container

Abstract Header

ANALYSIS AND TRANSFORMATION OF POST-CONDITIONS

VASIKARLA, ABHINAV
http://rave.ohiolink.edu/etdc/view?acc_num=wright1221845468

Abstract Details

2008, Master of Science (MS), Wright State University, Computer Science.
Software engineers have been trying for years to develop a software synthesis system that can transform a formal specification model to a design model from which executable code can be generated. AFIT wide spectrum object modeling environment (AWESOME) is one result of their research. AWESOME presents a formal model as an abstract syntax tree. This model consists mainly of object class specifications. The methods in these classes are specified using pre and post-conditions. The intent of this thesis is to support the transformation of post-conditions to code statements. A post-condition is first categorized as dependent or independent relative to other post-conditions. Post-conditions are further divided into actions and constraints. Actions can be converted to executable statements. Constraints can be converted to pre-conditions using weakest pre-condition analysis. Functions have been designed to categorize the post-conditions. Transforms have been designed to simplify the post-conditions and to determine the weakest pre-condition and add it to the method. The result is a design model from which executable code can be generated.
Thomas C. Hartrum, PhD (Committee Co-Chair)
Mateen M. Rizki, PhD (Committee Co-Chair)
Krishnaprasad Thirunarayan, PhD (Committee Member)
Thomas Sudkamp, PhD (Other)
Joseph F. Thomas, Jr., PhD (Other)
147 p.
Computer Science
AWESOME; Transforms; Post-conditions; Weakest pre-condition; Software Engineering;

Recommended Citations

Citations

  • VASIKARLA, A. (2008). ANALYSIS AND TRANSFORMATION OF POST-CONDITIONS [Master's thesis, Wright State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=wright1221845468

    APA Style (7th edition)

  • VASIKARLA, ABHINAV. ANALYSIS AND TRANSFORMATION OF POST-CONDITIONS. 2008. Wright State University, Master's thesis. OhioLINK Electronic Theses and Dissertations Center, http://rave.ohiolink.edu/etdc/view?acc_num=wright1221845468.

    MLA Style (8th edition)

  • VASIKARLA, ABHINAV. "ANALYSIS AND TRANSFORMATION OF POST-CONDITIONS." Master's thesis, Wright State University, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=wright1221845468

    Chicago Manual of Style (17th edition)

wright1221845468
621
© 2008, all rights reserved.
This open access ETD is published by Wright State University and OhioLINK.