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
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;
Conference_Titel :
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location :
Beijing
Print_ISBN :
0-7695-2870-8
DOI :
10.1109/COMPSAC.2007.130