A method for detecting agents that will not cause emergent behavior in agent based systems - A case study in agent based auction systems -

Modeling and implementing auction systems using agent technology is a common practice because agents can assume various roles and their behavior will be determined as a result of negotiation. However, emergent behavior is a hurdle. Mechanisms must be in place to make sure that agents participating in the auction systems won't behave in an unintended way. Detecting emergent behaviors in the design phase rather than the deployment is more cost and effort efficient. Patterns of interaction, called scenarios, are the basic modeling constructs for design and behavioral modeling of agents. However, working with several agents in an online auction system needs large number of scenarios. Therefore transforming scenarios to finite state machines (FSM) and parallel execution of the FSMs in the behavioral synthesis phase may lead to computational overload. So far all the research has been around the ways of detecting emergent behavior and scalability of behavioral modeling has been an issue. In this paper a method to identify those agents that will not cause emergent behavior is introduced. Then by eliminating them from the behavioral modeling phase, the number of FSMs and their states will be reduced. The method is explained along with a case study of a realistic online auction system that has led to 33% reduction of synthesized FSMs.

[1]  S. Uchitel,et al.  Monitoring and control in scenario-based requirements analysis , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[2]  Sebastián Uchitel,et al.  Monitoring and control in scenario-based requirements analysis , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[3]  Sebastián Uchitel,et al.  Detecting implied scenarios in message sequence chart specifications , 2001, ESEC/FSE-9.

[4]  Abhinav Mittal,et al.  A multi-agent system for distributed multi-project scheduling: An auction-based negotiation approach , 2012, Eng. Appl. Artif. Intell..

[5]  Henry Muccini,et al.  Detecting Implied Scenarios Analyzing Non-local Branching Choices , 2003, FASE.

[6]  Valentin Robu,et al.  A multi-agent platform for auction-based allocation of loads in transportation logistics , 2008, Expert Syst. Appl..

[7]  Claudio Bartolini,et al.  Agent-based service composition through simultaneous negotiation in forward and reverse auctions , 2003, EC '03.

[8]  Behrouz Homayoun Far,et al.  Detecting Emergent Behavior in Distributed Systems using Scenario-Based Specifications , 2012, Int. J. Softw. Eng. Knowl. Eng..

[9]  Dong-Jun Wu,et al.  Software agents for knowledge management: coordination in multi-agent supply chains and auctions , 2001, Expert Syst. Appl..

[10]  Makoto Yokoo,et al.  Secure multi-agent dynamic programming based on homomorphic encryption and its application to combinatorial auctions , 2002, AAMAS '02.

[11]  Behrouz Homayoun Far,et al.  Model based analysis of internet filtering systems , 2011, 2011 IEEE International Conference on Information Reuse & Integration.

[12]  Behrouz Homayoun Far,et al.  A Technique and a Tool to Detect Emergent Behavior of Distributed Systems Using Scenario-Based Specifications , 2010, 2010 22nd IEEE International Conference on Tools with Artificial Intelligence.

[13]  Mauro Pezzè.  Proceedings of the 6th international conference on Fundamental approaches to software engineering , 2003 .

[14]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[15]  Toramatsu Shintani,et al.  BiddingBot: a multiagent support system for cooperative bidding in multiple auctions , 2000, Proceedings Fourth International Conference on MultiAgent Systems.

[16]  Behrouz Homayoun Far,et al.  Model based detection of implied scenarios in multi agent systems , 2010, 2010 IEEE International Conference on Information Reuse & Integration.

[17]  Manoj Kumar Tiwari,et al.  Operation allocation and part type selection in E-manufacturing: An auction based heuristic supported by agent technology , 2010 .

[18]  Rajeev Alur,et al.  Inference of message sequence charts , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.