Requirements Elicitation and Analysis of Multiagent Systems Using Activity Theory

Requirements elicitation and analysis is intended to gain knowledge about customers' needs and the environment of a software system. Requirements not only commonly deal with business processes and their data but also with the motivation behind these activities, the social structures that forge them, and previous design decisions. Recent studies show that the intentional and social concepts of agent-oriented software engineering (AOSE) could be used for the analysis of these aspects. Nevertheless, even having specialized modeling primitives for these requirements is not sufficient for their elicitation. Specialized analysis techniques are also required, but this is commonly overlooked by agent-oriented methodologies. This paper aims to provide the needed modeling primitives and support by means of the theoretical and methodological foundation of a social sciences framework, the activity theory, and its activity checklist. They inspire our requirements elicitation guide (REG) for AOSE. The REG contains the expert knowledge that developers need to grasp information about their multiagent systems, human environments, and their mutual influences. This knowledge takes the form of requirements described as diagrams in a proper modeling language. The REG is applied in a process with the corresponding support tool. In this way, the REG guides requirements elicitation and increases the productivity with the use of templates for a wide range of requirements. These elements have been validated with several case studies. Two of them appear as part of this paper.

[1]  Anand S. Rao,et al.  A Methodology and Modelling Technique for Systems of BDI Agents , 1996, MAAMAW.

[2]  M. Bunge Mind and Society , 2010 .

[3]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[4]  M. Cole,et al.  Cognitive Development: Its Cultural and Social Foundations , 1976 .

[5]  José Carlos González,et al.  Analysis and Design of multiagent systems using MAS-CommonKADS , 1998 .

[6]  Sarit Kraus,et al.  Planning and Acting Together , 1999, AI Mag..

[7]  José M. Molina,et al.  Fuzzy referral based cooperation in social networks of agents , 2005 .

[8]  Juan M. Corchado,et al.  Constructing deliberative agents with case‐based reasoning technology , 2003, Int. J. Intell. Syst..

[9]  Jorge J. Gómez-Sanz,et al.  Requirements Elicitation for Agent-Based Applications , 2005, AOSE.

[10]  Gauthier Picard,et al.  ADELFE: A Methodology for Adaptive Multi-agent Systems Engineering , 2002, ESAW.

[11]  Hector J. Levesque,et al.  ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..

[12]  M. Brauer,et al.  Social power , 2006 .

[13]  Jorge J. Gómez-Sanz,et al.  Methodologies for Developing Multi-Agent Systems , 2004, J. Univers. Comput. Sci..

[14]  Eric S. K. Yu,et al.  Towards modelling and reasoning support for early-phase requirements engineering , 1997, Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering.

[15]  Victor Kaptelinin,et al.  Methods & tools: The activity checklist: a tool for representing the “space” of context , 1999, INTR.

[16]  A. N. Leont’ev,et al.  Activity, consciousness, and personality , 1978 .

[17]  Jorge J. Gómez-Sanz,et al.  The INGENIAS Methodology and Tools , 2005 .

[18]  Jorge J. Gómez-Sanz,et al.  Model integration in agent-oriented development , 2007, Int. J. Agent Oriented Softw. Eng..

[19]  Jorge J. Gómez-Sanz,et al.  Managing Contradictions in Multi-Agent Systems , 2007, IEICE Trans. Inf. Syst..

[20]  David Wasserman The Activity Checklist : A Tool for Representing the “ Space ” of Context , 1999 .

[21]  Rino Falcone,et al.  Founding Autonomy: The Dialectics Between (Social) Environment and Agent's Architecture and Powers , 2003, Agents and Computational Autonomy.

[22]  Carlos Angel Iglesias,et al.  Analysis and Design of Multiagent Systems Using MAS-Common KADS , 1997, ATAL.

[23]  Yves Demazeau,et al.  On Social Reasoning in Multi-Agent Systems , 2001, Inteligencia Artif..

[24]  Michael Wooldridge,et al.  Agent-Oriented Software Engineering: The State of the Art , 2009, AOSE.

[25]  Stephen Fickas,et al.  Goal-Directed Requirements Acquisition , 1993, Sci. Comput. Program..

[26]  Olav W. Bertelsen,et al.  Elements of a theory of design artefacts - a contribution to critical systems development research , 1998, DAIMI PB.

[27]  Baltasar Fernández-Manjón,et al.  From Documents to Applications Using Markup Languages , 2008, IEEE Software.

[28]  Li Li,et al.  Formal Description of Telecommunication Services in Promela and Z , 2007 .

[29]  Eric Dubois,et al.  AGENT-ORIENTED REQUIREMENTS ENGINEERING A CASE STUDY USING THE ALBERT LANGUAGE , 1994 .

[30]  Michael Jackson,et al.  Four dark corners of requirements engineering , 1997, TSEM.

[31]  Jorge J. Gómez-Sanz,et al.  Activity Theory for the Analysis and Design of Multi-agent Systems , 2003, AOSE.

[32]  Bashar Nuseibeh,et al.  Requirements engineering: a roadmap , 2000, ICSE '00.

[33]  Ana M. García-Serrano,et al.  Using AI techniques to support advanced interaction capabilities in a virtual assistant for e-commerce , 2004, Expert Syst. Appl..