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
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;
Conference_Titel :
Business Computing and Global Informatization (BCGIN), 2012 Second International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4673-4469-2
DOI :
10.1109/BCGIN.2012.144
