Accession Number:

ADA242012

Title:

IDEF3 Formalization Report

Descriptive Note:

Final technical paper Jan 90-Jul 91,

Corporate Author:

TEXAS A AND M UNIV COLLEGE STATION KNOWLEDGE BASED SYSTEMS LAB

Report Date:

1991-10-01

Pagination or Media Count:

56.0

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 users 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.

Subject Categories:

  • Linguistics
  • Computer Programming and Software
  • Manufacturing and Industrial Engineering and Control of Production Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE