Agent composition synthesis based on ATL