SMAWL: A SMAll Workflow Language Based on CCS
Citation
Stefansen, Christian. 2005. SMAWL: A SMAll Workflow Language Based on CCS. Harvard Computer Science Group Technical Report TR-06-05.Abstract
There is an ongoing debate in the workflow community about the relative merits of Petri nets and π-calculus for workflow modeling. Recently, van der Aalst presented some challenges to model workflow in π-calculus. This paper responds to those challenges by showing how to code the 20 most commonplace workflow patterns in CCS (a subset of π-calculus), and describes two new workflow patterns that were identified in the process. It then presents a CCS-based language, SMAWL, as a result of this work and shows how the Recording Star example can be expressed in SMAWL. The applicability of π-calculus to the workflow modeling domain is briefly discussed and a new overlaying operator is discussed with applications to workflow descriptions.Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAACitable link to this page
http://nrs.harvard.edu/urn-3:HUL.InstRepos:24015803
Collections
- FAS Scholarly Articles [18172]
Contact administrator regarding this item (to report mistakes or request changes)