The Scientific World Journal / 2015 / Article / Code 2

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

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.