A Pi-calculus based role network model for E-government

Business process integration has become a focus problem in the field of E-government. There exist a considerable unstructured business processes in E-government. These unstructured processes show the dynamic characteristics in runtime. Therefore, how to build the business process integration model to control and analysis these dynamic processes flexibly is a basic but important work. In this paper, firstly, based on business process management (BPM) framework, a corresponding conceptual model is proposed by integrating Pi-calculus and role network model (RNM). Then, the formal description of business processes is presented. The proposed model has two advantages. Firstly, the proposed model inherits the original idea of RNM and gives a highly abstract of organizations. Hence, it is suitable for the flexible control of governmental organizations and dynamic business processes. Secondly, the model is described formally by Pi-calculus so that it has characteristics of formalization and mobility. It is suitable to analyse and validate the dynamic processes. Finally, to demonstrate the feasibility, a practical example is given.