Les communications dans les systèmes multi-agents, comme les être humains, sont à base des interactions et de l'organisation des agents. En effet, l'interaction inter-agent regroupe et combine plusieurs types de messages. Cette combinaison se traduit par des enchainements conversationnels qui peuvent être modélisés par diverses approches. Nous présentons, dans cet article, une spécification formelle d'un protocole d'interaction, très utilisé dans le domaine du web, qui est les enchères anglaises, tout en essayant de l'intégrer dans un cas pratique à savoir la résolution du conflit aérien.
