DocumentCode
1896223
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
Volume
1
fYear
2012
fDate
23-25 March 2012
Firstpage
571
Lastpage
575
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Science and Electronics Engineering (ICCSEE), 2012 International Conference on
Conference_Location
Hangzhou
Print_ISBN
978-1-4673-0689-8
Type
conf
DOI
10.1109/ICCSEE.2012.236
Filename
6187911
Link To Document