An outline of the use of transition systems to formalize JADE agents and multi-agent systems