Personalization, verification and conformance for logic-based communicating agents.