SMAWL: A SMAll Workflow Language Based on CCS

  title={SMAWL: A SMAll Workflow Language Based on CCS},
  author={Christian Stefansen},
  booktitle={CAiSE Short Paper Proceedings},
This paper provides a overview of SMAWL, a SMAll Workflow Language based on CCS (Calculus of Communicating Systems). There has been a prolonged debate in the workflow community about the relative suitability of Petri nets versus π-calculus as a formal foundation for workflow languages. Here we demonstrate how to build a workflow language based on CCS (a predecessor of π-calculus). To facilitate comparison with other approaches SMAWL is designed to be able to express the same 20 patterns that… CONTINUE READING
Highly Cited
This paper has 43 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 25 extracted citations

A Visual Modeling Framework of Workflow Systems Based on CCS

2009 Fifth International Conference on Semantics, Knowledge and Grid • 2009
View 6 Excerpts
Highly Influenced

A modeling method based on CCS for workflow

View 5 Excerpts
Highly Influenced

Using a process modeling language for the design and implementation of process-driven applications

International Conference on Software Engineering Advances (ICSEA 2007) • 2007
View 4 Excerpts
Highly Influenced

User Generated Human Computation Applications

2012 International Conference on Privacy, Security, Risk and Trust and 2012 International Confernece on Social Computing • 2012
View 1 Excerpt


Publications referenced by this paper.
Showing 1-6 of 6 references

On the expressive power of (petri-net-based) workflow languages

W.M.P. van der Aalst, A.H.M. ter Hofstede. Workflow patterns
In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools • 2002
View 3 Excerpts
Highly Influenced

SMAWL: A SMAll Workflow Language based on CCS

Christian Stefansen
Technical Report TR-06-05, • 2005
View 3 Excerpts

Pict: a programming language based on the Pi-Calculus

Proof, Language, and Interaction • 2000
View 2 Excerpts

Similar Papers

Loading similar papers…