• DocumentCode
    467069
  • Title

    Integration of Agent-Oriented Conceptual Models and UML Activity Diagrams Using Effect Annotations

  • Author

    Bhuiyan, Moshiur ; Islam, M. M Zahidul ; Krishna, Aneesh ; Ghose, Aditya

  • Author_Institution
    Univ. of Wollongong, Wollongong
  • Volume
    1
  • fYear
    2007
  • fDate
    24-27 July 2007
  • Firstpage
    171
  • Lastpage
    178
  • Abstract
    Agent-oriented conceptual modeling notations such as i* represents an interesting approach for modeling early phase requirements which includes organizational contexts, stakeholder intentions and rationale. On the other hand, Unified Modeling Language (UML) is suitable for later phases of requirement capture which usually focus on completeness, consistency, and automated verification of functional requirements for the new system. In this paper, we propose a methodology to facilitate and support the combined use of notation for modeling requirement engineering process in a synergistic fashion. For organizational modeling/early phase requirements capturing we use the i* modeling framework that describes the organizational relationships among various actors and their rationales. For late (functional) requirements specification, we rely on UML activity diagram.
  • Keywords
    Unified Modeling Language; formal specification; formal verification; UML activity diagrams; Unified Modeling Language; agent-oriented conceptual models; automated verification; early phase requirements; effect annotations; functional requirements; organizational relationships; requirement engineering process; Australia; Computer architecture; Computer languages; Computer science; Context modeling; Formal languages; Information technology; Laboratories; Proposals; Unified modeling language;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
  • Conference_Location
    Beijing
  • ISSN
    0730-3157
  • Print_ISBN
    0-7695-2870-8
  • Type

    conf

  • DOI
    10.1109/COMPSAC.2007.130
  • Filename
    4291001