A semantics for workflow processes is proposed, based on tasks that have a duration and may be executed concurrently. The semantics supports operators that can be used to compose processes from simpler ones. An important operator is refinement, replacing a task by a process. By abstracting from certain tasks, a related notion allows verifications based upon step by step reduction of the process. The approach is illustrated by means of an example Petri net model.
|Title of host publication||Proceedings of the Workshop on Workflow Management: Net-based Concepts, Models, Techniques, and Tools (WFM'98, Lisbon, Portugal, June 22, 1998)|
|Editors||W.M.P. Aalst, van der|
|Place of Publication||Eindhoven|
|Publisher||Technische Universiteit Eindhoven|
|Publication status||Published - 1998|
|Name||Computing Science Reports|