Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology