Declarative approach to information systems requirements