DocumentCode
3150356
Title
Investigating Workflow Patterns in Term of Pi-calculus
Author
Xue, Gang ; Lu, Joan ; Yao, Shaowen
Author_Institution
Yunnan Univ., Kunming
fYear
2007
fDate
26-28 April 2007
Firstpage
823
Lastpage
827
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CSCWD.2007.4281543
Filename
4281543
Link To Document