To achieve the multi-agent systems' goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an important characteristic of multi-agent systems (MAS). The usual approaches to model agents' interactions consist of describing them as protocols [Hug04]. In the literature, several representation formalisms of agents' interactions have been proposed. AUML is one among the most used formalisms [Hug02]. However, AUML diagrams only offer a semi-formal specification of interactions. Indeed, the lack of formal semantics in AUML, can lead to several incoherencies in the description of a MAS' behaviour. We present, in this paper, a visual tool that essentially allows: (1) translating the description of agents' interaction protocols (AIP), specified by means of AUML formalism, in a Maude specification and, (2) validating the generated formal descriptions through simulation. Based on rewriting logic, the formal and object-oriented language Maude offers an interesting way for concurrent systems formal specification and programming. By an example of multi-agent systems interaction protocol, we illustrate the proposed translation and the developed tool.

Le syndrome hollandais est une théorie qui sert à expliquer la relation existant entre l’exploitation des ressources naturelles et la récession de secteur de l’industrie et agricole locale (le secteur échangeable) à cause de une appréciation de la monnaie locale, ce qui finit par nuire à la compétitivité-prix des exportations. L’objectif de cet article est d’étudier la relation entre les récentes variations du prix du pétrole et l’appréciation du taux change réel en évaluant l’existence des symptoms du syndrome hollandais dans l’économie Algérienne Alors que la partie économétrique a montré qu’il y a une relation de Co-intégration à long terme entre les deux séries mensuelles de prix du pétrole et TCR dinar/dollar couvrant la période (M1:2004-M1:2014) ,aussi le test de causalité de Granger a prouvé que une augmentation de prix pétrole elle cause l’appréciation du taux de change réel .Ceci preuve de l’existence des effets et symptôme du syndrome hollandais dans l’économie nationale .