Digital Access to Scholarship at Harvard (DASH) (Harvard University) · 2005 · 31 citations · 3 references
Open access
ComputingComputer EngineeringComputer ScienceFormal MethodsProgramming LanguagesSoftware EngineeringModel TransformationPetri NetsWorkflow DesignWorkflow ManagementWorkflow OrchestrationCalculus Of Communicating SystemsPetri Net LanguagesPetri Net ModelsPetri Net SemanticsSource-oriented TranslationWorkflow ExecutionWorkflow Specification Languages
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. 1
3