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 |
|