Title :
Formalized Representation of EGP Process Based on Multi-agent
Author :
Jiang, Ming ; Liu, Jishan ; Wu, Shuguang ; Ma, Yanru
Author_Institution :
Manage. Sci. & Eng. Sch., Dongbei Univ. of Finance & Econ., Dalian, China
Abstract :
Based on Agent theories, this paper extract the basic elements of e-government procurement process, map the process participants to different Agents and using the finite automata theory, conduct formalized representation on concurrent tasks and interaction between Multi-Agents.
Keywords :
finite automata; formal specification; formal verification; government data processing; multi-agent systems; procurement; EGP process; agent theory; concurrent task; e-government procurement process; electronic government; finite automata theory; formalized representation; multi-agent interaction; Automata; Educational institutions; Electronic government; Procurement; Solids; Agent; E-government Procurement Process; Finite Automata; Formalized Representation;
Conference_Titel :
Computer Science and Electronics Engineering (ICCSEE), 2012 International Conference on
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4673-0689-8
DOI :
10.1109/ICCSEE.2012.236
