When Are Two Workflows the Same?

Hidders, Jan, Dumas, Marlon, van der Aalst, Wil M.P., ter Hofstede, Arthur H.M., & Verelst, Jan (2005) When Are Two Workflows the Same? In Atkinson, Mike & Denhe, Frank (Eds.) Eleventh Computing: The Australasian Theory Symposium (CATS2005), February 2005, Newcastle, Australia.


In the area of workflow management, one is confronted with a large number of competing languages and the relations between them (e.g. relative expressiveness) are usually not clear. Moreover, even within the same language it is generally possible to express the same workflow in different ways, a feature known as variability. This paper aims at providing some of the formal groundwork for studying relative expressiveness and variability by defining notions of equivalence capturing different views on how workflow systems operate. Firstly, a notion of observational equivalence in the absence of silent steps is defined and related to classical bisimulation. Secondly, a number of equivalence notions in the presence of silent steps are defined. A distinction is made between the case where silent steps are visible (but not controllable) by the environment and the case where silent steps are not visible, i.e., there is an alternation between system events and environment interactions. It is shown that these notions of equivalence are different and do not coincide with classical notions of bisimulation with silent steps (e.g. weak and branching).

Impact and interest:

8 citations in Scopus
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:

252 since deposited on 19 Jul 2006
27 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: 729
Item Type: Conference Paper
Refereed: Yes
Additional URLs:
Keywords: workflow, bisimulation, comparative concurrency semantics
ISBN: 1920682236
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2005 Australian Computer Society
Copyright Statement: Reproduced in accordance with the copyright policy of the publisher.
Deposited On: 19 Jul 2006 00:00
Last Modified: 29 Feb 2012 13:11

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page