Abstract
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full knowledge of these behavioural aspects, as they are not traditional software components. Their study involves new concepts and techniques, belonging to social sciences, to be integrated into software development. In this paper we show how to use the Activity Theory as a support for current Multi-Agent System methodologies. The application of the same social concepts at every stage of the development cycle allows requirements traceability, and provides methods to describe social properties and decide whether the specification satisfies them or not. The use of the approach is shown with a case study.
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) (1981)
Brazier, F.M.T., Dunin-Keplicz, B.M., Jennings, N.R., Treur, J.: DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework. In: International Journal of Cooperative Information Systems, special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems (1997)
Button, G., Dourish, P.: Technomethodology: Paradoxes and Possibilities. In: ACM Proceedings of CHI 1996, Vancouver, pp. 19–26 (1996)
Constantine, L.L.: Constantine on Peopleware. Yourdon Press, Englewood Cliffs (1995)
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 (LNAI), 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)
Goguen, J.A.: The Dry and the Wet. Information System Concepts, pp. 1–17. Elsevier, North-Holland (1992)
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
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.: Problems of the development of the mind. Moscow, Progress (1981)
Malsch, T.: Naming the Unnamable: Socionics or the Sociological Turn of/to Distributed Artificial Intelligence. Autonomous Agents and Multi-Agent Systems 4(3), 155–186 (2001)
Nuseibeh, B., Easterbrook, S.: Requirements Engineering: A Roadmap. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, June 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 (LNAI), vol. 2691, pp. 394–403. Springer, Heidelberg (2003)
Sichman, J., Demazeau, Y.: On Social Reasoning in Multi-Agent Systems. Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, Special Issue on Development of Multi-Agent Systems 13, 68–84 (2001)
Sykara, K.P.: Multiagent systems. AI Magazine 19(2) (1998)
Vygotsky: Mind and Society, Cambridge MA, Harvard University (1978)
Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 1–28. Springer, Heidelberg (2001)
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). A Sociological Framework for Multi-agent Systems Validation and Verification. In: Wang, S., et al. Conceptual Modeling for Advanced Application Domains. ER 2004. Lecture Notes in Computer Science, vol 3289. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30466-1_42
Download citation
DOI: https://doi.org/10.1007/978-3-540-30466-1_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23722-8
Online ISBN: 978-3-540-30466-1
eBook Packages: Springer Book Archive