Generation of object-oriented formal software specifications

Author

Hartrum, Thomas C. ; Karagias, Timothy

Author_Institution

Dept. of Electr. & Comput. Eng., Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA

Volume

2

fYear

1997

fDate

14-18 Jul 1997

Firstpage

660

Abstract

The ability to provide automated support for the generation of formal software specifications would lead to decreased software development time. By eliciting the needed information from a software developer and harvesting the proper parts of a domain model, a software specifications document can be created. This research establishes the feasibility of producing customized software specifications based on a formal object-oriented domain model. First the existing Knowledge Based Software Engineering (KBSE) domain model is defined. The requirements for the Elicitor Harvester are then discussed. Allowable specializations of the domain model and user interaction are defined. A design capable of meeting those requirements using an existing domain model built with Reasoning Systems´ Software Refinery is presented. Finally the implementation and testing of a feasibility demonstration of the Elicitor Harvester system is discussed

Keywords

formal specification; inference mechanisms; knowledge based systems; military computing; object-oriented programming; Air Force; Elicitor Harvester; Elicitor Harvester system; Knowledge Based Software Engineering; automated support; customized software specifications; domain model; feasibility; feasibility demonstration; formal object-oriented domain model; object-oriented formal software specifications; software developer; software development time; software specifications; user interaction; Automation; Constraint theory; Formal specifications; Logic; Object oriented modeling; Programming; Set theory; Software engineering; Software systems; System testing;

fLanguage

English

Publisher

ieee

Conference_Titel

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

Conference_Location

Dayton, OH

Print_ISBN

0-7803-3725-5

Type

conf

DOI

10.1109/NAECON.1997.622713

Filename

622713