This paper discusses different levels of formality for describing a process and describes a practical method for transforming a process to a stricter level of formality. It includes practical experiences from transforming a implicit development process, via semiformal notation, to a formal and executable process model. The right level of formality and detail in a process model is decided by many different factors. This paper describes different ways to represent your processes and gives help in how to choose between the alternatives. It also gives guidelines for how to transform your process model to representations of higher formality.