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 :
بازگشت