TL;DR: The paper describes the three different tools of formality on process description for human (process guidance, process model and process notation), which free the software developer from tedious and complex formal notation and benefit from the automated software process support.
Abstract: The paper describes the three different tools of formality on process description for human (process guidance) and machine (automated process support). The three levels of process descriptions suggested are: process guide book, process model and process notation. The natural and direct mappings between them free the software developer from tedious and complex formal notation and benefit from the automated software process support. >