Using three AOSE toolkits to develop a sample design

At the 8th Agent-Oriented Software Engineering Workshop, the developers of tools supporting three popular agent-oriented methodologies (Tropos, Prometheus and Organization-based Multiagent Systems Engineering (O-MaSE)) demonstrated their tools using a common multi-agent system design case study: the Conference Management System. The methodologies are representative of the state-of-the-art in agent-oriented software methodologies, as they are some of the earliest and most mature agent-oriented methodologies currently available. The paper briefly summarises the three methodologies and their associated tools and then works through the analysis, architectural design and detailed design phases of the Conference Management system case study using each methodology and tool. The paper compares the models and concepts used during each phase and provides a discussion on the similarities and differences between them.

[1]  Michael Winikoff,et al.  Adding debugging support to the Prometheus methodology , 2005, Eng. Appl. Artif. Intell..

[2]  Paolo Busetta,et al.  Jack intelligent agents - components for intelligent agents in java , 1998 .

[3]  Michael Winikoff,et al.  Debugging multi-agent systems using design artifacts: the case of interaction protocols , 2002, AAMAS '02.

[4]  Danilo Santos,et al.  Developing a Conference Management System with the Multi-Agent Systems Unified Process: A Case Study , 2007, AOSE.

[5]  Anna Perini,et al.  TAOM 4 E : an Eclipse ready tool for Agent-Oriented Modeling , 2005 .

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

[7]  Matthias Klusch,et al.  Software agent-based applications, platforms and development kits , 2005 .

[8]  Scott A. DeLoach,et al.  O-MaSE: A Customizable Approach to Developing Multiagent Development Processes , 2007, AOSE.

[9]  Winfried Lamersdorf,et al.  Evaluation of Agent-Oriented Software Methodologies - Examination of the Gap Between Modeling and Platform , 2004, AOSE.

[10]  Michael Winikoff,et al.  Designing Institutional Multi-Agent Systems , 2006, AOSE.

[11]  Oscar Nierstrasz,et al.  A case study in coordination: Conference Management on the Internet , 1998 .

[12]  John Mylopoulos,et al.  Organizational Patterns for Early Requirements Analysis , 2003, CAiSE.

[13]  Axel van Lamsweerde,et al.  Managing Conflicts in Goal-Driven Requirements Engineering , 1998, IEEE Trans. Software Eng..

[14]  Anna Perini,et al.  Constraint-based Evolutionary Testing of Autonomous Distributed Systems , 2008, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop.

[15]  Marc-Philippe Huget,et al.  Representing agent interaction protocols with agent UML , 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

[16]  Michael Winikoff,et al.  Cost-based BDI plan selection for change propagation , 2008, AAMAS.

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

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

[19]  Franco Zambonelli,et al.  Multiagent System Engineering: The Coordination Viewpoint , 1999, ATAL.

[20]  Scott A. DeLoach,et al.  Analysis and Design using MaSE and agentTool , 2001 .

[21]  Angelo Susi,et al.  TAOM4E: an Eclipse ready tool for Agent-Oriented Modeling. Issue on the development process , 2005 .

[22]  G Jayatilleke.  A model driven component agent framework for domain experts , 2007 .

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

[24]  Lin Padgham,et al.  Prioritisation mechanisms to support incremental development of agent systems , 2007, Int. J. Agent Oriented Softw. Eng..

[25]  John Mylopoulos,et al.  From Stakeholder Intentions to Agent Capabilities , 2006 .

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

[27]  John Mylopoulos,et al.  High variability design for software agents: Extending Tropos , 2007, TAAS.

[28]  John Mylopoulos,et al.  The Tropos Methodology and Software Development Environment , 2011, Social Modeling for Requirements Engineering.

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

[30]  Matthew Miller,et al.  A GOAL MODEL FOR DYNAMIC SYSTEMS , 2007 .

[31]  Franco Zambonelli,et al.  Organizational Abstractions for the Analysis and Design of Multi-agent Systems , 2000, AOSE.

[32]  Michael Winikoff,et al.  Defining syntax and providing tool support for Agent UML using a textual notation , 2007, Int. J. Agent Oriented Softw. Eng..

[33]  Anna Perini,et al.  A Goal-Oriented Software Testing Methodology , 2007, AOSE.

[34]  Marco Pistore,et al.  Model checking early requirements specifications in Tropos , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[35]  Matthew B. Dwyer,et al.  Bogor: an extensible and highly-modular software model checking framework , 2003, ESEC/FSE-11.

[36]  Lin Padgham,et al.  Automated Unit Testing for Agent Systems , 2007, ENASE.

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

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

[39]  Anna Perini,et al.  Ontology-based test generation for multiagent systems , 2008, AAMAS.

[40]  Scott A. DeLoach.  Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology , 2002, Canadian Conference on AI.

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

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

[43]  Eric Yu,et al.  Modeling Strategic Relationships for Process Reengineering , 1995, Social Modeling for Requirements Engineering.

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