DocumentCode
2158093
Title
Formal Description of Workflow Patterns Based on Pi-Calculus
Author
Jiang, Yue ; Yu, Kui ; Wu, Zhongwei ; He, Gang
Author_Institution
Vocational & Tech. Coll., Yunnan Univ. of Finance & Econ., Kunming, China
fYear
2010
fDate
24-26 Aug. 2010
Firstpage
1
Lastpage
4
Abstract
Workflow patterns contain basic features of business process, and describe activities and their execution ordering through different constructors, which permit flow of execution control. Pi-calculus, as a kind of process algebra, can be applied in business process modeling. In this paper, we introduced a formal semantics for workflow patterns, which is based on the Pi-calculus, to investigate some workflow patterns.
Keywords
business process re-engineering; corporate modelling; pi calculus; programming language semantics; workflow management software; business process modeling; execution control; execution ordering; formal description; formal semantics; pi-calculus; process algebra; workflow patterns; Algebra; Analytical models; Business; Calculus; Computer science; Mobile communication; Semantics;
fLanguage
English
Publisher
ieee
Conference_Titel
Management and Service Science (MASS), 2010 International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-5325-2
Electronic_ISBN
978-1-4244-5326-9
Type
conf
DOI
10.1109/ICMSS.2010.5576579
Filename
5576579
Link To Document