IDEF3 Formalization Report

Abstract

The Process Description Capture Method (IDEF3) is one of several ICAM (Integrated Computer-Aided Manufacturing) DEFinition methods developed by the Air Force to support systems engineering activities. IDEF3 is meant to serve as a knowledge acquisition and requirements definition tool that structures the user's understanding of how a given process, event, or system works around process descriptions. A special purpose graphical language accompanying the method serves to highlight temporal precedence and casuality relationships relative to the process or event being described. This report presents a rigorous formalization of the Syntax and semantics of the IDEF3 method.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1991
Accession Number
ADA242012

Entities

People

  • Christopher P. Menzel
  • Douglas D. Edwards
  • Richard J. Mayer

Organizations

  • Texas A&M University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acquisition
  • Air Force
  • Air Force Facilities
  • Artificial Intelligence
  • Computers
  • Formal Languages
  • Grammars
  • Human Resources
  • Industrial Engineering
  • Information Systems
  • Knowledge Based Systems
  • Language
  • Linguistics
  • Models
  • Semantics
  • Simulations
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Human-Computer Interaction (HCI).
  • Software Engineering