Two agent-oriented programming approaches checked against a coordination problem