Abstract
newYAWL is a business process modelling language founded on the workow patterns. It radically extends the YAWL offering to provide holistic support for the controlflow, data and resource perspectives and allows business processes to be captured in sucient detail that they can be
directly enacted. In order to ensure that business processes are executed in a deterministic way, newYAWL is based on formal foundations. This paper describes the approach taken to specifying the operational semantics for newYAWL based on Coloured Petri Nets. It discusses the development of the semantic model for newYAWL, which was undertaken using CPN Tools, and the experiences associated with developing a complete operational design for an offering of this scale using formal techniques.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, 22-24 October 2007, Aarhus, Denmark |
| Editors | K. Jensen |
| Place of Publication | Aarhus |
| Publisher | Department of Computer Science |
| Pages | 107-126 |
| Publication status | Published - 2007 |
| Event | 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark - Aarhus, Denmark Duration: 22 Oct 2007 → 24 Oct 2007 http://daimi.au.dk/CPnets/proxy.php?url=/CPnets/workshop07/index |
Publication series
| Name | DAIMI PB |
|---|---|
| Volume | 584 |
| ISSN (Print) | 0105-8517 |
Workshop
| Workshop | 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN '07), October 22-24, 2007, Aarhus, Denmark |
|---|---|
| Abbreviated title | CPN '07 |
| Country/Territory | Denmark |
| City | Aarhus |
| Period | 22/10/07 → 24/10/07 |
| Internet address |