Abstract:State- and flow-driven process modelling paradigms are both widely practised in the business process modelling domain. From the perspective of both from their syntax structure and intentioned application scopes, they are quite different. But one of our findings is that any one of them usually can be replaced by the other in a variety of real cases. It is shown with theoretical approach in this work that these two paradigms are equal in expressiveness power in that they can be mutually transformed into each other without any semantic losses. The motivation of this work is to suggest that researchers argue less about which method is more powerful and pay more attention to the exploration of better ways to combine different style models in addressing real problems. In this paper, (bi) imulation of Pi calculus is applied to prove the correctness of the bitransformation of two paradigms. A hybrid business model composed of a state-driven ATM machine and flow-driven withdraw processes is also illustrated with a concrete banking scenario to show how the result of bitransformation can be applied to facilitate the integration, understanding and verification of hybrid business models into real business cases.

Investigating Workflow Patterns in Term of Pi-calculus

Modeling Method for Inter-Organizational Workflow Based on Pi-Calculus

Improving Natural Language Requirements Quality Using Workflow Patterns

A Workflow Verification Method Based on Calculus.

E-business Processes Composition Based on Pi-Calculus Technology

Executive validation analysis of workflow process

The syntactical analysis of workflow model with loop structure

Web process dynamic stepped extension: Pi-calculus-based model and inference experiments

Pi Calculus-Based Bitransformation of State-Driven Model and Flow-Driven Model

A Formal Model of Human Workflow

A Novel Approach for Interorganizational Workflow System Design.

Modeling BPEL and BPEL4People with a Timed Interruptable Pi-Calculus.

Business Process Modeling and Verification of Coordinated Examination and Approve System Based on PI-calculus

Unified Modeling and Analysis based on Petri nets and Pi calculus

Verifying Workflow Processes: a Transformation-Based Approach

Inter-Organizational Business Process Modeling For Electronic Commerce Based On Pi-Calculus

Modeling BPEL and BPEL4People with a timed interruptable π-calculus

Workflow patterns put into context

Collaboration Business Processes Modeling Based on Petri Nets and Pi Calculus

Pattern-based Analysis of BPMN

Alternative Representations of Workflow Control-Flow Patterns Using HOPS