Based-on Pi-calculus Business Process Modeling

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.