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
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;
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
DOI :
10.1109/ICMSS.2010.5576579
