• DocumentCode
    495545
  • 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
  • Volume
    4
  • fYear
    2009
  • fDate
    March 31 2009-April 2 2009
  • Firstpage
    569
  • Lastpage
    574
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Science and Information Engineering, 2009 WRI World Congress on
  • Conference_Location
    Los Angeles, CA
  • Print_ISBN
    978-0-7695-3507-4
  • Type

    conf

  • DOI
    10.1109/CSIE.2009.923
  • Filename
    5171060