Title :
Investigating Workflow Patterns in Term of Pi-calculus
Author :
Xue, Gang ; Lu, Joan ; Yao, Shaowen
Author_Institution :
Yunnan Univ., Kunming
Abstract :
Workflow patterns contain basic features of business process. How to implement these patterns depends on the modeling languages and methods. Pi-calculus, as a kind of process algebra, can be applied in business process modeling. This paper uses Pi-calculus, as a formalizing utility, to investigate some workflow patterns that may have multiple presentation versions with BPMN. The main goal is to explore expressive capabilities of Pi-calculus regarding business process and check representations of workflow patterns in Pi-calculus.
Keywords :
business data processing; pi calculus; specification languages; workflow management software; business process modeling; modeling language; pi-calculus; process algebra; workflow pattern; Algebra; Automata; Bridges; Collaborative work; Design engineering; Information science; Petri nets; Runtime; Standards development; Workflow management software; Business Process Modeling; Pi-calculus; Workflow Management System; Workflow Patterns;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
1-4244-0963-2
Electronic_ISBN :
1-4244-0963-2
DOI :
10.1109/CSCWD.2007.4281543
