Abstract
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their own new techniques. Traditional Software Engineering approaches cannot manage with all the information about these components, which are as related with software development as with social disciplines. Following previous work, this paper presents a framework based in the Activity Theory to specify and verify social properties in a development process for multi-agent systems. Using this framework developers acquire tools for requirements elicitation and traceability, to detect inconsistencies in their specifications, and to get new insights into their systems. The way of working with these tools is shown with a case study.
This is a preview of subscription content, log in via an institution to check access.
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
Bødker, S., Grønboek, K.: Cooperative prototyping: users and designers in mutual activity. International Journal of Man-Machine Studies 34(3), 453–478 (1981)
Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed Requirements Acquisition. Science of Computer Programming 20, 3–50 (1993)
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Activity Theory for the Analysis and Design of Multi-Agent Systems. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 110–122. Springer, Heidelberg (2004)
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Social Analysis of Multi-Agent Systems with Activity Theory. In: Conejo, R., Urretavizcaya, M., Pérez-de-la-Cruz, J.-L. (eds.) CAEPIA/TTIA 2003. LNCS, vol. 3040. Springer, Heidelberg (2004)
Fuentes, R., Gómez-Sanz, J.J., Pavón, J.: Towards Requirements Elicitation in Multi-Agent Systems. In: Proceedings of the 4th International Symposium From Agent Theory to Agent Implementation (AT2AI 2004), Vienna, Austria (April 2004)
Hughes, J., King, V., Rodden, T., Andersen, H.: Moving out from the control room: ethnography in system design. In: Proceedings of the ACM 1994 Conference on Computer Supported Cooperative Work - CSCW 1994, pp. 429–439. ACM Press, New York (1994)
IBM alphaWorks: Robocode (2002), http://robocode.alphaworks.ibm.com
Ilyenkov, E.V.: The dialectics of the abstract and the concrete in Marx’s Capital. Progress, Moscow (1982)
Kaptelinin, V., Nardi, B.A., Macaulay, C.: The Activity Checklist: A tool for representing the “space” of context. Interactions 6(4), 27–39 (1999)
Leontiev, A.N.: Activity, Consciousness, and Personality. Prentice-Hall, Englewood Cliffs (1978)
Maes, P.: Modeling Adaptative Autonomous Agents. In: Langton, C. (ed.) Artificial Life Journal, vol. 1(1,2). MIT Press, Cambridge (1994)
McGrath, G.M., Uden, L.: Modelling Softer Aspects of the Software Development Process: An Activity Theory based approach. In: Proceedings of the HIemCSS-33 - Software Process Improvement, January 2000. IEEE Computer Society Press, Los Alamitos (2000)
Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE-2000). ACM Press, New York (2000)
Pavón, J., Gómez-Sanz, J.: Agent Oriented Software Engineering with INGENIAS. In: Mařík, V., Müller, J.P., Pěchouček, M. (eds.) CEEMAS 2003. LNCS, vol. 2691, pp. 394–403. Springer, Heidelberg (2003)
Sichman, J., Demazeau, Y.: On Social Reasoning in Multi-Agent Systems. Revista Iberoamericana de Inteligencia Artificial, n°13, pp. 68-84, AEPIA (2001)
Sykara, K.P.: Multiagent systems. AI Magazine 19(2) (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fuentes, R., Gómez-Sanz, J.J., Pavón, J. (2004). Checking Social Properties of Multi-agent Systems with Activity Theory. In: Lemaître, C., Reyes, C.A., González, J.A. (eds) Advances in Artificial Intelligence – IBERAMIA 2004. IBERAMIA 2004. Lecture Notes in Computer Science(), vol 3315. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30498-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-30498-2_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23806-5
Online ISBN: 978-3-540-30498-2
eBook Packages: Springer Book Archive