A modeling method based on CCS for workflow

Authors:
Li Zhao;Qing Li;Xiaoli Liu;Nanshan Du
Affiliations:
City University of Hong Kong, Hong Kong, China and Wuhan University, Wuhan, Hubei, China;City University of Hong Kong, Hong Kong, China;Jinan University, Guangzhou, China;City University of Hong Kong, Hong Kong, China and Wuhan University, Wuhan, Hubei, China
Venue:
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Year:
2009

Citing 5
Cited 1

Communication and Concurrency

Communication and Concurrency
Workflow Patterns

Distributed and Parallel Databases
A Novel Graph Reduction Algorithm to Identify Structural Conflicts

HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
A Workflow Verification Method Based on Calculus.

TASE '07 Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering
Using the π-calculus for formalizing workflow patterns

BPM'05 Proceedings of the 3rd international conference on Business Process Management

Designing quality business processes for E-government digital services

EGOV'10 Proceedings of the 9th IFIP WG 8.5 international conference on Electronic government

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow model is used to generate a computerized definition of a business process and help the designer to design, test and validate workflow process. Convenient for verification and optimization, formalized technologies on modeling receive large attentions for their strong theoretic bases. However, none of the existing methods can meet complicated requirements in current business environments. In this paper, we introduce a new modeling method based on the Calculus of Communicating Systems (CCS) to describe behaviors between processes in intricate workflows, by adding dependent constraints and parameters into activity expressions. We provide a specification language to establish a formal model and capture its relevant graphical model in succession. The modeling method is explicated through an example as a case study.