Decision model
A decision method is a formal (axiomatic) system that contains at least one action axiom. An action is of the form "IF <this> is true, THEN do <that>". An action axiom tests a condition (antecedent) and, if the condition has been met, then (consequent) it suggests (mandates) an action: from knowledge to action. A decision model may also be a network of connected decisions, information and knowledge that represents a decision-making approach that can be used repeatedly (such as one developed using the Decision Model and Notation standard).
Excepting very simple situations, successful action axioms are used in an iterative manner. For example, for decision analysis, the sole action axiom occurs in the Evaluation stage of a four-step cycle: Formulate, Evaluate, Interpret/Appraise, Refine.
Decision Models are used to model a decision being made once as well as to model a repeatable decision-making approach that will be used over and over again.
Formulation
Formulation is the first and often most challenging stage in using formal decision methods (and in decision analysis in particular). The objective of the formulation stage is to develop a formal model of the given decision. This may be represented as a network of decision-making elements, as a decision tree or in other ways depending on the specific situation. The formulation may be conceptual or may include all the necessary decision logic (business rules) required to define the decision-making.