Interaction patterns and observable commitments in a multi-agent trading scenario

We propose a formal semantics for the protocol diagrams (interaction patterns) of AUML (Agent Unified Modelling Language). We connect this proposal with a general framework for defining the semantics of ACLs (Agent Communication Languages). We then show that protocol diagrams should be parameterised with observable commitments: additional specification of the expected outcomes and normative positions resulting from the use of the protocol. A complete axiomatisation of a contract-net protocol is given, and animated to show how the agents comply with expected replies and respecting the norms. We conclude that this approach to `socialising' interaction between agents is important for developing open agent systems and potentially useful in standardisation.