SMAWL: A SMAll Workflow Language Based on CCS

Christian Stefansen

31 citations0/0 files storedDigital Access to Scholarship at Harvard (DASH) (Harvard University)

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Logic, programming, and type systems Petri Nets in System Modeling

Abstract

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

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 31 citations exist upstream.

References

2002Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages.

Cited by

2009Specifying and Analyzing Workflows for Automated Identification and Data Capture 2010Business Processes Verification for e-Government Service Delivery

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.