Accession Number : ADA305776

Title :   An Object-Oriented, Formal Methods Approach to Organizational Process Modeling.

Descriptive Note : Master's thesis,

Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH

Personal Author(s) : Hibdon, Vincent S.

PDF Url : ADA305776

Report Date : DEC 1995

Pagination or Media Count : 161

Abstract : This document presents a methodology for developing an organizational process model which is based on the principles of object oriented design and formal software engineering methods. The methodology begins with the development of an object oriented Rumbaugh model (27). The Rumbaugh model is then formally specified in Z (Zed) schemas. Finally, the Z specifications are translated into an executable model in the Software Refinery Environment(TM). This model is described based on the AF wing domain and developed in this domain. The proposed methodology is then shown to produce a very general model which is extendable across almost any domain. The proposed methodology is also shown to be very general and tailorable for specific domain applications.

Descriptors :   *COMMAND AND CONTROL SYSTEMS, *SYSTEMS APPROACH, *OBJECT ORIENTED PROGRAMMING, COMPUTER PROGRAMS, COMPUTERIZED SIMULATION, SOFTWARE ENGINEERING, METHODOLOGY, AUTOMATION, ORGANIZATIONS, MODELS, THESES, CONFIGURATIONS.

Subject Categories : Computer Programming and Software
      Command, Control and Communications Systems

Distribution Statement : APPROVED FOR PUBLIC RELEASE