Title :
An Agent-Oriented Requirement Graphic Symbol Representation and Formalization Modeling Method
Author :
Huiying, Xu ; Zhi, Jin
Author_Institution :
Coll. of Math., Phys. & Inf. Eng., Zhejiang Normal Univ., Jinhua, China
fDate :
March 31 2009-April 2 2009
Abstract :
As the development of agent technology, agent-oriented software engineering has become a developing trend in future software engineering field, and agent-oriented requirements analysis and modeling are the research focuses. Based on the introduction of several classic agent-oriented requirements analyses and modeling methods, this paper defines a group of agent-oriented representation methods of graphical symbols and formalization modeling language, and then it describes the requirements of the whole agent-oriented system. And finally to verify, analyze and explain, an instance was illustrated using this modeling method.
Keywords :
formal specification; multi-agent systems; object-oriented programming; software agents; specification languages; systems analysis; agent technology development; agent-oriented requirement analysis; agent-oriented software engineering; formalization modeling language; graphic symbol representation; multiagent system; Computer science; Graphics; Mathematical model; Mathematics; Multiagent systems; Object oriented modeling; Personnel; Programming; Software engineering; Standardization; Agent; Modeling method; Multi-agent system; Requirements analysis;
Conference_Titel :
Computer Science and Information Engineering, 2009 WRI World Congress on
Conference_Location :
Los Angeles, CA
Print_ISBN :
978-0-7695-3507-4
DOI :
10.1109/CSIE.2009.923