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:
Citation countsare sourced monthly fromand 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 theindexing service can be viewed at the linked Google Scholar™ search.
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.
|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).|
|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|
Repository Staff Only: item control page