QUT ePrints

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.

Abstract

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:

Citation countsare 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:

153 since deposited on 11 Nov 2008
31 in the past twelve months

Full-text downloadsdisplays 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
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
Last Modified: 29 Feb 2012 23:33

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page