Article2006

Why do we actually need the Pi-calculus for business process management?

36 citations0/0 files stored

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 Service-Oriented Architecture and Web Services

Abstract

Abstract. This paper discusses the applicability ofaprocess algebra, the π-calculus, as aformal foundation for Business Process Management (BPM). We therefore investigate the π-calculus from atechnical viewpoint based on current work in this area. The paper summarizes shifting requirements and discusses evolving theories behind BPM from the past over state–of–the–art to the future. The concepts and theories are concluded by an illustrating example highlighting why the π-calculus is a promising foundation for future BPM. 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 — 36 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2003Workflow Patterns 2003Business Process Management: A Survey 2003Business Process Management: The Third Wave 2002Inheritance of workflows: an approach to tackling problems related to change 2010Business process modeling languages 2005Essential Business Process Modeling 2013The P2P Approach to Interorganizational Workflows

Cited by

2008Advanced Querying and Reasoning on Business Process Models 2009Evaluation of a business continuity plan using process algebra and modal logic

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.