A Formal Model for Work Flows

Within this paper, we present a structured, formal model for the specification and analysis of work flows. The model provides a graphical representation supporting a modular description of work flows together with a formal semantics accurately reflecting their execution and laying the foundation for tool support. Methodically relevant concepts such as hierarchy, refinement, model analysis, and model transformation are supported.