Why Do We Actually Need the Pi-Calculus for Business Process Management?

Download Now
Provided by: University of Portsmouth
Topic: Big Data
Format: PDF
In this paper, the author investigated why traditional formalisms for workflow, like Workflow nets, are not well suited for future BPM, as they do not match the shifting requirements of message-based, distributed, and dynamically adapting processes. Recent results have shown that the Pi-calculus is well suited for modeling classical workflows, nowadays known as service orchestrations, as well as service choreographies that together form a core foundation of future BPM based on the shifting requirements. While recent standards like BPEL4WS, BPMN, or WS-CDL tackle the problem from a practical side, a formal foundation for BPM is still missing.
Download Now

Find By Topic