By Topic

An Air Force organization process model using formal software engineering techniques

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Hibdon, V.S. ; Dept. of Electr. & Comput. Eng., Air Force Inst. of Technol., Wright-Patterson AFB, OH, USA ; Hartrum, T.C.

This paper presents a methodology for developing an organizational process model based on the principles of object-oriented design and formal software engineering methods. The methodology begins with the development of an object-oriented domain model which consists of an informal Rumbaugh model formally specified in the Z (Zed) formal specification language. The Z specifications are then translated into an executable model in the Software Refinery Environment. The Refine environment provides an executable language that allows behavior to be expressed declaratively, giving the developer an executable specification. This results in an observable domain model with attributes to describe organizational level metrics. While the model described in this paper is based on the Air Force wing C3I domain, both the methodology and the resulting model are shown to be very general and tailorable for other domain applications. The use of formal methods and an object-oriented approach leads to a more mathematically verifiable and more easily maintained executable process model

Published in:

Aerospace and Electronics Conference, 1996. NAECON 1996., Proceedings of the IEEE 1996 National  (Volume:2 )

Date of Conference:

20-23 May 1996