Workflow can be naturally modelled in UML. We explain a transition from UML to SDL that leads to a model that can be simulated and automatically translated into a real application.
