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
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;
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
