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.
Pi-calculus role network model business process E-government.
Niu Guangxin Ye Xin Dai Zailin
Institute of Information and Decision Technology Dalian University of Technology Dalian,P.R.China,116023
国际会议
2008 IEEE International Conference on Onformation and Automation(IEEE 信息与自动化国际会议)
张家界
英文
1009-1014
2008-06-20（万方平台首次上网日期，不代表论文的发表时间）