Using AUML to derive formal modelling agents interactions

L. Kahloul , Kamel Barkaoui (1) , Za?di Sahnoun

1 CEDRIC - Centre d'études et de recherche en informatique et communications

Summary form only given. This paper proposes a modeling approach easy to master in practice and from which one could directly derive a formal model capturing the main features of the dynamic interactions involved in multiagent systems (MAS). This approach follows two steps. The first consists to describe agent interactions in a MAS using Agent Unifying Model Language (AUML). The second step consists in translating this AUML description into a recursive colored Petri net (RCPN) model by following suitable rules. The choice of the RCPN formalism is motivated by its ability to model the dynamic agent planning ensuring the interleaving between planning and execution of complex actions and the availability of formal analysis and verification methods and tools. For further information, please visit this web site.

Domaines: Informatique [cs]; Calcul parallèle, distribué et partagé [cs.DC]

L. Kahloul, Kamel Barkaoui, Za?di Sahnoun. Using AUML to derive formal modelling agents interactions. AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, Jan 2005, X, France. pp.109-116. ⟨hal-01125423⟩