newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets

Russell, Nicholas, ter Hofstede, Arthur H.M., & van der Aalst, Wil M. (2007) newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets. In Jensen, K. (Ed.) Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools - CPN'07, October 22-24, 2007, Aarhus, Denmark.


newYAWL is a business process modelling language founded on the workflow patterns. It radically extends the YAWL offering to provide holistic support for the control-flow, data and resource perspectives and allows business processes to be captured in suffcient 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.

Impact and interest:

Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

194 since deposited on 11 Nov 2008
8 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 15557
Item Type: Conference Paper
Refereed: Yes
Additional Information: The contents of this conference can be freely accessed online via the conference's web page (see hypertext link).
Additional URLs:
ISSN: 0105-8517
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > INFORMATION SYSTEMS (080600) > Information Systems Development Methodologies (080608)
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2007 (please consult author)
Deposited On: 11 Nov 2008 00:00
Last Modified: 29 Feb 2012 13:33

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page