A Formal Model of Communication and Context Awareness in Multiagent Systems