The use of models and logic tools to test the outcomes of a proposed group of inputs and processes, prior to or in place of their implementation in a live system.