A language for situated multi-agents systems