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
Link To Document