Associated with IDEF0 is a data dictionary which includes the definitions and descriptions of the activities, listing and description of the inputs, controls, and outputs, and, if entered, a set of activation rules of the form “preconditions postconditions.” These are the rules that indicate the conditions under which the associated function can be carried out.