The techniques to convert unstructured descriptions of a process into step-by-step sequence of actions of a finite number of steps.