High variability design for software agents: Extending Tropos

Many classes of distributed applications, including e-business, e-government, and ambient intelligence, consist of networking infrastructures, where the nodes (peers)—be they software components, human actors or organizational units—cooperate with each other to achieve shared goals. The multi-agent system metaphor fits very well such settings because it is founded on intentional and social concepts and mechanisms. Not surprisingly, many agent-oriented software development methods have been proposed, including GAIA, PASSI, and Tropos. This paper extends the Tropos methodology, enhancing its ability to support high variability design through the explicit modelling of alternatives, it adopts an extended notion of agent capability and proposes a refined Tropos design process. The paper also presents an implemented software development environment for Tropos, founded on the Model-Driven Architecture (MDA) framework and standards. The extended Tropos development process is illustrated through a case study involving an e-commerce application.

[1]  Axel Uhl,et al.  MDA Distilled , 2004 .

[2]  Lin Padgham,et al.  Formalisations of Capabilities for BDI-Agents , 2005, Autonomous Agents and Multi-Agent Systems.

[3]  Jörg P. Müller,et al.  Agent UML: A Formalism for Specifying Multiagent Software Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..

[4]  Scott A. DeLoach,et al.  Multiagent Systems Engineering , 2001, Int. J. Softw. Eng. Knowl. Eng..

[5]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[6]  Joanna Bryson,et al.  Toward Behavioral Intelligence in the Semantic Web , 2002, Computer.

[7]  Anna Perini,et al.  Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.

[8]  T. Gardner,et al.  A review of OMG MOF 2 . 0 Query / Views / Transformations Submissions and Recommendations towards the final Standard , 2003 .

[9]  Agostino Poggi,et al.  Jade - a fipa-compliant agent framework , 1999 .

[10]  Fausto Giunchiglia,et al.  Tropos: An Agent-Oriented Software Development Methodology , 2004, Autonomous Agents and Multi-Agent Systems.

[11]  Michael Winikoff,et al.  A model driven component-based development framework for agents , 2005, Comput. Syst. Sci. Eng..

[12]  Onn Shehory,et al.  Evaluation of modeling techniques for agent-based systems , 2001, AGENTS '01.

[13]  John Mylopoulos,et al.  The Tropos Metamodel and its Use , 2005, Informatica.

[14]  Leon Sterling,et al.  ROADMAP: extending the gaia methodology for complex open systems , 2002, AAMAS '02.

[15]  Michael Winikoff,et al.  Comparing Agent-Oriented Methodologies , 2003, AOIS.

[16]  Winfried Lamersdorf,et al.  Jadex: A BDI Reasoning Engine , 2005, Multi-Agent Programming.

[17]  Michael Winikoff,et al.  Developing intelligent agent systems - a practical guide , 2004, Wiley series in agent technology.

[18]  Loris Penserini,et al.  Social-oriented engineering of intelligent software , 2007, Web Intell. Agent Syst..

[19]  John Mylopoulos,et al.  From Capability Specifications to Code for Multi-Agent Software , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[20]  Franco Zambonelli,et al.  Methodologies and Software Engineering for Agent Systems , 2004, Multiagent Systems, Artificial Societies, and Simulated Organizations.

[21]  Massimo Cossentino,et al.  From Requirements to Code with PASSI Methodology , 2005 .

[22]  John Mylopoulos,et al.  Simple and Minimum-Cost Satisfiability for Goal Models , 2004, CAiSE.

[23]  John Mylopoulos,et al.  From Stakeholder Intentions to Software Agent Implementations , 2006, CAiSE.

[24]  D. Carver,et al.  Supporting rigorous evolution of UML models , 2004, Proceedings. Ninth IEEE International Conference on Engineering of Complex Computer Systems.

[25]  J. Mylopoulos,et al.  Towards requirements-driven autonomic systems design , 2005, ACM SIGSOFT Softw. Eng. Notes.

[26]  Franco Zambonelli,et al.  Methodologies and software engineering for agent systems : the agent-oriented software engineering handbook , 2004 .

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

[28]  SusiAngelo,et al.  High variability design for software agents , 2007 .

[29]  John Mylopoulos,et al.  Specifying and analyzing early requirements in Tropos , 2004, Requirements Engineering.

[30]  Brian Henderson-Sellers,et al.  Agent-oriented methodologies , 2005 .

[31]  Anna Perini,et al.  Agent-oriented visual modeling and model validation for engineering distributed systems , 2005, Comput. Syst. Sci. Eng..

[32]  John Mylopoulos,et al.  Goal-oriented requirements analysis and reasoning in the Tropos methodology , 2005, Eng. Appl. Artif. Intell..

[33]  John Mylopoulos,et al.  Designing Cooperative IS: Exploring and Evaluating Alternatives , 2006, OTM Conferences.

[34]  John Mylopoulos,et al.  A Goal-Based Organizational Perspective on Multi-agent Architectures , 2001, ATAL.

[35]  Bernhard Bauer,et al.  Agent UML : A formalism for specifying multiagent interaction , 2001 .

[36]  John Mylopoulos,et al.  Towards requirements-driven information systems engineering: the Tropos project , 2002, Inf. Syst..

[37]  Yijun Yu,et al.  Towards requirements-driven autonomic systems design , 2005, ACM SIGSOFT Softw. Eng. Notes.