Specifying a complex system, such as workflow applications, is a difficult task, which can not be done in one step. The stepwise refinement technique. facilitates the understanding of complex systems ...