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


Personal Author(s) : Menzel, Christopher P ; Mayer, Richard J ; Edwards, Douglas D


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a242012.pdf


Report Date : Oct 1991


Pagination or Media Count : 56


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.


Descriptors :   *AIR FORCE , SYSTEMS ENGINEERING , SYNTAX , GRAPHICS , LANGUAGE , COMPUTER AIDED MANUFACTURING , INTEGRATED SYSTEMS , SEMANTICS


Subject Categories : Linguistics
      Computer Programming and Software
      Mfg & Industrial Eng & Control of Product Sys


Distribution Statement : APPROVED FOR PUBLIC RELEASE