Abstract
Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software engineering methodologies need to cope with the complexity of requirements specification in such scenarios, where new requirements may emerge also at run-time and the system’s goals are expected to evolve to meet new stakeholder needs.
Following an agent-oriented approach, we are studying methods and techniques to design adaptive and evolvable information systems able to fulfill stakeholders’ objectives.
In a previous work we defined an Agent-Oriented framework to design and code system specifications in terms of goal models and we instantiated it in a tool supported process which exploits the Agent-Oriented Software Engineering methodology Tropos and the Multi-Agent Platform JADE/Jadex [11].
In this paper, we show how to use this framework to develop a system following an iterative process, where the system execution allows enriching the system specification given in terms of goal models.
Experimental evaluation has been performed on a simple example and lead to the refinement of the designed goal model upon the analysis of the system’s run-time behaviour.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203–236 (2004)
Cheong, C., Winikoff, M.: Hermes: Designing Goal-Oriented Agent Interactions. In: The proceedings of the 6th International Workshop on Agent-Oriented Software Engineering (AOSE-2005) Utrecht, colocated with AAMAS 2005 (2005)
Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with Goal Models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, Springer, Heidelberg (2002)
Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Inc. (2005)
Jennings, N.: Foundations of Distributed Artificial Intelligence, chapter Coordination Techniques for Distributed Artificial Intelligence. Wiley-IEEE (1996)
Jennings, N., Sycara, K., Wooldridge, M.: A roadmap of agent research and development. Autonomous Agents and Multi-Agent Systems 1(1), 7–38 (1998)
Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards Requirements-Driven Autonomic Systems Design. In: Design and Evolution of Autonomic Application Software (DEAS 2005) at ICSE 2005 (2005)
Norvig, P., Cohn, D.: Adaptive software. PC AI 11(1), 27–30 (1997)
Padgham, L., Winikoff, M.: Prometheus: A practical agent-oriented methodology. In: Henderson-Sellers, B., Giorgini, P. (eds.) Agent-Oriented Methodologies, Idea Group (2005)
Penserini, L., Liu, L., Mylopoulos, J., Panti, M., Spalazzi, L.: Modeling and Evaluating Cooperation Strategies in P2P Agent Systems. In: Moro, G., Koubarakis, M. (eds.) AP2PC 2002. LNCS (LNAI), vol. 2530, Springer, Heidelberg (2003)
Penserini, L., Perini, A., Susi, A., Morandini, M., Mylopoulos, J.: A Design Framework for Generating BDI-agents from Goal Models. In: Sheory, O., Huhns, M. (eds.) AAMAS 2007, 6th International Joint Conference on Autonomous Agents and Multi-Agent Systems, Honolulu, Hawai’i (2007), Extended version available as ITC-irst TR200601002 at: http://sra.itc.it/images/sepapers/bdiagents_goalmodels.pdf
Penserini, L., Perini, A., Susi, A., Mylopoulos, J.: From Stakeholder Intentions to Software Agent Implementations. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 465–479. Springer, Heidelberg (2006)
Perini, A., Susi, A.: Automating Model Transformations in Agent-Oriented Modelling. In: Müller, J.P., Zambonelli, F. (eds.) AOSE 2005. LNCS, vol. 3950, pp. 167–178. Springer, Heidelberg (2006)
Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: A bdi reasoning engine. In: Bordini, J.D.R., Dastani, M., Seghrouchni, A.E.F. (eds.) Multi-Agent Programming, vol. 9, pp. 149–174. Springer Science+Business Media Inc., USA (2005) (Book chapter)
Rao, A.S., Georgeff, M.P.: Modeling rational agents within a bdi-architecture. In: KR, pp. 473–484 (1991)
Yu, E.: Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto (1995)
Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multiagent systems: The gaia methodology. ACM Transactions on software Engineering and Methodology 12(3), 317–370 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Morandini, M., Penserini, L., Perini, A., Susi, A. (2008). Refining Goal Models by Evaluating System Behaviour. In: Luck, M., Padgham, L. (eds) Agent-Oriented Software Engineering VIII. AOSE 2007. Lecture Notes in Computer Science, vol 4951. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79488-2_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-79488-2_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79487-5
Online ISBN: 978-3-540-79488-2
eBook Packages: Computer ScienceComputer Science (R0)