SMAWL: A SMAll Workflow Language Based on CCS

DSpace/Manakin Repository

SMAWL: A SMAll Workflow Language Based on CCS

Citable link to this page


Title: SMAWL: A SMAll Workflow Language Based on CCS
Author: Stefansen, Christian
Citation: Stefansen, Christian. 2005. SMAWL: A SMAll Workflow Language Based on CCS. Harvard Computer Science Group Technical Report TR-06-05.
Full Text & Related Files:
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
Citable link to this page:
Downloads of this work:

Show full Dublin Core record

This item appears in the following Collection(s)


Search DASH

Advanced Search