IDEF3 formalization report
Christopher Menzel, Richard J. Mayer, Douglas D. Edwards · NASA Technical Reports Server (NASA) · 1991
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.