Communicating sequential processes
Communicating sequential processes
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Distributed and Parallel Databases
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Models for data-flow sequential processes
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
A trace semantics for long-running transactions
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Practical application of CSP and FDR to software design
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Industrial strength CSP: opportunities and challenges in model-checking
CSP'04 Proceedings of the 2004 international conference on Communicating Sequential Processes: the First 25 Years
Towards a Formal Framework for Workflow Interoperability
Web Services and Formal Methods
Analysing scientific workflows with Computational Tree Logic
Cluster Computing
Dynamic enforcement of abstract separation of duty constraints
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
Designing quality business processes for E-government digital services
EGOV'10 Proceedings of the 9th IFIP WG 8.5 international conference on Electronic government
CorPN: managing instance correspondence in collaborative business processes
Distributed and Parallel Databases
From ASTD access control policies to WS-BPEL processes deployed in a SOA environment
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Proceedings of the 5th India Software Engineering Conference
Form follows function: model-driven engineering for clinical trials
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Enforcing ASTD Access-Control Policies with WS-BPEL Processes in SOA Environments
International Journal of Systems and Service-Oriented Engineering
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
Hi-index | 0.00 |
This paper describes a process-algebraic approach to specification and refinement of workflow processes. In particular, we model both specification and implementation of workflows as CSP processes. CSP's behavioural models and their respective refinement relations not only enable us to prove correctness properties of an individual workflow process against its behavioural specification but also allows us to design and develop workflow processes compositionally. Moreover, coupled with CSP is an industrial strength automated model checker FDR, which allows behavioural properties of workflow models to be proved automatically. This paper details some CSP models of van der Aalst et al.'s control flow workflow patterns, and illustrates behavioural specification and refinement of workflow systems with a business process scenario.