A Formal Framework Supporting the Specification of the Interactions Between Agents . INF 30 (1).