Enforcing context-awareness and privacy-by-design in the specification of information systems