newYAWL: Specifying a work ow reference language using Coloured Petri Nets (2007)
| Venue: | Department of Computer Science, University of Aarhus |
| Citations: | 1 - 1 self |
BibTeX
@INPROCEEDINGS{Russell07newyawl:specifying,
author = {Nick Russell and Arthur H. M. Ter Hofstede},
title = {newYAWL: Specifying a work ow reference language using Coloured Petri Nets},
booktitle = {Department of Computer Science, University of Aarhus},
year = {2007},
pages = {107--126}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. newYAWL is a business process modelling language founded on the work ow patterns. It radically extends the YAWL o ering to provide holistic support for the control- ow, data and resource perspectives and allows business processes to be captured in su cient 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 o ering of this scale using formal techniques. 1
Citations
| 29 | Understanding and using patterns in software development - Riehle, Züllighoven - 1996 |
| 10 | Some rules to transform sequence diagrams into coloured Petri nets - Ribeiro, Fernandes - 2006 |
| 4 | Workow control- ow patterns: A revised view - Russell, Hofstede, et al. - 2006 |
| 4 | newYAWL: achieving comprehensive patterns support in work ow for the control- ow, data and resource perspectives - Russell, Hofstede, et al. - 2007 |
