IDEF3 Formalization Report
Final technical paper Jan 90-Jul 91,
TEXAS A AND M UNIV COLLEGE STATION KNOWLEDGE BASED SYSTEMS LAB
Pagination or Media Count:
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.
- Computer Programming and Software
- Manufacturing and Industrial Engineering and Control of Production Systems