Decision Methodology A. Formalization of the OR process /