IMPULSE: a design framework for multi-agent systems based on model transformation

The purpose of this study is to reduce the difficulties encountered when designing multi-agent systems (MAS). Although MAS are one of the more effective approaches for dealing with the recent increase in software complexity, they are themselves difficult to develop. We believe the difficulties in determining agent responsibilities and the organizational structure as the most significant obstacles to MAS development. In this paper, we propose a design framework for MAS, which includes restriction rules in the goal-oriented requirements description and a generator that transforms the restricted requirements description into a general MAS design model. We demonstrate the effectiveness of our framework through a case study and show how the framework can be used to construct MAS design models more precisely than conventional methods permit.

[1]  Michael A. Jackson,et al.  Problem Frames - Analysing and Structuring Software Development Problems , 2000 .

[2]  Michael Winikoff,et al.  Prometheus: a methodology for developing intelligent agents , 2002, AAMAS '02.

[3]  Clémentine Nebut,et al.  Visualization of Use Cases through Automatically Generated Activity Diagrams , 2008, MoDELS.

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

[5]  Akihiko Ohsuga,et al.  A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance , 2010, PRIMA.

[6]  Emmanuel Letier Reasoning about Agents in Goal-Oriented Requirements Engineering , 2002 .

[7]  Michael Luck,et al.  Agent-Based Software Development , 2004 .

[8]  Annie I. Antón,et al.  The use of goals to surface requirements for evolving systems , 1998, Proceedings of the 20th International Conference on Software Engineering.

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

[10]  Anna Perini,et al.  Towards goal-oriented development of self-adaptive systems , 2008, SEAMS '08.

[11]  Barbara Messing,et al.  An Introduction to MultiAgent Systems , 2002, Künstliche Intell..

[12]  Bashar Nuseibeh,et al.  Weaving Together Requirements and Architectures , 2001, Computer.

[13]  Leon Sterling,et al.  Improving goal and role oriented analysis for agent based systems , 2005, 2005 Australian Software Engineering Conference.

[14]  Leon Sterling,et al.  A meta-model for intelligent adaptive multi-agent systems in open environments , 2003, AAMAS '03.

[15]  Nelly Bencomo,et al.  A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty , 2009, MoDELS.

[16]  Leon Sterling,et al.  The ROADMAP Meta-model for Intelligent Adaptive Multi-agent Systems in Open Environments , 2003, AOSE.

[17]  Axel van Lamsweerde,et al.  Goal-Oriented Requirements Engineering: A Guided Tour , 2001, RE.

[18]  Salvatore Gaglio,et al.  The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal , 2005, CEEMAS.

[19]  Michal Smialek,et al.  Complementary use case scenario representations based on domain vocabularies , 2007, MODELS'07.

[20]  Axel van Lamsweerde,et al.  Formal refinement patterns for goal-driven requirements elaboration , 1996, SIGSOFT '96.

[21]  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.

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

[23]  Lionel C. Briand,et al.  A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation , 2009, MoDELS.

[24]  Julio Cesar Sampaio do Prado Leite,et al.  On Non-Functional Requirements in Software Engineering , 2009, Conceptual Modeling: Foundations and Applications.

[25]  Shinichi Honiden,et al.  Analysis of multi-agent systems based on KAOS modeling , 2006, ICSE '06.

[26]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.

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

[28]  Maritta Heisel,et al.  A Formal Metamodel for Problem Frames , 2008, MoDELS.

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

[30]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.