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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1995
Accession Number
ADA305776

Entities

People

  • Vincent S. Hibdon

Organizations

  • Air Force Institute of Technology

Tags

Communities of Interest

  • Biomedical
  • C4I
  • Ground and Sea Platforms
  • Human Systems
  • Weapons Technologies

DTIC Thesaurus Topics

  • Accuracy
  • Airborne Warning And Control System
  • Automation
  • Business Administration
  • Command And Control
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Management Personnel
  • Organizational Structure
  • Prototypes
  • Software Development
  • Software Prototyping
  • Standards
  • Students
  • Word Processors

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Military Logistics and Supply Chain Management
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.

Technology Areas

  • AI & ML
  • AI & ML - Machine Translation