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.
|Titel||Proceedings of the Workshop on Workflow Management: Net-based Concepts, Models, Techniques, and Tools (WFM'98, Lisbon, Portugal, June 22, 1998)|
|Redacteuren||W.M.P. Aalst, van der|
|Plaats van productie||Eindhoven|
|Uitgeverij||Technische Universiteit Eindhoven|
|Status||Gepubliceerd - 1998|
|Naam||Computing Science Reports|
|ISSN van geprinte versie||9432-0101|