The Scientific World Journal

Research Article

An Approach to Model Based Testing of Multiagent Systems

Code 2

AUML description of account operation protocol.
start account operation protocol
actor A user
agent B BankAccount agent
actor C account owner
agent D CurrencyExchange agent
agent E Communicator agent
   box loop
    percept A B account open
    action B A account created
   end loop
   box loop
     box alternative
    percept C B Debit account request
      next
    percept C B Credit account request
   end alternative
   box opt
    message B E TransportRequest
    message E D exchangeRequest
    percept A D exchange rates
    message D E exchangeRequest reply
   end opt
   box alternative
    action B C amount Debited
    action B C Account Info
   next
    action B C amount credited
    action B C Account Info
   next
    action B C Request Error
    end alternative
   end loop
finish