The Scientific World Journal / 2015 / Article / Alg 1

Research Article

An Approach to Model Based Testing of Multiagent Systems

Algorithm 1

Converting protocol diagram into protocol graph.
Input: Protocol Diagram with AUML syntax
Output: Protocol Graph.
Let PG be the graph containing Percept, Action and Message Nodes.
Start and End denotes the starting and ending states of Graph.
Step  1. For Each actor and Agent
Step  2.    Make Percept, Action and Message Nodes.
Step  3. Link each nodes as defined in AUML notation
Step  4. If Loop Box
Step  5.    add link last to first node in loop box
Step  6. End If
Step  7. If Box Alternative
Step  8.       Add choice between nodes
Step  9. End If
Step  10. If Box Optional
Step  11. Add Different Path from start of optional to end of optional node.
Step  12. End If

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