DocumentCode
518940
Title
Extended Workflow Patterns description in term of Pi-Calculus
Author
Yu, Kui ; Qian, Yanjun ; Xue, Gang ; Yao, Shaowen
Author_Institution
Sch. of Inf. Sci. & Eng., Yunnan Univ., Kunming, China
fYear
2010
fDate
11-13 May 2010
Firstpage
654
Lastpage
659
Abstract
Workflow patterns contain basic features of business process. How to implement these patterns depends on the modeling languages and methods. Extended Workflow Patterns, containing 23 patterns, are extended patterns based on the original 20 patterns. This paper proposes Pi-calculus as a formal foundation for workflow. Furthermore, Extended Workflow Patterns were described in term of Pi-calculus in detail.
Keywords
pi calculus; workflow management software; business process; extended workflow patterns description; modeling languages; pi-calculus; Algebra; Business; Calculus; Impedance matching; Information science; Lakes; Pattern matching; Petri nets; Software tools; Web services; Business Process; Extended Workflow Patterns; Pi-calculus;
fLanguage
English
Publisher
ieee
Conference_Titel
New Trends in Information Science and Service Science (NISS), 2010 4th International Conference on
Conference_Location
Gyeongju
Print_ISBN
978-1-4244-6982-6
Electronic_ISBN
978-89-88678-17-6
Type
conf
Filename
5488536
Link To Document