The AFIT Wide Spectrum Object Modeling Environment: an awesome beginning

Author

Hartrum, Thomas C. ; Graham, Robert P., Jr.

Author_Institution

Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA

fYear

2000

fDate

2000

Firstpage

35

Lastpage

42

Abstract

Over the past several years, the Air Force Institute of Technology (AFIT) has been developing a formal-based software synthesis system, the AFIT Wide Spectrum Object Modeling Environment (AWSOME), along with a specification language AWL (AFIT Wide-spectrum Language). Several tools have been developed, including a parser for the AWL syntax, an interactive object editor, a Java code generator, and a generator for database schemas and SQL queries. The paper describes the formal object-oriented meta-model, the AWL specification language, and transformations from specification to code, along with current and future tools and applications

Keywords

Java; aerospace computing; formal languages; formal specification; object-oriented methods; software tools; specification languages; AFIT Wide Spectrum Object Modeling Environment; AWL specification language; AWL syntax; Java code generator; SQL queries; database schemas; formal object-oriented meta-model; formal-based software synthesis system; interactive object editor; parser; Application software; Design engineering; Java; Military computing; Object oriented databases; Object oriented modeling; Software design; Software engineering; Software systems; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

National Aerospace and Electronics Conference, 2000. NAECON 2000. Proceedings of the IEEE 2000

Conference_Location

Dayton, OH

Print_ISBN

0-7803-6262-4

Type

conf

DOI

10.1109/NAECON.2000.894889

Filename

894889