A Recursive Colored Petri Nets semantics for AUML as base of test case generation

The importance of software testing has been universally recognized. Concerning multi-agent systems very few research works have been undertaken in order to provide developers with valuable tools supporting testing activities. Moreover these works are still at very early stage. The main reason of this lack is that the activities, which should assure that the program performs satisfactorily, are very challenging and expensive since it is quite complicated to automate them. This paper proposes a modeling approach from which one could derive a formal model capturing the dynamic interaction in Multi-Agent Systems. That is, after describing agent interactions using AUML sequence diagram, this one is then translated into a Recursive Colored Petri Net model using a set of transformation rules. Finally, the corresponding reachability graph is used as a model for test generation.