dc.contributor.author | Stefansen, Christian | |
dc.date.accessioned | 2016-01-06T21:41:58Z | |
dc.date.issued | 2005 | |
dc.identifier.citation | Stefansen, Christian. 2005. SMAWL: A SMAll Workflow Language Based on CCS. Harvard Computer Science Group Technical Report TR-06-05. | en_US |
dc.identifier.uri | http://nrs.harvard.edu/urn-3:HUL.InstRepos:24015803 | |
dc.description.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. | en_US |
dc.description.sponsorship | Engineering and Applied Sciences | en_US |
dc.language.iso | en_US | en_US |
dash.license | LAA | |
dc.title | SMAWL: A SMAll Workflow Language Based on CCS | en_US |
dc.type | Research Paper or Report | en_US |
dc.description.version | Version of Record | en_US |
dc.date.available | 2016-01-06T21:41:58Z | |