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