Goal-oriented requirements analysis and reasoning in the Tropos methodology |
| |
| Affiliation: | 1. Department of Information and Communication Technology, University of Trento, via sommarive, 14, Italy povo (trento), trento, Italy M5S 3H5;2. Department of Computer Science, University of Toronto, 6 King''s College Road, Toronto, Ont., Canada M5S 3H5;1. Department of Computer Engineering, Islamic Azad University Science and Research Branch, Tehran, Iran;2. Department of Computer Science, Sharif University of Technology, Tehran, Iran;1. Collaborative Autonomic Computing Laboratory, School of Computer Science, University of Electronic Science and Technology of China, China;2. The Israel Electric Corporation Ltd., P.O. Box 10, Haifa 31000, Israel;3. Faculty of Social Sciences, University of Stavanger, N-4036 Stavanger, Norway |
| |
| Abstract: | Tropos is an agent-oriented software methodology proposed in (J. Autonomous Agents Multi-Agent Syst. 8(3) (2004) 203; Inf. Syst. 27(6) (2002) 365). The methodology is founded on the notions of agent and goal, and goal analysis is used extensively to support software development during different phases. This paper adopts a formal goal model defined and analyzed in (J. Data Semantics 1 (2003); Proceedings of the International Conference on Advanced Information Systems Engineering, CAISE’04, vol. 3804 of LNCS, Springer, Berlin, 2004, pp. 20–33) to make the goal analysis process concrete through the use of forward and backward reasoning for goal models. The formal goal analysis is illustrated through examples, using an implemented goal reasoning tool. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
