Odell et al have proposed an agent modeling language (AUML), which extends some UML artifacts to cope with the special requirements
of multiagent systems, especially interaction. In this paper, we introduce a textual notation for the AUML modeling specification and show how one could translate it in
order to generate both an extended finite state machine and a specification that can be directly processed by a model-checker.