DocumentCode
2539566
Title
Based-on Pi-calculus Business Process Modeling
Author
Xu, Hongfa ; Chen, Wei
Author_Institution
Dept. of Human Resources, Chinese People Public Security Univ., Beijing, China
fYear
2012
fDate
12-14 Oct. 2012
Firstpage
530
Lastpage
532
Abstract
With development of business process management technology and information technology, we can simulate business processes. How to describe business process by structural language and check business process model are the issues. We develop a business processes system by SOA and model business process actions by Pi-calculus and check the model by MWB.
Keywords
business process re-engineering; modelling; pi calculus; service-oriented architecture; specification languages; MWB; SOA; business process management technology; business process model; business process simulation; business process system; information technology; pi-calculus business process modeling; structural language; Business; Computational modeling; Concurrent computing; Mobile communication; Servers; Waste materials; Web services; Business Process Management System; Pi-calculus;
fLanguage
English
Publisher
ieee
Conference_Titel
Business Computing and Global Informatization (BCGIN), 2012 Second International Conference on
Conference_Location
Shanghai
Print_ISBN
978-1-4673-4469-2
Type
conf
DOI
10.1109/BCGIN.2012.144
Filename
6382585
Link To Document